jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

BUG Probleme grave de scheduling, cf [ff].

Browse source
This commit is contained in:
Léonard Gérard 2011-11-29 15:21:36 +01:00 committed by Adrien Guatto
parent fe1f02402b
commit 2d9bf2c553
1 changed files with 20 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
test/good/sampling_stateful_output2.ept Normal file
View file

@ -0,0 +1,20 @@
node f(x:int) returns (y:int)
var z :int;
let
z = 3;
y = 0 fby z;
tel
node ff(x:int; c:bool) returns (y:int)
var z :int;
let
z = 3;
y = (0 fby z) when c;
tel
node fff(x:int; c:bool) returns ()
var z :int; y:int;
let
z = 3;
y = (0 fby z) when c;
tel