heptagon/test/good/ckannot.ept
Gwenaël Delaval 626b6cad3f New tests
- ckannot.ept : bug with clock annotations handling in Normalize (corrected)
- threestates.ept : handling of merges in Normalize (corrected)
2011-08-04 23:47:28 +02:00

5 lines
69 B
Text

node f(x:int;c:bool) returns (y:int)
let
y = (x :: .) when c;
tel