summaryrefslogtreecommitdiff
path: root/tests/merge.scade
diff options
context:
space:
mode:
Diffstat (limited to 'tests/merge.scade')
-rw-r--r--tests/merge.scade22
1 files changed, 0 insertions, 22 deletions
diff --git a/tests/merge.scade b/tests/merge.scade
deleted file mode 100644
index 9e666a1..0000000
--- a/tests/merge.scade
+++ /dev/null
@@ -1,22 +0,0 @@
-type t1 = enum { True, False, Error };
-
-node #pragma kcg expand #end
- mm(clock clk: t1; v: int when (clk match True)) returns(r: int)
-var lr: int;
-let
- lr = 0 -> pre r;
- r = merge(clk;
- v;
- lr when (clk match False);
- -1 when (clk match Error));
-tel
-
-node test(i: int) returns (a, b, c: int; exit: bool)
-var clock clk: t1;
-let
- exit = i >= 30;
- clk = if i mod 5 = 0 then True else if i mod 9 = 8 then Error else False;
- a = mm(clk, i when (clk match True));
- b = if clk = True then 1 else 0;
- c = if clk = Error then 1 else 0;
-tel