Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test / src / clocks / clocks1.lus @ 22fe1c93

History | View | Annotate | Download (165 Bytes)

1 22fe1c93 ploc
2
node test (x:bool; d:bool) 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