Merge pull request #106 from FredTheDino/move-tests

1 files changed, 0 insertions, 42 deletions

diff --git a/progs/tests/boolean_order.sy b/progs/tests/boolean_order.sy
deleted file mode 100644
index ecec262..0000000
--- a/progs/tests/boolean_order.sy
+++ /dev/null
@@ -1,42 +0,0 @@
-start :: fn {
-    ts := 0
-    t :: fn -> bool {
-        ts += 1
-        ret true
-    }
-
-    fs := 0
-    f :: fn -> bool {
-        fs += 1
-        ret false
-    }
-
-    i :: fn -> bool {
-        <!>
-        ret false
-    }
-
-    if t() || i() && i() {
-        // Empty
-    } else {
-        <!>
-    }
-
-    if f() && i() || t() {
-        // Empty
-    } else {
-        <!>
-    }
-
-    fs <=> 1
-    fs = 0
-    ts <=> 2
-    ts = 0
-
-    f() && i() || f() <=> t() && f() || f()
-    f() && i() || f() <=> (t() && f()) || f()
-    t() && t() && f() || t() <=> t() || i() && i() && i()
-
-    fs <=> 9
-    ts <=> 6
-}