diff options
Diffstat (limited to 'tests/merge.scade')
-rw-r--r-- | tests/merge.scade | 22 |
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 |