From 4794fac35ad45f08f6118d8e2ce8991ade505f85 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Thu, 25 Apr 2013 09:50:02 +0200
Subject: [PATCH] The numbers of test successes and failures was wrong because
 of test_lus2lic_no_node.

---
 src/main.ml                   |   4 +-
 test/lus2lic.sum              | 135 +++++++++++++++++-----------------
 test/should_work/testCapt.lus |   6 +-
 test/should_work/titi.lus     |   2 +-
 test/site.exp                 |   2 +-
 utils/test_lus2lic_no_node    |  51 ++++++++++---
 6 files changed, 114 insertions(+), 86 deletions(-)

diff --git a/src/main.ml b/src/main.ml
index 9fb8f915..30c3e795 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 25/04/2013 (at 09:43) by Erwan Jahier> *)
+(* Time-stamp: <modified the 25/04/2013 (at 17:09) by Erwan Jahier> *)
 
 open Verbose
 open AstV6
@@ -78,7 +78,7 @@ let (gen_autotest_files : LicPrg.t -> Ident.idref option -> Lv6MainArgs.t -> uni
     output_string stdout (lutin_file_name ^" generated.\n"); 
     let oracle_file_name = ("_"^name^"_oracle.lus") in
     let oc = open_out oracle_file_name in
-    let invars,outvars=soc.Soc.profile in
+(*     let invars,outvars=soc.Soc.profile in *)
     let locals = List.map (fun (n,t) -> n^"_bis",t) outvars in
     let invars_str  = List.map (fun (n,t) -> n^":"^(my_type_to_string t)) invars in
     let outvars_str = List.map (fun (n,t) -> n^":"^(my_type_to_string t)) outvars in
diff --git a/test/lus2lic.sum b/test/lus2lic.sum
index 87463a18..12758ffa 100644
--- a/test/lus2lic.sum
+++ b/test/lus2lic.sum
@@ -1,4 +1,4 @@
-Test Run By jahier on Thu Apr 25 09:37:22 2013
+Test Run By jahier on Thu Apr 25 17:19:15 2013
 Native configuration is i686-pc-linux-gnu
 
 		=== lus2lic tests ===
@@ -20,15 +20,15 @@ PASS: ../utils/test_lus2lic_no_node should_work/argos.lus
 PASS: ./lus2lic {-o /tmp/ck5.lic should_work/ck5.lus}
 PASS: ./lus2lic {-ec -o /tmp/ck5.ec should_work/ck5.lus}
 PASS: ./ec2c {-o /tmp/ck5.c /tmp/ck5.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/ck5.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/ck5.lus
 PASS: ./lus2lic {-o /tmp/assertion.lic should_work/assertion.lus}
 PASS: ./lus2lic {-ec -o /tmp/assertion.ec should_work/assertion.lus}
 PASS: ./ec2c {-o /tmp/assertion.c /tmp/assertion.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/assertion.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/assertion.lus
 PASS: ./lus2lic {-o /tmp/normal.lic should_work/normal.lus}
 PASS: ./lus2lic {-ec -o /tmp/normal.ec should_work/normal.lus}
 PASS: ./ec2c {-o /tmp/normal.c /tmp/normal.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/normal.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/normal.lus
 PASS: ./lus2lic {-o /tmp/nodeparam.lic should_work/nodeparam.lus}
 PASS: ./lus2lic {-ec -o /tmp/nodeparam.ec should_work/nodeparam.lus}
 PASS: ./ec2c {-o /tmp/nodeparam.c /tmp/nodeparam.ec}
@@ -36,7 +36,7 @@ PASS: ../utils/test_lus2lic_no_node should_work/nodeparam.lus
 PASS: ./lus2lic {-o /tmp/enum0.lic should_work/enum0.lus}
 PASS: ./lus2lic {-ec -o /tmp/enum0.ec should_work/enum0.lus}
 PASS: ./ec2c {-o /tmp/enum0.c /tmp/enum0.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/enum0.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/enum0.lus
 PASS: ./lus2lic {-o /tmp/ck6.lic should_work/ck6.lus}
 PASS: ./lus2lic {-ec -o /tmp/ck6.ec should_work/ck6.lus}
 PASS: ./ec2c {-o /tmp/ck6.c /tmp/ck6.ec}
@@ -44,7 +44,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/Gyroscope2.lic should_work/Gyroscope2.lus}
 PASS: ./lus2lic {-ec -o /tmp/Gyroscope2.ec should_work/Gyroscope2.lus}
 PASS: ./ec2c {-o /tmp/Gyroscope2.c /tmp/Gyroscope2.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/Gyroscope2.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/Gyroscope2.lus
 PASS: ./lus2lic {-o /tmp/mouse2.lic should_work/mouse2.lus}
 PASS: ./lus2lic {-ec -o /tmp/mouse2.ec should_work/mouse2.lus}
 PASS: ./ec2c {-o /tmp/mouse2.c /tmp/mouse2.ec}
@@ -56,11 +56,11 @@ PASS: ../utils/test_lus2lic_no_node should_work/dep.lus
 PASS: ./lus2lic {-o /tmp/ELMU.lic should_work/ELMU.lus}
 PASS: ./lus2lic {-ec -o /tmp/ELMU.ec should_work/ELMU.lus}
 PASS: ./ec2c {-o /tmp/ELMU.c /tmp/ELMU.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/ELMU.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/ELMU.lus
 PASS: ./lus2lic {-o /tmp/testPilote.lic should_work/testPilote.lus}
 PASS: ./lus2lic {-ec -o /tmp/testPilote.ec should_work/testPilote.lus}
 PASS: ./ec2c {-o /tmp/testPilote.c /tmp/testPilote.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/testPilote.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/testPilote.lus
 PASS: ./lus2lic {-o /tmp/redIf.lic should_work/redIf.lus}
 PASS: ./lus2lic {-ec -o /tmp/redIf.ec should_work/redIf.lus}
 PASS: ./ec2c {-o /tmp/redIf.c /tmp/redIf.ec}
@@ -68,7 +68,7 @@ PASS: ../utils/test_lus2lic_no_node should_work/redIf.lus
 PASS: ./lus2lic {-o /tmp/t0.lic should_work/t0.lus}
 PASS: ./lus2lic {-ec -o /tmp/t0.ec should_work/t0.lus}
 PASS: ./ec2c {-o /tmp/t0.c /tmp/t0.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/t0.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/t0.lus
 PASS: ./lus2lic {-o /tmp/lucky.lic should_work/lucky.lus}
 PASS: ./lus2lic {-ec -o /tmp/lucky.ec should_work/lucky.lus}
 PASS: ./ec2c {-o /tmp/lucky.c /tmp/lucky.ec}
@@ -80,7 +80,7 @@ PASS: ../utils/test_lus2lic_no_node should_work/heater_control.lus
 PASS: ./lus2lic {-o /tmp/titi.lic should_work/titi.lus}
 PASS: ./lus2lic {-ec -o /tmp/titi.ec should_work/titi.lus}
 PASS: ./ec2c {-o /tmp/titi.c /tmp/titi.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/titi.lus
+PASS: ../utils/test_lus2lic_no_node should_work/titi.lus
 PASS: ./lus2lic {-o /tmp/cminus.lic should_work/cminus.lus}
 PASS: ./lus2lic {-ec -o /tmp/cminus.ec should_work/cminus.lus}
 PASS: ./ec2c {-o /tmp/cminus.c /tmp/cminus.ec}
@@ -96,7 +96,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/aux.lic should_work/aux.lus}
 PASS: ./lus2lic {-ec -o /tmp/aux.ec should_work/aux.lus}
 PASS: ./ec2c {-o /tmp/aux.c /tmp/aux.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/aux.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/aux.lus
 PASS: ./lus2lic {-o /tmp/consensus2.lic should_work/consensus2.lus}
 PASS: ./lus2lic {-ec -o /tmp/consensus2.ec should_work/consensus2.lus}
 PASS: ./ec2c {-o /tmp/consensus2.c /tmp/consensus2.ec}
@@ -104,7 +104,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/dependeur.lic should_work/dependeur.lus}
 PASS: ./lus2lic {-ec -o /tmp/dependeur.ec should_work/dependeur.lus}
 PASS: ./ec2c {-o /tmp/dependeur.c /tmp/dependeur.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/dependeur.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/dependeur.lus
 PASS: ./lus2lic {-o /tmp/mappredef.lic should_work/mappredef.lus}
 PASS: ./lus2lic {-ec -o /tmp/mappredef.ec should_work/mappredef.lus}
 PASS: ./ec2c {-o /tmp/mappredef.c /tmp/mappredef.ec}
@@ -136,7 +136,7 @@ PASS: ../utils/test_lus2lic_no_node should_work/toolate.lus
 PASS: ./lus2lic {-o /tmp/testCapt.lic should_work/testCapt.lus}
 PASS: ./lus2lic {-ec -o /tmp/testCapt.ec should_work/testCapt.lus}
 PASS: ./ec2c {-o /tmp/testCapt.c /tmp/testCapt.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/testCapt.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/testCapt.lus
 PASS: ./lus2lic {-o /tmp/nc7.lic should_work/nc7.lus}
 PASS: ./lus2lic {-ec -o /tmp/nc7.ec should_work/nc7.lus}
 PASS: ./ec2c {-o /tmp/nc7.c /tmp/nc7.ec}
@@ -144,7 +144,7 @@ PASS: ../utils/test_lus2lic_no_node should_work/nc7.lus
 PASS: ./lus2lic {-o /tmp/predefOp.lic should_work/predefOp.lus}
 PASS: ./lus2lic {-ec -o /tmp/predefOp.ec should_work/predefOp.lus}
 PASS: ./ec2c {-o /tmp/predefOp.c /tmp/predefOp.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/predefOp.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/predefOp.lus
 PASS: ./lus2lic {-o /tmp/t1.lic should_work/t1.lus}
 PASS: ./lus2lic {-ec -o /tmp/t1.ec should_work/t1.lus}
 PASS: ./ec2c {-o /tmp/t1.c /tmp/t1.ec}
@@ -156,7 +156,7 @@ PASS: ../utils/test_lus2lic_no_node should_work/nc9.lus
 PASS: ./lus2lic {-o /tmp/packageTableau.lic should_work/packageTableau.lus}
 PASS: ./lus2lic {-ec -o /tmp/packageTableau.ec should_work/packageTableau.lus}
 PASS: ./ec2c {-o /tmp/packageTableau.c /tmp/packageTableau.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/packageTableau.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/packageTableau.lus
 PASS: ./lus2lic {-o /tmp/car-V2.lic should_work/car-V2.lus}
 PASS: ./lus2lic {-ec -o /tmp/car-V2.ec should_work/car-V2.lus}
 PASS: ./ec2c {-o /tmp/car-V2.c /tmp/car-V2.ec}
@@ -180,7 +180,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/iter.lic should_work/iter.lus}
 PASS: ./lus2lic {-ec -o /tmp/iter.ec should_work/iter.lus}
 PASS: ./ec2c {-o /tmp/iter.c /tmp/iter.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/iter.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/iter.lus
 PASS: ./lus2lic {-o /tmp/call05.lic should_work/call05.lus}
 PASS: ./lus2lic {-ec -o /tmp/call05.ec should_work/call05.lus}
 PASS: ./ec2c {-o /tmp/call05.c /tmp/call05.ec}
@@ -190,7 +190,7 @@ PASS: ./ec2c {-o /tmp/Watch.c /tmp/Watch.ec}
 PASS: ./lus2lic {-o /tmp/testBoite.lic should_work/testBoite.lus}
 PASS: ./lus2lic {-ec -o /tmp/testBoite.ec should_work/testBoite.lus}
 PASS: ./ec2c {-o /tmp/testBoite.c /tmp/testBoite.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/testBoite.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/testBoite.lus
 PASS: ./lus2lic {-o /tmp/node_caller1.lic should_work/node_caller1.lus}
 PASS: ./lus2lic {-ec -o /tmp/node_caller1.ec should_work/node_caller1.lus}
 PASS: ./ec2c {-o /tmp/node_caller1.c /tmp/node_caller1.ec}
@@ -206,7 +206,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/test.lic should_work/test.lus}
 PASS: ./lus2lic {-ec -o /tmp/test.ec should_work/test.lus}
 PASS: ./ec2c {-o /tmp/test.c /tmp/test.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/test.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/test.lus
 PASS: ./lus2lic {-o /tmp/FALLING_EDGE.lic should_work/FALLING_EDGE.lus}
 PASS: ./lus2lic {-ec -o /tmp/FALLING_EDGE.ec should_work/FALLING_EDGE.lus}
 PASS: ./ec2c {-o /tmp/FALLING_EDGE.c /tmp/FALLING_EDGE.ec}
@@ -218,7 +218,7 @@ PASS: ../utils/test_lus2lic_no_node should_work/SWITCH.lus
 PASS: ./lus2lic {-o /tmp/cst.lic should_work/cst.lus}
 PASS: ./lus2lic {-ec -o /tmp/cst.ec should_work/cst.lus}
 PASS: ./ec2c {-o /tmp/cst.c /tmp/cst.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/cst.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/cst.lus
 PASS: ./lus2lic {-o /tmp/minmax5_random.lic should_work/minmax5_random.lus}
 PASS: ./lus2lic {-ec -o /tmp/minmax5_random.ec should_work/minmax5_random.lus}
 PASS: ./ec2c {-o /tmp/minmax5_random.c /tmp/minmax5_random.ec}
@@ -258,7 +258,7 @@ PASS: ../utils/test_lus2lic_no_node should_work/mm22.lus
 PASS: ./lus2lic {-o /tmp/X1.lic should_work/X1.lus}
 PASS: ./lus2lic {-ec -o /tmp/X1.ec should_work/X1.lus}
 PASS: ./ec2c {-o /tmp/X1.c /tmp/X1.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/X1.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/X1.lus
 PASS: ./lus2lic {-o /tmp/is_stable.lic should_work/is_stable.lus}
 PASS: ./lus2lic {-ec -o /tmp/is_stable.ec should_work/is_stable.lus}
 PASS: ./ec2c {-o /tmp/is_stable.c /tmp/is_stable.ec}
@@ -266,19 +266,19 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/test_clash.lic should_work/test_clash.lus}
 PASS: ./lus2lic {-ec -o /tmp/test_clash.ec should_work/test_clash.lus}
 PASS: ./ec2c {-o /tmp/test_clash.c /tmp/test_clash.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/test_clash.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/test_clash.lus
 PASS: ./lus2lic {-o /tmp/model2.lic should_work/model2.lus}
 PASS: ./lus2lic {-ec -o /tmp/model2.ec should_work/model2.lus}
 PASS: ./ec2c {-o /tmp/model2.c /tmp/model2.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/model2.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/model2.lus
 PASS: ./lus2lic {-o /tmp/alarme.lic should_work/alarme.lus}
 PASS: ./lus2lic {-ec -o /tmp/alarme.ec should_work/alarme.lus}
 PASS: ./ec2c {-o /tmp/alarme.c /tmp/alarme.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/alarme.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/alarme.lus
 PASS: ./lus2lic {-o /tmp/onlyroll2.lic should_work/onlyroll2.lus}
 PASS: ./lus2lic {-ec -o /tmp/onlyroll2.ec should_work/onlyroll2.lus}
 PASS: ./ec2c {-o /tmp/onlyroll2.c /tmp/onlyroll2.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/onlyroll2.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/onlyroll2.lus
 PASS: ./lus2lic {-o /tmp/X6.lic should_work/X6.lus}
 PASS: ./lus2lic {-ec -o /tmp/X6.ec should_work/X6.lus}
 PASS: ./ec2c {-o /tmp/X6.c /tmp/X6.ec}
@@ -290,7 +290,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/polymorphic_pack.lic should_work/polymorphic_pack.lus}
 PASS: ./lus2lic {-ec -o /tmp/polymorphic_pack.ec should_work/polymorphic_pack.lus}
 PASS: ./ec2c {-o /tmp/polymorphic_pack.c /tmp/polymorphic_pack.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/polymorphic_pack.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/polymorphic_pack.lus
 PASS: ./lus2lic {-o /tmp/COUNTER.lic should_work/COUNTER.lus}
 PASS: ./lus2lic {-ec -o /tmp/COUNTER.ec should_work/COUNTER.lus}
 PASS: ./ec2c {-o /tmp/COUNTER.c /tmp/COUNTER.ec}
@@ -302,7 +302,7 @@ PASS: ../utils/test_lus2lic_no_node should_work/minmax3.lus
 PASS: ./lus2lic {-o /tmp/X3.lic should_work/X3.lus}
 PASS: ./lus2lic {-ec -o /tmp/X3.ec should_work/X3.lus}
 PASS: ./ec2c {-o /tmp/X3.c /tmp/X3.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/X3.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/X3.lus
 PASS: ./lus2lic {-o /tmp/filter.lic should_work/filter.lus}
 PASS: ./lus2lic {-ec -o /tmp/filter.ec should_work/filter.lus}
 PASS: ./ec2c {-o /tmp/filter.c /tmp/filter.ec}
@@ -342,7 +342,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/call07.lic should_work/call07.lus}
 PASS: ./lus2lic {-ec -o /tmp/call07.ec should_work/call07.lus}
 PASS: ./ec2c {-o /tmp/call07.c /tmp/call07.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/call07.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/call07.lus
 PASS: ./lus2lic {-o /tmp/shift_ludic.lic should_work/shift_ludic.lus}
 PASS: ./lus2lic {-ec -o /tmp/shift_ludic.ec should_work/shift_ludic.lus}
 PASS: ./ec2c {-o /tmp/shift_ludic.c /tmp/shift_ludic.ec}
@@ -350,7 +350,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/pilote-1.0.lic should_work/pilote-1.0.lus}
 PASS: ./lus2lic {-ec -o /tmp/pilote-1.0.ec should_work/pilote-1.0.lus}
 PASS: ./ec2c {-o /tmp/pilote-1.0.c /tmp/pilote-1.0.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/pilote-1.0.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/pilote-1.0.lus
 PASS: ./lus2lic {-o /tmp/trivial.lic should_work/trivial.lus}
 PASS: ./lus2lic {-ec -o /tmp/trivial.ec should_work/trivial.lus}
 PASS: ./ec2c {-o /tmp/trivial.c /tmp/trivial.ec}
@@ -358,15 +358,15 @@ PASS: ../utils/test_lus2lic_no_node should_work/trivial.lus
 PASS: ./lus2lic {-o /tmp/packs.lic should_work/packs.lus}
 PASS: ./lus2lic {-ec -o /tmp/packs.ec should_work/packs.lus}
 PASS: ./ec2c {-o /tmp/packs.c /tmp/packs.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/packs.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/packs.lus
 PASS: ./lus2lic {-o /tmp/sincos.lic should_work/sincos.lus}
 PASS: ./lus2lic {-ec -o /tmp/sincos.ec should_work/sincos.lus}
 PASS: ./ec2c {-o /tmp/sincos.c /tmp/sincos.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/sincos.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/sincos.lus
 PASS: ./lus2lic {-o /tmp/newpacks.lic should_work/newpacks.lus}
 PASS: ./lus2lic {-ec -o /tmp/newpacks.ec should_work/newpacks.lus}
 PASS: ./ec2c {-o /tmp/newpacks.c /tmp/newpacks.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/newpacks.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/newpacks.lus
 PASS: ./lus2lic {-o /tmp/morel5.lic should_work/morel5.lus}
 PASS: ./lus2lic {-ec -o /tmp/morel5.ec should_work/morel5.lus}
 PASS: ./ec2c {-o /tmp/morel5.c /tmp/morel5.ec}
@@ -374,7 +374,7 @@ PASS: ../utils/test_lus2lic_no_node should_work/morel5.lus
 PASS: ./lus2lic {-o /tmp/bred.lic should_work/bred.lus}
 PASS: ./lus2lic {-ec -o /tmp/bred.ec should_work/bred.lus}
 PASS: ./ec2c {-o /tmp/bred.c /tmp/bred.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/bred.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/bred.lus
 PASS: ./lus2lic {-o /tmp/tri.lic should_work/tri.lus}
 PASS: ./lus2lic {-ec -o /tmp/tri.ec should_work/tri.lus}
 PASS: ./ec2c {-o /tmp/tri.c /tmp/tri.ec}
@@ -386,7 +386,7 @@ PASS: ../utils/test_lus2lic_no_node should_work/calculs_max.lus
 PASS: ./lus2lic {-o /tmp/testCA.lic should_work/testCA.lus}
 PASS: ./lus2lic {-ec -o /tmp/testCA.ec should_work/testCA.lus}
 PASS: ./ec2c {-o /tmp/testCA.c /tmp/testCA.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/testCA.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/testCA.lus
 PASS: ./lus2lic {-o /tmp/deconne.lic should_work/deconne.lus}
 PASS: ./lus2lic {-ec -o /tmp/deconne.ec should_work/deconne.lus}
 PASS: ./ec2c {-o /tmp/deconne.c /tmp/deconne.ec}
@@ -413,11 +413,11 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/bad_call03.lic should_work/bad_call03.lus}
 PASS: ./lus2lic {-ec -o /tmp/bad_call03.ec should_work/bad_call03.lus}
 PASS: ./ec2c {-o /tmp/bad_call03.c /tmp/bad_call03.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/bad_call03.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/bad_call03.lus
 PASS: ./lus2lic {-o /tmp/onlyroll.lic should_work/onlyroll.lus}
 PASS: ./lus2lic {-ec -o /tmp/onlyroll.ec should_work/onlyroll.lus}
 PASS: ./ec2c {-o /tmp/onlyroll.c /tmp/onlyroll.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/onlyroll.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/onlyroll.lus
 PASS: ./lus2lic {-o /tmp/produitBool.lic should_work/produitBool.lus}
 PASS: ./lus2lic {-ec -o /tmp/produitBool.ec should_work/produitBool.lus}
 PASS: ./ec2c {-o /tmp/produitBool.c /tmp/produitBool.ec}
@@ -437,7 +437,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/pipeline.lic should_work/pipeline.lus}
 PASS: ./lus2lic {-ec -o /tmp/pipeline.ec should_work/pipeline.lus}
 PASS: ./ec2c {-o /tmp/pipeline.c /tmp/pipeline.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/pipeline.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/pipeline.lus
 PASS: ./lus2lic {-o /tmp/mapinf.lic should_work/mapinf.lus}
 PASS: ./lus2lic {-ec -o /tmp/mapinf.ec should_work/mapinf.lus}
 PASS: ./ec2c {-o /tmp/mapinf.c /tmp/mapinf.ec}
@@ -445,7 +445,7 @@ PASS: ../utils/test_lus2lic_no_node should_work/mapinf.lus
 PASS: ./lus2lic {-o /tmp/integrator.lic should_work/integrator.lus}
 PASS: ./lus2lic {-ec -o /tmp/integrator.ec should_work/integrator.lus}
 PASS: ./ec2c {-o /tmp/integrator.c /tmp/integrator.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/integrator.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/integrator.lus
 PASS: ./lus2lic {-o /tmp/nc4.lic should_work/nc4.lus}
 PASS: ./lus2lic {-ec -o /tmp/nc4.ec should_work/nc4.lus}
 PASS: ./ec2c {-o /tmp/nc4.c /tmp/nc4.ec}
@@ -469,7 +469,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/initial.lic should_work/initial.lus}
 PASS: ./lus2lic {-ec -o /tmp/initial.ec should_work/initial.lus}
 PASS: ./ec2c {-o /tmp/initial.c /tmp/initial.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/initial.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/initial.lus
 PASS: ./lus2lic {-o /tmp/declaration.lic should_work/declaration.lus}
 PASS: ./lus2lic {-ec -o /tmp/declaration.ec should_work/declaration.lus}
 PASS: ./ec2c {-o /tmp/declaration.c /tmp/declaration.ec}
@@ -504,11 +504,11 @@ PASS: ../utils/test_lus2lic_no_node should_work/compteur.lus
 PASS: ./lus2lic {-o /tmp/Int.lic should_work/Int.lus}
 PASS: ./lus2lic {-ec -o /tmp/Int.ec should_work/Int.lus}
 PASS: ./ec2c {-o /tmp/Int.c /tmp/Int.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/Int.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/Int.lus
 PASS: ./lus2lic {-o /tmp/t2.lic should_work/t2.lus}
 PASS: ./lus2lic {-ec -o /tmp/t2.ec should_work/t2.lus}
 PASS: ./ec2c {-o /tmp/t2.c /tmp/t2.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/t2.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/t2.lus
 PASS: ./lus2lic {-o /tmp/arbitre.lic should_work/arbitre.lus}
 PASS: ./lus2lic {-ec -o /tmp/arbitre.ec should_work/arbitre.lus}
 PASS: ./ec2c {-o /tmp/arbitre.c /tmp/arbitre.ec}
@@ -534,7 +534,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/long_et_stupide_nom_de_noeud.lic should_work/long_et_stupide_nom_de_noeud.lus}
 PASS: ./lus2lic {-ec -o /tmp/long_et_stupide_nom_de_noeud.ec should_work/long_et_stupide_nom_de_noeud.lus}
 PASS: ./ec2c {-o /tmp/long_et_stupide_nom_de_noeud.c /tmp/long_et_stupide_nom_de_noeud.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/long_et_stupide_nom_de_noeud.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/long_et_stupide_nom_de_noeud.lus
 PASS: ./lus2lic {-o /tmp/CURRENT.lic should_work/CURRENT.lus}
 PASS: ./lus2lic {-ec -o /tmp/CURRENT.ec should_work/CURRENT.lus}
 PASS: ./ec2c {-o /tmp/CURRENT.c /tmp/CURRENT.ec}
@@ -572,15 +572,15 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/o2l_feux_compl.lic should_work/o2l_feux_compl.lus}
 PASS: ./lus2lic {-ec -o /tmp/o2l_feux_compl.ec should_work/o2l_feux_compl.lus}
 PASS: ./ec2c {-o /tmp/o2l_feux_compl.c /tmp/o2l_feux_compl.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/o2l_feux_compl.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/o2l_feux_compl.lus
 PASS: ./lus2lic {-o /tmp/model.lic should_work/model.lus}
 PASS: ./lus2lic {-ec -o /tmp/model.ec should_work/model.lus}
 PASS: ./ec2c {-o /tmp/model.c /tmp/model.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/model.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/model.lus
 PASS: ./lus2lic {-o /tmp/matrice.lic should_work/matrice.lus}
 PASS: ./lus2lic {-ec -o /tmp/matrice.ec should_work/matrice.lus}
 PASS: ./ec2c {-o /tmp/matrice.c /tmp/matrice.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/matrice.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/matrice.lus
 PASS: ./lus2lic {-o /tmp/TIME_STABLE.lic should_work/TIME_STABLE.lus}
 PASS: ./lus2lic {-ec -o /tmp/TIME_STABLE.ec should_work/TIME_STABLE.lus}
 PASS: ./ec2c {-o /tmp/TIME_STABLE.c /tmp/TIME_STABLE.ec}
@@ -604,7 +604,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/exclusion.lic should_work/exclusion.lus}
 PASS: ./lus2lic {-ec -o /tmp/exclusion.ec should_work/exclusion.lus}
 PASS: ./ec2c {-o /tmp/exclusion.c /tmp/exclusion.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/exclusion.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/exclusion.lus
 PASS: ./lus2lic {-o /tmp/ply01.lic should_work/ply01.lus}
 PASS: ./lus2lic {-ec -o /tmp/ply01.ec should_work/ply01.lus}
 PASS: ./ec2c {-o /tmp/ply01.c /tmp/ply01.ec}
@@ -652,7 +652,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/iterFibo.lic should_work/iterFibo.lus}
 PASS: ./lus2lic {-ec -o /tmp/iterFibo.ec should_work/iterFibo.lus}
 PASS: ./ec2c {-o /tmp/iterFibo.c /tmp/iterFibo.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/iterFibo.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/iterFibo.lus
 PASS: ./lus2lic {-o /tmp/morel2.lic should_work/morel2.lus}
 PASS: ./lus2lic {-ec -o /tmp/morel2.ec should_work/morel2.lus}
 PASS: ./ec2c {-o /tmp/morel2.c /tmp/morel2.ec}
@@ -680,11 +680,11 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/aux1.lic should_work/aux1.lus}
 PASS: ./lus2lic {-ec -o /tmp/aux1.ec should_work/aux1.lus}
 PASS: ./ec2c {-o /tmp/aux1.c /tmp/aux1.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/aux1.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/aux1.lus
 PASS: ./lus2lic {-o /tmp/moyenne.lic should_work/moyenne.lus}
 PASS: ./lus2lic {-ec -o /tmp/moyenne.ec should_work/moyenne.lus}
 PASS: ./ec2c {-o /tmp/moyenne.c /tmp/moyenne.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/moyenne.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/moyenne.lus
 PASS: ./lus2lic {-o /tmp/activation1.lic should_work/activation1.lus}
 PASS: ./lus2lic {-ec -o /tmp/activation1.ec should_work/activation1.lus}
 PASS: ./ec2c {-o /tmp/activation1.c /tmp/activation1.ec}
@@ -696,7 +696,7 @@ PASS: ../utils/test_lus2lic_no_node should_work/call01.lus
 PASS: ./lus2lic {-o /tmp/lecteur.lic should_work/lecteur.lus}
 PASS: ./lus2lic {-ec -o /tmp/lecteur.ec should_work/lecteur.lus}
 PASS: ./ec2c {-o /tmp/lecteur.c /tmp/lecteur.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/lecteur.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/lecteur.lus
 PASS: ./lus2lic {-o /tmp/bug.lic should_work/bug.lus}
 PASS: ./lus2lic {-ec -o /tmp/bug.ec should_work/bug.lus}
 PASS: ./ec2c {-o /tmp/bug.c /tmp/bug.ec}
@@ -712,7 +712,7 @@ PASS: ../utils/test_lus2lic_no_node should_work/map_red_iter.lus
 PASS: ./lus2lic {-o /tmp/p.lic should_work/p.lus}
 PASS: ./lus2lic {-ec -o /tmp/p.ec should_work/p.lus}
 PASS: ./ec2c {-o /tmp/p.c /tmp/p.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/p.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/p.lus
 PASS: ./lus2lic {-o /tmp/struct0.lic should_work/struct0.lus}
 PASS: ./lus2lic {-ec -o /tmp/struct0.ec should_work/struct0.lus}
 PASS: ./ec2c {-o /tmp/struct0.c /tmp/struct0.ec}
@@ -732,7 +732,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/Gyroscope.lic should_work/Gyroscope.lus}
 PASS: ./lus2lic {-ec -o /tmp/Gyroscope.ec should_work/Gyroscope.lus}
 PASS: ./ec2c {-o /tmp/Gyroscope.c /tmp/Gyroscope.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/Gyroscope.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/Gyroscope.lus
 PASS: ./lus2lic {-o /tmp/followed_by.lic should_work/followed_by.lus}
 PASS: ./lus2lic {-ec -o /tmp/followed_by.ec should_work/followed_by.lus}
 PASS: ./ec2c {-o /tmp/followed_by.c /tmp/followed_by.ec}
@@ -748,15 +748,15 @@ PASS: ../utils/test_lus2lic_no_node should_work/rediter.lus
 PASS: ./lus2lic {-o /tmp/mapdeRed.lic should_work/mapdeRed.lus}
 PASS: ./lus2lic {-ec -o /tmp/mapdeRed.ec should_work/mapdeRed.lus}
 PASS: ./ec2c {-o /tmp/mapdeRed.c /tmp/mapdeRed.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/mapdeRed.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/mapdeRed.lus
 PASS: ./lus2lic {-o /tmp/modelInst.lic should_work/modelInst.lus}
 PASS: ./lus2lic {-ec -o /tmp/modelInst.ec should_work/modelInst.lus}
 PASS: ./ec2c {-o /tmp/modelInst.c /tmp/modelInst.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/modelInst.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/modelInst.lus
 PASS: ./lus2lic {-o /tmp/dependeur_struct.lic should_work/dependeur_struct.lus}
 PASS: ./lus2lic {-ec -o /tmp/dependeur_struct.ec should_work/dependeur_struct.lus}
 PASS: ./ec2c {-o /tmp/dependeur_struct.c /tmp/dependeur_struct.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/dependeur_struct.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/dependeur_struct.lus
 PASS: ./lus2lic {-o /tmp/minmax4_bis.lic should_work/minmax4_bis.lus}
 PASS: ./lus2lic {-ec -o /tmp/minmax4_bis.ec should_work/minmax4_bis.lus}
 PASS: ./ec2c {-o /tmp/minmax4_bis.c /tmp/minmax4_bis.ec}
@@ -776,7 +776,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/drapfab.lic should_work/drapfab.lus}
 PASS: ./lus2lic {-ec -o /tmp/drapfab.ec should_work/drapfab.lus}
 PASS: ./ec2c {-o /tmp/drapfab.c /tmp/drapfab.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/drapfab.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/drapfab.lus
 PASS: ./lus2lic {-o /tmp/pre_x.lic should_work/pre_x.lus}
 PASS: ./lus2lic {-ec -o /tmp/pre_x.ec should_work/pre_x.lus}
 PASS: ./ec2c {-o /tmp/pre_x.c /tmp/pre_x.ec}
@@ -792,7 +792,7 @@ PASS: ../utils/test_lus2lic_no_node should_work/_N_uu.lus
 PASS: ./lus2lic {-o /tmp/X2.lic should_work/X2.lus}
 PASS: ./lus2lic {-ec -o /tmp/X2.ec should_work/X2.lus}
 PASS: ./ec2c {-o /tmp/X2.c /tmp/X2.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/X2.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/X2.lus
 PASS: ./lus2lic {-o /tmp/alias.lic should_work/alias.lus}
 PASS: ./lus2lic {-ec -o /tmp/alias.ec should_work/alias.lus}
 PASS: ./ec2c {-o /tmp/alias.c /tmp/alias.ec}
@@ -804,11 +804,11 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/lustre.lic should_work/lustre.lus}
 PASS: ./lus2lic {-ec -o /tmp/lustre.ec should_work/lustre.lus}
 PASS: ./ec2c {-o /tmp/lustre.c /tmp/lustre.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/lustre.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/lustre.lus
 PASS: ./lus2lic {-o /tmp/packed_cst.lic should_work/packed_cst.lus}
 PASS: ./lus2lic {-ec -o /tmp/packed_cst.ec should_work/packed_cst.lus}
 PASS: ./ec2c {-o /tmp/packed_cst.c /tmp/packed_cst.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/packed_cst.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/packed_cst.lus
 PASS: ./lus2lic {-o /tmp/predef02.lic should_work/predef02.lus}
 PASS: ./lus2lic {-ec -o /tmp/predef02.ec should_work/predef02.lus}
 PASS: ./ec2c {-o /tmp/predef02.c /tmp/predef02.ec}
@@ -836,7 +836,7 @@ PASS: ../utils/test_lus2lic_no_node should_work/STABLE.lus
 PASS: ./lus2lic {-o /tmp/mapiter.lic should_work/mapiter.lus}
 PASS: ./lus2lic {-ec -o /tmp/mapiter.ec should_work/mapiter.lus}
 PASS: ./ec2c {-o /tmp/mapiter.c /tmp/mapiter.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/mapiter.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/mapiter.lus
 PASS: ./lus2lic {-o /tmp/tuple.lic should_work/tuple.lus}
 PASS: ./lus2lic {-ec -o /tmp/tuple.ec should_work/tuple.lus}
 PASS: ./ec2c {-o /tmp/tuple.c /tmp/tuple.ec}
@@ -860,7 +860,7 @@ PASS: ../utils/test_lus2lic_no_node should_work/triSel.lus
 PASS: ./lus2lic {-o /tmp/s.lic should_work/s.lus}
 PASS: ./lus2lic {-ec -o /tmp/s.ec should_work/s.lus}
 PASS: ./ec2c {-o /tmp/s.c /tmp/s.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/s.lus
+UNRESOLVED: Time out: ../utils/test_lus2lic_no_node should_work/s.lus
 PASS: ./lus2lic {-o /tmp/redoptest.lic should_work/redoptest.lus}
 PASS: ./lus2lic {-ec -o /tmp/redoptest.ec should_work/redoptest.lus}
 PASS: ./ec2c {-o /tmp/redoptest.c /tmp/redoptest.ec}
@@ -888,11 +888,11 @@ PASS: ../utils/test_lus2lic_no_node should_work/after.lus
 PASS: ./lus2lic {-o /tmp/arrays.lic should_work/arrays.lus}
 PASS: ./lus2lic {-ec -o /tmp/arrays.ec should_work/arrays.lus}
 PASS: ./ec2c {-o /tmp/arrays.c /tmp/arrays.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/arrays.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/arrays.lus
 PASS: ./lus2lic {-o /tmp/eq1.lic should_work/eq1.lus}
 PASS: ./lus2lic {-ec -o /tmp/eq1.ec should_work/eq1.lus}
 PASS: ./ec2c {-o /tmp/eq1.c /tmp/eq1.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/eq1.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/eq1.lus
 PASS: ./lus2lic {-o /tmp/nc3.lic should_work/nc3.lus}
 PASS: ./lus2lic {-ec -o /tmp/nc3.ec should_work/nc3.lus}
 PASS: ./ec2c {-o /tmp/nc3.c /tmp/nc3.ec}
@@ -904,7 +904,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/iterate.lic should_work/iterate.lus}
 PASS: ./lus2lic {-ec -o /tmp/iterate.ec should_work/iterate.lus}
 PASS: ./ec2c {-o /tmp/iterate.c /tmp/iterate.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/iterate.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/iterate.lus
 PASS: ./lus2lic {-o /tmp/overload.lic should_work/overload.lus}
 PASS: ./lus2lic {-ec -o /tmp/overload.ec should_work/overload.lus}
 PASS: ./ec2c {-o /tmp/overload.c /tmp/overload.ec}
@@ -936,7 +936,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/Condact.lic should_work/Condact.lus}
 PASS: ./lus2lic {-ec -o /tmp/Condact.ec should_work/Condact.lus}
 PASS: ./ec2c {-o /tmp/Condact.c /tmp/Condact.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/Condact.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/Condact.lus
 PASS: ./lus2lic {-o /tmp/poussoir.lic should_work/poussoir.lus}
 PASS: ./lus2lic {-ec -o /tmp/poussoir.ec should_work/poussoir.lus}
 PASS: ./ec2c {-o /tmp/poussoir.c /tmp/poussoir.ec}
@@ -984,7 +984,7 @@ FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node shou
 PASS: ./lus2lic {-o /tmp/remplissage-1.0.lic should_work/remplissage-1.0.lus}
 PASS: ./lus2lic {-ec -o /tmp/remplissage-1.0.ec should_work/remplissage-1.0.lus}
 PASS: ./ec2c {-o /tmp/remplissage-1.0.c /tmp/remplissage-1.0.ec}
-PASS: ../utils/test_lus2lic_no_node should_work/remplissage-1.0.lus
+FAIL: Try to compare lus2lic -exec and ecexe: ../utils/test_lus2lic_no_node should_work/remplissage-1.0.lus
 XFAIL: Test bad programs (syntax): lus2lic {-o /tmp/old_style_and_pack.lic should_fail/syntax/old_style_and_pack.lus}
 XFAIL: Test bad programs (syntax): lus2lic {-o /tmp/record.lic should_fail/syntax/record.lus}
 XFAIL: Test bad programs (type): lus2lic {-o /tmp/parametric_node3.lic should_fail/type/parametric_node3.lus}
@@ -1045,7 +1045,8 @@ XPASS: Test bad programs (semantics): lus2lic {-o /tmp/bug.lic should_fail/seman
 
 		=== lus2lic Summary ===
 
-# of expected passes		885
-# of unexpected failures	100
+# of expected passes		823
+# of unexpected failures	144
 # of unexpected successes	11
 # of expected failures		37
+# of unresolved testcases	18
diff --git a/test/should_work/testCapt.lus b/test/should_work/testCapt.lus
index d3668378..7a171ba4 100644
--- a/test/should_work/testCapt.lus
+++ b/test/should_work/testCapt.lus
@@ -1,7 +1,7 @@
-package capt
+package testCapt
 
 provides 
-node capt(Hcapt : bool)
+node testCapt(Hcapt : bool)
 --          HrinstCount : bool; 
 --          indCount : int)
 returns (dataPUT : bool; 
@@ -12,7 +12,7 @@ returns (dataPUT : bool;
 body
 
 
-node capt(Hcapt : bool)
+node testCapt(Hcapt : bool)
           --HrinstCount : bool; 
           --indCount : int)
 returns (dataPUT : bool; 
diff --git a/test/should_work/titi.lus b/test/should_work/titi.lus
index c7667d85..88be74b7 100644
--- a/test/should_work/titi.lus
+++ b/test/should_work/titi.lus
@@ -16,7 +16,7 @@ tel
 -- 	t[1..2] = (truc { a = true^100; b = 0 })^2;
 
 
-node simple2(x:int) returns (
+node titi(x:int) returns (
                            o: int);
 let 
   o = simple(x);
diff --git a/test/site.exp b/test/site.exp
index c9b507ce..cfcb120b 100644
--- a/test/site.exp
+++ b/test/site.exp
@@ -46,7 +46,7 @@ proc should_work { test_name command_line args } {
             set failed 1
             exp_continue
         }
-        "lurettetop: bye!" {
+        "lurettetop ok" {
             pass "$cl $args"
         }
         # to avoid that match_max (the expect buffer size) is reached 
diff --git a/utils/test_lus2lic_no_node b/utils/test_lus2lic_no_node
index 70a8e940..107672c4 100755
--- a/utils/test_lus2lic_no_node
+++ b/utils/test_lus2lic_no_node
@@ -9,15 +9,42 @@ env=_"$node"_env.lut
 
 set -x verbose #echo on
 
-./lus2lic $lustre_file -n $node --gen-autotest -np || exit 2
-cat  $lustre_file  >> $_oracle
-
-#./lus2lic $lustre_file -n $node -lv4 -en --no-prefix >> $_oracle || exit 2
-
-./lus2lic  $_oracle -n $oracle -ec -o $oracle.ec || exit 2
-#./lus2ec  $_oracle  $oracle  -o $oracle.ec || exit 2
-
-
-./lurettetop -rp "sut:v6:$lustre_file:$node" -rp "env:lutin:$env" -rp "oracle:ec:$oracle.ec:$oracle" -go -l 10 -ns2c --stop-on-oracle-error || exit 2
-
-return 0
+if
+./lus2lic $lustre_file -n $node --gen-autotest -np;
+then
+   echo "lus2lic --gen-autotest done" 
+else
+    echo "Error"
+    exit 2
+fi
+
+#cat  $lustre_file  >> $_oracle
+
+if
+./lus2lic $lustre_file -n $node -lv4 -en --no-prefix >> $_oracle;
+then
+echo "lus2lic -lv4 done"
+else
+    echo "Error"
+    exit 2
+fi
+
+export PATH=/usr/local/tools/lustre/bin/:$PATH
+if
+    ./lus2lic  $_oracle -n $oracle -ec -o $oracle.ec
+#    lus2ec  $_oracle  $oracle  -o $oracle.ec;
+then
+echo "pollux done"
+else
+    echo "Error"
+    exit 2
+fi
+if
+./lurettetop -rp "sut:v6:$lustre_file:$node" -rp "env:lutin:$env" -rp "oracle:ec:$oracle.ec:$oracle" -go -l 10 -ns2c --stop-on-oracle-error;
+then
+echo "lurettetop ok"
+else
+     echo "error"
+     exit 2
+fi
+#exit 0
-- 
GitLab