From b0a0100ad7d7f5376c494f1e0e0f1a2beabee45f Mon Sep 17 00:00:00 2001
From: Adrien Guatto <adrien.guatto@laposte.net>
Date: Wed, 27 Apr 2011 10:52:07 +0200
Subject: [PATCH] Fixed check script: we now see that our C backend isn't
 bug-free...

---
 test/check         |  6 +++---
 test/good/auto.ept | 16 ++++++++++++++++
 2 files changed, 19 insertions(+), 3 deletions(-)
 create mode 100644 test/good/auto.ept

diff --git a/test/check b/test/check
index af5c853..218e3f1 100755
--- a/test/check
+++ b/test/check
@@ -130,12 +130,14 @@ launch_check () {
     if [[ ($echec == 0) && ($c == 1) ]]; then
         pushd ${base_f}_c >/dev/null
         for cf in *.c; do
-            if $CC -c $cf >/dev/null 2>&1; then
+            $CC -c $cf >/dev/null 2>&1
+            if [ $? = 0 -a $echec != 5 ]; then
                 echec=0
             else
                 echec=5
             fi
         done
+        #echo "Compilation $f vers C = $echec"
 
         if [ $echec != 5 ]; then
             if egrep "(node main\(\))|(CHECK)" ../${base_f}.ept >/dev/null 2>&1
@@ -210,8 +212,6 @@ activate_all () {
   activate_c
 }
 
-# -1, -2, -3, -v1, -v2, -v3 kept for backward compatibility
-# (to be suppressed)
 while [ $# -gt 0 ]; do
   case $1 in
     "-clean" )
diff --git a/test/good/auto.ept b/test/good/auto.ept
new file mode 100644
index 0000000..3d42889
--- /dev/null
+++ b/test/good/auto.ept
@@ -0,0 +1,16 @@
+node count() returns (o : int)
+let
+  o = 0 fby (o + 1);
+tel
+
+node main() returns (c : bool)
+let
+  automaton
+    state One
+      do c = true;
+      until count() = 5 then Two
+    state Two
+      do c = false
+      until count() = 3 then One
+  end
+tel