lustrec-tests/regression_tests/lustre_files/success/clocks/clocks9.lus @ b03d5034
1 |
|
---|---|
2 |
node toto (x:int; d:bool clock) returns (y:int) |
3 |
let
|
4 |
y = x when d; |
5 |
tel
|
6 |
|
7 |
node clocks9(i:int) returns (o:int) |
8 |
var c,d : bool clock; |
9 |
l : int; |
10 |
let
|
11 |
c = i=1 when d; |
12 |
d = i=0; |
13 |
l = toto(i,d) when c; |
14 |
o = 1; |
15 |
tel
|