From 98f77e4a9aaff56e4a24919932076a4cee2a5598 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= <gustav@sornas.net>
Date: Tue, 9 Mar 2021 19:46:01 +0100
Subject: move some tests

---
 progs/tests/boolean_order.sy | 42 ------------------------------------------
 1 file changed, 42 deletions(-)
 delete mode 100644 progs/tests/boolean_order.sy

(limited to 'progs/tests/boolean_order.sy')

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
-}
-- 
cgit v1.2.1