add tests for boolean ops

1 files changed, 56 insertions, 0 deletions

diff --git a/progs/tests/boolean_ops.sy b/progs/tests/boolean_ops.sy
new file mode 100644
index 0000000..368068b
--- /dev/null
+++ b/progs/tests/boolean_ops.sy
@@ -0,0 +1,56 @@
+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 f() && i() {
+        <!>
+    }
+
+    if t() || i() {
+        // Empty
+    } else {
+        <!>
+    }
+
+    if f() && i() && i() {
+        <!>
+    }
+
+    if t() || i() || i() {
+        // Empty
+    } else {
+        <!>
+    }
+
+    fs <=> 2
+    ts <=> 2
+}
+
+
+
+    // if t() || i() && f() {
+    //     // Empty
+    // } else {
+    //     <!>
+    // }
+
+    // if f() && t() || i() {
+    //     // Empty
+    // } else {
+    //     <!>
+    // }
+