1 files changed, 0 insertions, 36 deletions
diff --git a/tests/count.scade b/tests/count.scade
deleted file mode 100644
index c5ce47d..0000000
--- a/tests/count.scade
+++ /dev/null
@@ -1,36 +0,0 @@
-node count() returns (c: int)
-let
-	c = 0 -> (1 + pre c);
-tel
-
-node resettable_count (r: bool) returns (c: int)
-let
-    c = (restart count every r)();
-tel
-
-node nat() returns (s: int) s = 1 -> (1 + pre s);
-
-node rst_clk(rst: bool; clock h: bool)
-    returns (s: int; t: int)
-let
-    s = (restart nat every rst) ();
-    t = merge(h; ((restart nat every rst) (() when h)); 0 when not h);
-tel
-
-node even_times(c: bool; i: int) returns (o: int)
-let
-    automaton
-        initial state EVEN
-        unless if c resume ODD;
-        let
-            o = i+1;
-        tel
-
-        state ODD
-        unless if c resume EVEN;
-        let
-            o = -2 * i;
-        tel
-    returns o;
-tel
-