From 626b6cad3fd090036bd8efc7296694774afd4dcf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Thu, 4 Aug 2011 23:47:28 +0200
Subject: [PATCH] New tests

- ckannot.ept : bug with clock annotations handling in Normalize (corrected)
- threestates.ept : handling of merges in Normalize (corrected)
---
 test/good/ckannot.ept     |  5 +++++
 test/good/threestates.ept | 30 ++++++++++++++++++++++++++++++
 2 files changed, 35 insertions(+)
 create mode 100644 test/good/ckannot.ept
 create mode 100644 test/good/threestates.ept

diff --git a/test/good/ckannot.ept b/test/good/ckannot.ept
new file mode 100644
index 0000000..cef0e89
--- /dev/null
+++ b/test/good/ckannot.ept
@@ -0,0 +1,5 @@
+node f(x:int;c:bool) returns (y:int)
+let
+  y = (x :: .) when c;
+tel
+
diff --git a/test/good/threestates.ept b/test/good/threestates.ept
new file mode 100644
index 0000000..20bf057
--- /dev/null
+++ b/test/good/threestates.ept
@@ -0,0 +1,30 @@
+node f(x:int) returns (y:int)
+let
+  automaton
+    state A
+      do
+	y = 1;
+      until (x = 0) then B
+    state B
+      do
+	y = 2;
+      until (x = 1) then C
+    state C
+      do
+	automaton
+	  state D
+	    do
+	      y = 3;
+	    until (x = 2) then E
+	  state E
+	    do
+	      y = 4;
+	    until (x = 3) then F
+	  state F
+	    do
+	      y = 5;
+	    until (x = 4) then D
+	end
+      until (x = 5) then A
+  end
+tel