diff --git a/src/lv6version.ml b/src/lv6version.ml
deleted file mode 100644
index 7507b2ccfcddea62e2126a07c6d34bf12c8353df..0000000000000000000000000000000000000000
--- a/src/lv6version.ml
+++ /dev/null
@@ -1,7 +0,0 @@
-(** Automatically generated from Makefile *) 
-let tool = "lus2lic"
-let branch = "(no"
-let commit = "436"
-let sha_1 = "d4498a181c7a7a9aea786e534bad890bd4e1c11d"
-let str = (branch ^ "." ^ commit ^ " (" ^ sha_1 ^ ")")
-let maintainer = "jahier@imag.fr"
diff --git a/src/socExecEvalPredef.ml b/src/socExecEvalPredef.ml
index 5b5652eafecc12305f6028725e1efa81dfdf44eb..b38cb5dbd0b09e4e0a65492c7c693cc661163609 100644
--- a/src/socExecEvalPredef.ml
+++ b/src/socExecEvalPredef.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 05/06/2013 (at 11:07) by Erwan Jahier> *)
+(* Time-stamp: <modified the 26/03/2014 (at 09:45) by Erwan Jahier> *)
 
 open SocExecValue
 open Data
@@ -6,6 +6,21 @@ open Soc
 
 (* A boring but simple module... *)
 
+let type_error v1 v2 =
+  Printf.eprintf "Runtime error: '%s' and '%s' have different types.\n" 
+    (Data.val_to_string string_of_float v1)  (Data.val_to_string string_of_float v2);
+  flush stderr
+
+let type_error1 v1 str =
+  Printf.eprintf "Runtime error: '%s' is not a '%s'\n" 
+    (Data.val_to_string string_of_float v1) str;
+  flush stderr
+
+let type_error2 v1 v2 str =
+  Printf.eprintf "Runtime error: '%s' and/or '%s' are/is not a %s\n" 
+    (Data.val_to_string string_of_float v1)  (Data.val_to_string string_of_float v2) str;
+  flush stderr
+
 let (lustre_plus : ctx -> ctx) =
   fun ctx -> 
     let l = [get_val "x" ctx; get_val "y" ctx] in
@@ -14,7 +29,8 @@ let (lustre_plus : ctx -> ctx) =
         | [I x1; I x2] -> "z"::ctx.cpath,I(x1+x2)
         | [F i1; F i2] -> "z"::ctx.cpath,F(i1+.i2)
         | [U; _] | [_;U] -> "z"::ctx.cpath,U
-        |  e  -> assert false
+        | [v1;v2]  ->  type_error v1 v2; "z"::ctx.cpath,U
+        | _ -> assert false
     in
     { ctx with s = sadd ctx.s vn vv }
 
@@ -24,6 +40,7 @@ let lustre_times ctx =
       | [I x1; I x2] -> "z"::ctx.cpath,I(x1 * x2)
       | [F x1; F x2] -> "z"::ctx.cpath,F(x1 *. x2)
       | [U; _] | [_;U] -> "z"::ctx.cpath,U
+      | [v1;v2]  ->  type_error v1 v2; "z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -35,6 +52,7 @@ let lustre_div ctx =
       | [I x1; I x2] -> "z"::ctx.cpath,I(x1 / x2)
       | [F x1; F x2] -> "z"::ctx.cpath,F(x1 /. x2)
       | [U; _] | [_;U] -> "z"::ctx.cpath,U
+      | [v1;v2]  ->  type_error v1 v2;"z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -45,6 +63,7 @@ let lustre_slash ctx =
       | [I x1; I x2] -> "z"::ctx.cpath,I(x1 / x2)
       | [F x1; F x2] -> "z"::ctx.cpath,F(x1 /. x2)
       | [U; _] | [_;U] -> "z"::ctx.cpath,U
+      | [v1;v2]  ->  type_error v1 v2;"z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -56,6 +75,8 @@ let lustre_minus ctx =
       | [I x1; I x2] -> "z"::ctx.cpath,I(x1 - x2)
       | [F x1; F x2] -> "z"::ctx.cpath,F(x1 -. x2)
       | [U; _] | [_;U] -> "z"::ctx.cpath,U
+      | [v1;v2]  ->  type_error v1 v2; "z"::ctx.cpath,U
+      | [v1;v2]  ->  type_error v1 v2; "z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -65,6 +86,7 @@ let lustre_mod ctx =
     match ([get_val "x" ctx; get_val "y" ctx]) with
       | [I x1; I x2] -> "z"::ctx.cpath,I(x1 mod x2)
       | [U; _] | [_;U] -> "z"::ctx.cpath,U
+      | [v1;v2]  ->  type_error v1 v2; "z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -75,6 +97,7 @@ let lustre_eq ctx =
     match ([get_val "x" ctx; get_val "y" ctx]) with
       | [U; _] | [_;U] -> "z"::ctx.cpath,U
       | [x1; x2] -> "z"::ctx.cpath,B(x1 = x2)
+      | [v1;v2]  ->  type_error v1 v2; "z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -85,6 +108,7 @@ let lustre_uminus ctx =
       | [I x1] -> "z"::ctx.cpath,I(- x1)
       | [F x1] -> "z"::ctx.cpath,F(-. x1)
       | [U; _] | [_;U] -> "z"::ctx.cpath,U
+      | [v1]  ->  type_error1 v1 "numeric";"z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -94,6 +118,7 @@ let lustre_real2int ctx =
     match ([get_val "x" ctx]) with
       | [F x1] -> "z"::ctx.cpath,I(int_of_float x1)
       | [U] -> "z"::ctx.cpath,U
+      | [v1]  ->  type_error1 v1 "real";"z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -104,6 +129,7 @@ let lustre_int2real ctx =
     match ([get_val "x" ctx]) with
       | [I x1] -> "z"::ctx.cpath,F(float_of_int x1)
       | [U] -> "z"::ctx.cpath,U
+      | [v1]  ->  type_error1 v1 "int";"z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -114,6 +140,7 @@ let lustre_not ctx =
     match ([get_val "x" ctx]) with
       | [B x1] -> "z"::ctx.cpath,B(not x1)
       | [U] -> "z"::ctx.cpath,U
+      | [v1]  ->  type_error1 v1 "bool";"z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -124,6 +151,7 @@ let lustre_lt ctx =
     match ([get_val "x" ctx; get_val "y" ctx]) with
       | [U; _] | [_;U] -> "z"::ctx.cpath,U
       | [x1; x2] -> "z"::ctx.cpath,B(x1 < x2)
+      | [v1;v2]  ->  type_error v1 v2; "z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -133,6 +161,7 @@ let lustre_gt ctx =
     match ([get_val "x" ctx; get_val "y" ctx]) with
       | [U; _] | [_;U] -> "z"::ctx.cpath,U
       | [x1; x2] -> "z"::ctx.cpath,B(x1 > x2)
+      | [v1;v2]  ->  type_error v1 v2; "z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -142,6 +171,7 @@ let lustre_lte ctx =
     match ([get_val "x" ctx; get_val "y" ctx]) with
       | [U; _] | [_;U] -> "z"::ctx.cpath,U
       | [x1; x2] -> "z"::ctx.cpath,B(x1 <= x2)
+      | [v1;v2]  ->  type_error v1 v2; "z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -151,6 +181,7 @@ let lustre_gte ctx =
     match ([get_val "x" ctx; get_val "y" ctx]) with
       | [U; _] | [_;U] -> "z"::ctx.cpath,U
       | [x1; x2] -> "z"::ctx.cpath,B(x1 >= x2)
+      | [v1;v2]  ->  type_error v1 v2; "z"::ctx.cpath,U 
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -160,6 +191,7 @@ let lustre_and ctx =
     match ([get_val "x" ctx; get_val "y" ctx]) with
       | [B x1; B x2] -> "z"::ctx.cpath,B(x1 && x2)
       | [U; _] | [_;U] -> "z"::ctx.cpath,U
+      | [v1;v2]  ->  type_error2 v1 v2 "bool";"z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -169,6 +201,7 @@ let lustre_xor ctx =
     match ([get_val "x" ctx; get_val "y" ctx]) with
       | [B x1; B x2] -> "z"::ctx.cpath,B(x1 <> x2)
       | [U; _] | [_;U] -> "z"::ctx.cpath,U
+      | [v1;v2]  ->  type_error2 v1 v2 "bool";"z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -189,6 +222,7 @@ let lustre_or  ctx =
     match ([get_val "x" ctx; get_val "y" ctx]) with
       | [B x1; B x2] -> "z"::ctx.cpath,B(x1 || x2)
       | [U; _] | [_;U] -> "z"::ctx.cpath,U
+      | [v1;v2]  ->  type_error2 v1 v2 "bool";"z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -199,6 +233,7 @@ let lustre_impl ctx =
     match ([get_val "x" ctx; get_val "y" ctx]) with
       | [B x1; B x2] -> "z"::ctx.cpath,B(not x1 or x2)
       | [U; _] | [_;U] -> "z"::ctx.cpath,U
+      | [v1;v2]  ->  type_error2 v1 v2 "bool";"z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
@@ -208,6 +243,7 @@ let lustre_if ctx =
     match ([get_val "c" ctx; get_val "xt" ctx; get_val "xe" ctx]) with
       | [B c; v1; v2]  -> "z"::ctx.cpath, if c then v1 else v2
       | [U;_; _] | [_;U;U] -> "z"::ctx.cpath,U
+      | [v1;v2]  ->  type_error v1 v2; "z"::ctx.cpath,U
       | _  -> assert false
   in
   { ctx with s = sadd ctx.s vn vv }
diff --git a/test/lus2lic.log.ref b/test/lus2lic.log.ref
index 304b2bcce52906b4a6c17b2a5002d805ae727103..0ccf3097be083cddbc6b16359b20c92efdf65d6b 100644
--- a/test/lus2lic.log.ref
+++ b/test/lus2lic.log.ref
@@ -1,4 +1,4 @@
-Test Run By jahier on Thu Dec 12 16:20:31 2013
+Test Run By jahier on Wed Mar 26 09:48:14 2014
 Native configuration is i686-pc-linux-gnu
 
 		=== lus2lic tests ===
@@ -35,7 +35,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -66,7 +66,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -97,7 +97,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -128,7 +128,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -159,14 +159,12 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
-lurettetop ok
-+ exit 0
 PASS: ../utils/test_lus2lic_no_node should_work/nodeparam.lus
 spawn ./lus2lic -o /tmp/enum0.lic should_work/enum0.lus
 PASS: ./lus2lic {-o /tmp/enum0.lic should_work/enum0.lus}
@@ -186,22 +184,7 @@ lus2lic --gen-autotest done
 lus2lic -lv4 done
 + export PATH=/usr/local/tools/lustre/bin/:/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games
 + ./lurettetop -p 6 -seed 42 -rp sut:ec:enum0.ec:enum0 -rp env:lutin:_enum0_env.lut -rp oracle:v6:_enum0_oracle.lus:enum0_oracle -go -l 10 -ns2c --stop-on-oracle-error
-Some variables are missing in input of the SUT: x:color1
-Some variables are missing in input of lutin: y:int
-try with luciole!
-File lurette_luciole.c has been created
-Inputs are missing. Try to generate them with luciole
-Luciole: generate lurette_luciole.c
-Luciole: generate lurette.dro from lurette_luciole.c
-gcc lurette_luciole.c -shared -o lurette_luciole.dro -I /home/jahier/lurette/include 
-lurette_luciole.c:14:5: error: unknown type name '_color1'
-lurette_luciole.c:17:5: error: unknown type name '_color2'
-lurette_luciole.c:16:10: error: duplicate member '_x'
-lurette_luciole.c:17:13: error: duplicate member '_y'
-     ... gcc exited normally.
-
-*** cannot handle color2 type as input of Luciole
-File "../obj-linux/lustreRun.ml", line 410, characters 21-27: Assertion failed
+Error in lurette: Failure("color1: unsupported type.\n")
 Lurette launched a process that failed (exit 2).
  
 break signal catched
@@ -283,7 +266,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -314,12 +297,14 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
+lurettetop ok
++ exit 0
 PASS: ../utils/test_lus2lic_no_node should_work/dep.lus
 spawn ./lus2lic -o /tmp/ELMU.lic should_work/ELMU.lus
 PASS: ./lus2lic {-o /tmp/ELMU.lic should_work/ELMU.lus}
@@ -343,7 +328,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -402,14 +387,13 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
 lurettetop ok
-+ exit 0
 PASS: ../utils/test_lus2lic_no_node should_work/redIf.lus
 spawn ./lus2lic -o /tmp/t0.lic should_work/t0.lus
 PASS: ./lus2lic {-o /tmp/t0.lic should_work/t0.lus}
@@ -433,12 +417,14 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
+lurettetop ok
++ exit 0
 PASS: ../utils/test_lus2lic_no_node should_work/t0.lus
 spawn ./lus2lic -o /tmp/lucky.lic should_work/lucky.lus
 PASS: ./lus2lic {-o /tmp/lucky.lic should_work/lucky.lus}
@@ -462,7 +448,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -493,7 +479,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -524,12 +510,14 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
+lurettetop ok
++ exit 0
 PASS: ../utils/test_lus2lic_no_node should_work/titi.lus
 spawn ./lus2lic -o /tmp/cminus.lic should_work/cminus.lus
 PASS: ./lus2lic {-o /tmp/cminus.lic should_work/cminus.lus}
@@ -553,7 +541,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -584,7 +572,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -615,7 +603,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -646,7 +634,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -677,12 +665,14 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
+lurettetop ok
++ exit 0
 PASS: ../utils/test_lus2lic_no_node should_work/dependeur.lus
 spawn ./lus2lic -o /tmp/mappredef.lic should_work/mappredef.lus
 PASS: ./lus2lic {-o /tmp/mappredef.lic should_work/mappredef.lus}
@@ -706,7 +696,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -773,13 +763,13 @@ Oracle inputs:
 	request_0=f
 	request_1=t
 	request_2=t
-	request_3=t
-	request_4=f
+	request_3=f
+	request_4=t
 	request_5=t
-	request_6=f
+	request_6=t
 	request_7=f
-	request_8=t
-	request_9=t
+	request_8=f
+	request_9=f
 	acknowledge_0=f
 	acknowledge_1=f
 	acknowledge_2=f
@@ -809,13 +799,13 @@ Oracle inputs:
 	request_0=f
 	request_1=t
 	request_2=t
-	request_3=t
-	request_4=f
+	request_3=f
+	request_4=t
 	request_5=t
-	request_6=f
+	request_6=t
 	request_7=f
-	request_8=t
-	request_9=t
+	request_8=f
+	request_9=f
 	acknowledge_0=f
 	acknowledge_1=f
 	acknowledge_2=f
@@ -858,7 +848,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -889,7 +879,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -920,7 +910,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -951,7 +941,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1010,12 +1000,15 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
-+ echo lurettetop okPASS: ../utils/test_lus2lic_no_node should_work/nc7.lus
++ echo lurettetop ok
+lurettetop ok
++ exit 0
+PASS: ../utils/test_lus2lic_no_node should_work/nc7.lus
 spawn ./lus2lic -o /tmp/predefOp.lic should_work/predefOp.lus
 PASS: ./lus2lic {-o /tmp/predefOp.lic should_work/predefOp.lus}
 spawn ./lus2lic -ec -o /tmp/predefOp.ec should_work/predefOp.lus
@@ -1038,7 +1031,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1069,7 +1062,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1100,7 +1093,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1147,7 +1140,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1198,7 +1191,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1229,7 +1222,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1260,7 +1253,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1319,7 +1312,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1350,12 +1343,14 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
+lurettetop ok
++ exit 0
 PASS: ../utils/test_lus2lic_no_node should_work/nc1.lus
 spawn ./lus2lic -o /tmp/test_node_expand2.lic should_work/test_node_expand2.lus
 PASS: ./lus2lic {-o /tmp/test_node_expand2.lic should_work/test_node_expand2.lus}
@@ -1406,7 +1401,7 @@ lus2lic -lv4 done
 + ./lurettetop -p 6 -seed 42 -rp sut:ec:test.ec:test -rp env:lutin:_test_env.lut -rp oracle:v6:_test_oracle.lus:test_oracle -go -l 10 -ns2c --stop-on-oracle-error
 RP Variables are compatible.
 
-*** The oracle returned false at step 2
+*** The oracle returned false at step 1
 Other Oracle outputs that are true: 
 	b3_bis
 	b5_bis
@@ -1421,7 +1416,7 @@ Oracle inputs:
 	b5=t
 	b6=f
 
-*** The oracle returned false at step 2
+*** The oracle returned false at step 1
 Other Oracle outputs that are true: 
 	b3_bis
 	b5_bis
@@ -1467,7 +1462,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1498,7 +1493,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1529,13 +1524,14 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
 lurettetop ok
++ exit 0
 PASS: ../utils/test_lus2lic_no_node should_work/cst.lus
 spawn ./lus2lic -o /tmp/minmax5_random.lic should_work/minmax5_random.lus
 PASS: ./lus2lic {-o /tmp/minmax5_random.lic should_work/minmax5_random.lus}
@@ -1579,7 +1575,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1610,7 +1606,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1641,7 +1637,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1672,7 +1668,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1703,7 +1699,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1734,7 +1730,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1765,7 +1761,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1825,12 +1821,14 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
+lurettetop ok
++ exit 0
 PASS: ../utils/test_lus2lic_no_node should_work/mm22.lus
 spawn ./lus2lic -o /tmp/is_stable.lic should_work/is_stable.lus
 PASS: ./lus2lic {-o /tmp/is_stable.lic should_work/is_stable.lus}
@@ -1854,7 +1852,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -1912,16 +1910,18 @@ lus2lic -lv4 done
 + export PATH=/usr/local/tools/lustre/bin/:/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games
 + ./lurettetop -p 6 -seed 42 -rp sut:ec:onlyroll2.ec:onlyroll2 -rp env:lutin:_onlyroll2_env.lut -rp oracle:v6:_onlyroll2_oracle.lus:onlyroll2_oracle -go -l 10 -ns2c --stop-on-oracle-error
 RP Variables are compatible.
-Failure occured in lurette: The oracle first output should be a bool; but ok has type nil
-Lurette launched a process that failed (exit 2).
- 
+quit
+
+
+The coverage rate is -nan%
+The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
-+ echo error
-error
-+ exit 2
-FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/onlyroll2.lus
++ echo lurettetop ok
+lurettetop ok
++ exit 0
+PASS: ../utils/test_lus2lic_no_node should_work/onlyroll2.lus
 spawn ./lus2lic -o /tmp/X6.lic should_work/X6.lus
 PASS: ./lus2lic {-o /tmp/X6.lic should_work/X6.lus}
 spawn ./lus2lic -ec -o /tmp/X6.ec should_work/X6.lus
@@ -1972,7 +1972,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2017,7 +2017,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2048,13 +2048,14 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
 lurettetop ok
++ exit 0
 PASS: ../utils/test_lus2lic_no_node should_work/minmax3.lus
 spawn ./lus2lic -o /tmp/filter.lic should_work/filter.lus
 PASS: ./lus2lic {-o /tmp/filter.lic should_work/filter.lus}
@@ -2097,7 +2098,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2128,7 +2129,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2159,7 +2160,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2190,7 +2191,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2221,7 +2222,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2252,7 +2253,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2282,7 +2283,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2313,7 +2314,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2344,7 +2345,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2375,7 +2376,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2421,7 +2422,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2518,7 +2519,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2549,7 +2550,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2580,7 +2581,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2611,7 +2612,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2642,7 +2643,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2673,7 +2674,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2711,7 +2712,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2770,7 +2771,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2801,7 +2802,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2832,7 +2833,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2860,16 +2861,18 @@ lus2lic -lv4 done
 + export PATH=/usr/local/tools/lustre/bin/:/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games
 + ./lurettetop -p 6 -seed 42 -rp sut:ec:onlyroll.ec:onlyroll -rp env:lutin:_onlyroll_env.lut -rp oracle:v6:_onlyroll_oracle.lus:onlyroll_oracle -go -l 10 -ns2c --stop-on-oracle-error
 RP Variables are compatible.
-Failure occured in lurette: The oracle first output should be a bool; but ok has type nil
-Lurette launched a process that failed (exit 2).
- 
+quit
+
+
+The coverage rate is -nan%
+The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
-+ echo error
-error
-+ exit 2
-FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/onlyroll.lus
++ echo lurettetop ok
+lurettetop ok
++ exit 0
+PASS: ../utils/test_lus2lic_no_node should_work/onlyroll.lus
 spawn ./lus2lic -o /tmp/produitBool.lic should_work/produitBool.lus
 PASS: ./lus2lic {-o /tmp/produitBool.lic should_work/produitBool.lus}
 spawn ./lus2lic -ec -o /tmp/produitBool.ec should_work/produitBool.lus
@@ -2892,7 +2895,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2923,13 +2926,14 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
 lurettetop ok
++ exit 0
 PASS: ../utils/test_lus2lic_no_node should_work/noeudsIndependants.lus
 spawn ./lus2lic -o /tmp/mouse.lic should_work/mouse.lus
 PASS: ./lus2lic {-o /tmp/mouse.lic should_work/mouse.lus}
@@ -2953,7 +2957,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -2984,14 +2988,15 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
 lurettetop ok
-+ PASS: ../utils/test_lus2lic_no_node should_work/param_node3.lus
++ exit 0
+PASS: ../utils/test_lus2lic_no_node should_work/param_node3.lus
 spawn ./lus2lic -o /tmp/pipeline.lic should_work/pipeline.lus
 PASS: ./lus2lic {-o /tmp/pipeline.lic should_work/pipeline.lus}
 spawn ./lus2lic -ec -o /tmp/pipeline.ec should_work/pipeline.lus
@@ -3026,24 +3031,24 @@ Other Oracle outputs that are true:
 	out_bis_9
 Oracle inputs: 
 	in_0=t
-	in_1=t
+	in_1=f
 	in_2=f
-	in_3=f
-	in_4=t
+	in_3=t
+	in_4=f
 	in_5=f
 	in_6=t
-	in_7=f
+	in_7=t
 	in_8=t
-	in_9=t
+	in_9=f
 	out_0=f
-	out_1=t
-	out_2=t
-	out_3=t
+	out_1=f
+	out_2=f
+	out_3=f
 	out_4=t
-	out_5=t
-	out_6=f
-	out_7=t
-	out_8=t
+	out_5=f
+	out_6=t
+	out_7=f
+	out_8=f
 	out_9=f
 
 *** The oracle returned false at step 1
@@ -3060,24 +3065,24 @@ Other Oracle outputs that are true:
 	out_bis_9
 Oracle inputs: 
 	in_0=t
-	in_1=t
+	in_1=f
 	in_2=f
-	in_3=f
-	in_4=t
+	in_3=t
+	in_4=f
 	in_5=f
 	in_6=t
-	in_7=f
+	in_7=t
 	in_8=t
-	in_9=t
+	in_9=f
 	out_0=f
-	out_1=t
-	out_2=t
-	out_3=t
+	out_1=f
+	out_2=f
+	out_3=f
 	out_4=t
-	out_5=t
-	out_6=f
-	out_7=t
-	out_8=t
+	out_5=f
+	out_6=t
+	out_7=f
+	out_8=f
 	out_9=f
 
 Lurette launched a process that failed (exit 2).
@@ -3111,7 +3116,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -3142,21 +3147,21 @@ RP Variables are compatible.
 
 *** The oracle returned false at step 1
 Oracle numeric outputs: 
-	Y_bis=-4244545.45608
+	Y_bis=1305025.02198
 Oracle inputs: 
-	F=-318.476545513
-	STEP=-1298.70542566
-	init=6154.38594978
-	Y=-4244556.31
+	F=5370.98610205
+	STEP=-1516.80289185
+	init=-6736.47757463
+	Y=1305018.902
 
 *** The oracle returned false at step 1
 Oracle numeric outputs: 
-	Y_bis=-4244545.45608
+	Y_bis=1305025.02198
 Oracle inputs: 
-	F=-318.476545513
-	STEP=-1298.70542566
-	init=6154.38594978
-	Y=-4244556.31
+	F=5370.98610205
+	STEP=-1516.80289185
+	init=-6736.47757463
+	Y=1305018.902
 
 Lurette launched a process that failed (exit 2).
  
@@ -3189,7 +3194,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -3220,7 +3225,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -3251,7 +3256,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -3282,7 +3287,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -3341,7 +3346,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -3372,7 +3377,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -3431,7 +3436,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -3462,12 +3467,14 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
+lurettetop ok
++ exit 0
 PASS: ../utils/test_lus2lic_no_node should_work/nc5.lus
 spawn ./lus2lic -o /tmp/call.lic should_work/call.lus
 PASS: ./lus2lic {-o /tmp/call.lic should_work/call.lus}
@@ -3498,7 +3505,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -3557,7 +3564,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -3617,7 +3624,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -3655,12 +3662,14 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
+lurettetop ok
++ exit 0
 PASS: ../utils/test_lus2lic_no_node should_work/test_const.lus
 spawn ./lus2lic -o /tmp/when_tuple.lic should_work/when_tuple.lus
 PASS: ./lus2lic {-o /tmp/when_tuple.lic should_work/when_tuple.lus}
@@ -3691,7 +3700,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -3730,7 +3739,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -3785,21 +3794,7 @@ lus2lic --gen-autotest done
 lus2lic -lv4 done
 + export PATH=/usr/local/tools/lustre/bin/:/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games
 + ./lurettetop -p 6 -seed 42 -rp sut:ec:test_enum.ec:test_enum -rp env:lutin:_test_enum_env.lut -rp oracle:v6:_test_enum_oracle.lus:test_enum_oracle -go -l 10 -ns2c --stop-on-oracle-error
-Some variables are missing in input of lutin: c:int,c2:int
-try with luciole!
-File lurette_luciole.c has been created
-Inputs are missing. Try to generate them with luciole
-Luciole: generate lurette_luciole.c
-Luciole: generate lurette.dro from lurette_luciole.c
-gcc lurette_luciole.c -shared -o lurette_luciole.dro -I /home/jahier/lurette/include 
-lurette_luciole.c:17:5: error: unknown type name '_couleur'
-lurette_luciole.c:18:5: error: unknown type name '_color'
-lurette_luciole.c:17:14: error: duplicate member '_c'
-lurette_luciole.c:18:12: error: duplicate member '_c2'
-     ... gcc exited normally.
-
-*** cannot handle couleur type as input of Luciole
-File "../obj-linux/lustreRun.ml", line 410, characters 21-27: Assertion failed
+Error in lurette: Failure("couleur: unsupported type.\n")
 Lurette launched a process that failed (exit 2).
  
 break signal catched
@@ -3831,7 +3826,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -3862,14 +3857,13 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
 lurettetop ok
-+ exit 0
 PASS: ../utils/test_lus2lic_no_node should_work/long_et_stupide_nom_de_noeud.lus
 spawn ./lus2lic -o /tmp/CURRENT.lic should_work/CURRENT.lus
 PASS: ./lus2lic {-o /tmp/CURRENT.lic should_work/CURRENT.lus}
@@ -3921,7 +3915,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -3952,7 +3946,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4021,7 +4015,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4052,7 +4046,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4083,7 +4077,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4114,7 +4108,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4145,7 +4139,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4191,7 +4185,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4222,7 +4216,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4253,7 +4247,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4313,7 +4307,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4344,7 +4338,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4375,14 +4369,15 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
 lurettetop ok
-+ PASS: ../utils/test_lus2lic_no_node should_work/exclusion.lus
++ exit 0
+PASS: ../utils/test_lus2lic_no_node should_work/exclusion.lus
 spawn ./lus2lic -o /tmp/ply01.lic should_work/ply01.lus
 PASS: ./lus2lic {-o /tmp/ply01.lic should_work/ply01.lus}
 spawn ./lus2lic -ec -o /tmp/ply01.ec should_work/ply01.lus
@@ -4405,7 +4400,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4436,7 +4431,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4485,15 +4480,14 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
 lurettetop ok
-+ exit 0
-PASS: ../utils/test_lus2lic_no_node should_work/type_decl.lus
++ exitPASS: ../utils/test_lus2lic_no_node should_work/type_decl.lus
 spawn ./lus2lic -o /tmp/import1.lic should_work/import1.lus
 PASS: ./lus2lic {-o /tmp/import1.lic should_work/import1.lus}
 spawn ./lus2lic -ec -o /tmp/import1.ec should_work/import1.lus
@@ -4592,13 +4586,15 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
-lurettetop okPASS: ../utils/test_lus2lic_no_node should_work/notTwo.lus
+lurettetop ok
++ exit 0
+PASS: ../utils/test_lus2lic_no_node should_work/notTwo.lus
 spawn ./lus2lic -o /tmp/stopwatch.lic should_work/stopwatch.lus
 PASS: ./lus2lic {-o /tmp/stopwatch.lic should_work/stopwatch.lus}
 spawn ./lus2lic -ec -o /tmp/stopwatch.ec should_work/stopwatch.lus
@@ -4621,7 +4617,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4650,31 +4646,31 @@ lus2lic -lv4 done
 + ./lurettetop -p 6 -seed 42 -rp sut:ec:test_condact.ec:test_condact -rp env:lutin:_test_condact_env.lut -rp oracle:v6:_test_condact_oracle.lus:test_condact_oracle -go -l 10 -ns2c --stop-on-oracle-error
 RP Variables are compatible.
 
-*** The oracle returned false at step 1
+*** The oracle returned false at step 2
 Oracle numeric outputs: 
-	x_bis=4857
-	y_bis=1
-	z_bis=3559
+	x_bis=3772
+	y_bis=2
+	z_bis=-25806
 Oracle inputs: 
 	c=t
-	a=-1298
-	b=6155
-	x=4857
-	y=2
-	z=-4235
+	a=1117
+	b=2655
+	x=3772
+	y=3
+	z=-27322
 
-*** The oracle returned false at step 1
+*** The oracle returned false at step 2
 Oracle numeric outputs: 
-	x_bis=4857
-	y_bis=1
-	z_bis=3559
+	x_bis=3772
+	y_bis=2
+	z_bis=-25806
 Oracle inputs: 
 	c=t
-	a=-1298
-	b=6155
-	x=4857
-	y=2
-	z=-4235
+	a=1117
+	b=2655
+	x=3772
+	y=3
+	z=-27322
 
 Lurette launched a process that failed (exit 2).
  
@@ -4707,7 +4703,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4738,7 +4734,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4769,7 +4765,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4800,7 +4796,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4831,7 +4827,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4862,7 +4858,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4893,7 +4889,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -4924,12 +4920,14 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
+lurettetop ok
++ exit 0
 PASS: ../utils/test_lus2lic_no_node should_work/xxx.lus
 spawn ./lus2lic -o /tmp/moyenne.lic should_work/moyenne.lus
 PASS: ./lus2lic {-o /tmp/moyenne.lic should_work/moyenne.lus}
@@ -4953,7 +4951,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5002,7 +5000,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5033,7 +5031,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5092,7 +5090,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5141,7 +5139,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5200,7 +5198,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5231,7 +5229,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5292,7 +5290,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5343,7 +5341,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5374,7 +5372,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5422,7 +5420,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5453,7 +5451,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5484,7 +5482,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5515,7 +5513,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5546,7 +5544,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5605,7 +5603,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5636,13 +5634,14 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
 lurettetop ok
++ exit 0
 PASS: ../utils/test_lus2lic_no_node should_work/ts01.lus
 spawn ./lus2lic -o /tmp/_N_uu.lic should_work/_N_uu.lus
 PASS: ./lus2lic {-o /tmp/_N_uu.lic should_work/_N_uu.lus}
@@ -5666,7 +5665,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5697,7 +5696,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5728,7 +5727,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5815,7 +5814,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5846,7 +5845,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5877,7 +5876,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5936,7 +5935,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5967,7 +5966,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -5998,7 +5997,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6029,7 +6028,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6060,7 +6059,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6119,7 +6118,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6150,7 +6149,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6181,7 +6180,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6212,7 +6211,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6243,7 +6242,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6274,7 +6273,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6305,7 +6304,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6336,7 +6335,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6367,7 +6366,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6414,7 +6413,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6445,7 +6444,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6504,7 +6503,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6535,7 +6534,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6566,12 +6565,14 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
 + echo lurettetop ok
+lurettetop ok
++ exit 0
 PASS: ../utils/test_lus2lic_no_node should_work/count.lus
 spawn ./lus2lic -o /tmp/ck2.lic should_work/ck2.lus
 PASS: ./lus2lic {-o /tmp/ck2.lic should_work/ck2.lus}
@@ -6667,7 +6668,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6698,7 +6699,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6777,7 +6778,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6808,7 +6809,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6839,7 +6840,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6889,7 +6890,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -6920,7 +6921,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -7099,7 +7100,7 @@ lus2lic --gen-autotest done
 lus2lic -lv4 done
 + export PATH=/usr/local/tools/lustre/bin/:/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games
 + ./lurettetop -p 6 -seed 42 -rp sut:ec:merge_not_exhaustive.ec:merge_not_exhaustive -rp env:lutin:_merge_not_exhaustive_env.lut -rp oracle:v6:_merge_not_exhaustive_oracle.lus:merge_not_exhaustive_oracle -go -l 10 -ns2c --stop-on-oracle-error
-Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on _merge_not_exhaustive_oracle::Pile(clk) on base\n")
+Error in lurette: Failure("trival: unsupported type.\n")
 Lurette launched a process that failed (exit 2).
  
 break signal catched
@@ -7125,7 +7126,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -7163,7 +7164,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -7302,7 +7303,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -7333,16 +7334,17 @@ lus2lic -lv4 done
 + export PATH=/usr/local/tools/lustre/bin/:/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games
 + ./lurettetop -p 6 -seed 42 -rp sut:ec:X1.ec:X1 -rp env:lutin:_X1_env.lut -rp oracle:v6:_X1_oracle.lus:X1_oracle -go -l 10 -ns2c --stop-on-oracle-error
 RP Variables are compatible.
-#ERROR: Output takes on nil
-RifIO.Bye
-Lurette launched a process that failed (exit 2).
- 
+quit
+
+
+The coverage rate is -nan%
+The coverage file lurette.cov has been updated/generated
 break signal catched
 
 lurettetop: bye!
-+ echo error
-error
-+ exit 2
++ echo lurettetop ok
+lurettetop ok
++ exit 0
 XPASS: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/X1.lus
 spawn ../utils/test_lus2lic_no_node should_fail/semantics/sincos.lus
 + ./lus2lic should_fail/semantics/sincos.lus -n sincos --gen-autotest -np
@@ -7402,7 +7404,7 @@ RP Variables are compatible.
 quit
 
 
-The coverage rate is 100.0%
+The coverage rate is -nan%
 The coverage file lurette.cov has been updated/generated
 break signal catched
 
@@ -7665,7 +7667,7 @@ lurettetop: bye!
 error
 + exit 2
 XPASS: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/eq1.lus
-testcase ./lus2lic.tests/non-reg.exp completed in 96 seconds
+testcase ./lus2lic.tests/non-reg.exp completed in 106 seconds
 Running ./lus2lic.tests/progression.exp ...
 spawn ./lus2lic -o /tmp/when_not.out should_work/broken/when_not.lus
 PASS: ./lus2lic {    -o /tmp/when_not.out should_work/broken/when_not.lus}
@@ -7706,8 +7708,8 @@ testcase ./lus2lic.tests/progression.exp completed in 0 seconds
 
 		=== lus2lic Summary ===
 
-# of expected passes		878
-# of unexpected failures	76
+# of expected passes		880
+# of unexpected failures	74
 # of unexpected successes	21
 # of expected failures		37
-runtest completed at Thu Dec 12 16:22:07 2013
+runtest completed at Wed Mar 26 09:50:00 2014
diff --git a/test/lus2lic.sum b/test/lus2lic.sum
index a4627124a191750de87e36806772fddc4caf3dd6..8892ccc70c8fd0d0b28d3e91934e9d7ccb443025 100644
--- a/test/lus2lic.sum
+++ b/test/lus2lic.sum
@@ -1,4 +1,4 @@
-Test Run By jahier on Tue Mar 25 14:28:07 2014
+Test Run By jahier on Wed Mar 26 09:48:14 2014
 Native configuration is i686-pc-linux-gnu
 
 		=== lus2lic tests ===
@@ -1028,7 +1028,7 @@ XPASS: Test bad programs (semantics): lus2lic {-o /tmp/bug.lic should_fail/seman
 # of unexpected failures	74
 # of unexpected successes	21
 # of expected failures		37
-testcase ./lus2lic.tests/non-reg.exp completed in 103 seconds
+testcase ./lus2lic.tests/non-reg.exp completed in 106 seconds
 testcase ./lus2lic.tests/progression.exp completed in 0 seconds
-testcase ./lus2lic.tests/non-reg.exp completed in 103 seconds
+testcase ./lus2lic.tests/non-reg.exp completed in 106 seconds
 testcase ./lus2lic.tests/progression.exp completed in 0 seconds
diff --git a/test/lus2lic.time b/test/lus2lic.time
index 41edbd56f2961fd71a927211b27b5b1100941847..50a32449b13e7913973e31734774078bce89a9d5 100644
--- a/test/lus2lic.time
+++ b/test/lus2lic.time
@@ -1,2 +1,2 @@
-testcase ./lus2lic.tests/non-reg.exp completed in 103 seconds
+testcase ./lus2lic.tests/non-reg.exp completed in 106 seconds
 testcase ./lus2lic.tests/progression.exp completed in 0 seconds