From 2d9bf2c55321c27c0eff4fd6df32b2e4cda7eb58 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Tue, 29 Nov 2011 15:21:36 +0100
Subject: [PATCH] BUG Probleme grave de scheduling, cf [ff].

---
 test/good/sampling_stateful_output2.ept | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 test/good/sampling_stateful_output2.ept

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