lustrec-tests/regression_tests/lustre_files/success/clocks/clocks1.lus @ b03d5034
| 1 |
|
|---|---|
| 2 |
node clocks1 (x:bool; d:bool clock) returns (a:int;b:int) |
| 3 |
var e,f : bool; |
| 4 |
let
|
| 5 |
a = 1 when d; |
| 6 |
b = if x = d then 1 else 0; |
| 7 |
e = true fby e; |
| 8 |
f = if x then d else e; |
| 9 |
tel
|
| 10 |
|