lustrec-tests/tests/tuples/tuples1.lus @ f5c07b4e
| 1 |
|
|---|---|
| 2 |
|
| 3 |
node test (x:bool clock) returns (c,d:int); |
| 4 |
var a,b:int; |
| 5 |
let
|
| 6 |
a = 1; |
| 7 |
b = 2; |
| 8 |
(* (c,d) = (a,b) when x;*)
|
| 9 |
(* (a,b) = (0,0) -> if x then (pre b, pre a) else (pre a, pre b);*)
|
| 10 |
(c,d) = merge x (true -> (a,b) when x) (false -> (1,1)); |
| 11 |
tel
|