diff --git a/test/good/sampling_stateful_output2.ept b/test/good/sampling_stateful_output2.ept new file mode 100644 index 0000000..90f0080 --- /dev/null +++ b/test/good/sampling_stateful_output2.ept @@ -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 \ No newline at end of file