From f3e95c52418aad2cf9a5fde6d7054c2df27f05a9 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Wed, 4 Dec 2013 16:52:26 +0100
Subject: [PATCH] Fix the main rule in test/Makefile, where I was missing test
breaks wrt "lus2lic.log.ref".
---
src/lv6version.ml | 4 +-
test/Makefile | 11 +-
test/lus2lic.log.ref | 436 ++++---------------------------------------
test/lus2lic.sum | 6 +-
test/lus2lic.time | 4 +-
5 files changed, 47 insertions(+), 414 deletions(-)
diff --git a/src/lv6version.ml b/src/lv6version.ml
index 1f98bfc7..70d9e7b6 100644
--- a/src/lv6version.ml
+++ b/src/lv6version.ml
@@ -1,7 +1,7 @@
(** Automatically generated from Makefile *)
let tool = "lus2lic"
let branch = "(no"
-let commit = "427"
-let sha_1 = "c5fbd09912d893869120cad93cfac2f643dbbc0c"
+let commit = "428"
+let sha_1 = "0565145f94a5b91ac83c5abd65a0fcf72f77ea46"
let str = (branch ^ "." ^ commit ^ " (" ^ sha_1 ^ ")")
let maintainer = "jahier@imag.fr"
diff --git a/test/Makefile b/test/Makefile
index 87013a04..711c0e58 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -1,5 +1,6 @@
-test: remote-runtest lus2lic.diff lus2lic.time
+test: remote-runtest lus2lic.time lus2lic.diff
+xxx: lus2lic.time lus2lic.diff
TEST_MACHINE=grivola
# This fixes sporadic memory errors I get when running tests
@@ -24,9 +25,13 @@ runtest:
.PHONY:lus2lic.diff lus2lic.time
lus2lic.diff:
+ cat lus2lic.log | grep -v "Process " | grep -v "Killing process " | \
+ grep -v "simec_trap " > lus2lic2.log
+ mv lus2lic2.log lus2lic.log
diff -U 1 -I "Test Run By" -I "testcase \./lus2lic" -I "runtest completed at" \
- lus2lic.log.ref lus2lic.log > lus2lic.diff || \
- (ls -l lus2lic.diff; exit 1)
+ -I "This is Lurette Version " \
+ lus2lic.log.ref lus2lic.log > lus2lic.diff || \
+ (cat lus2lic.diff; echo "make utest if it is fine"; exit 1)
time:lus2lic.time
lus2lic.time:
diff --git a/test/lus2lic.log.ref b/test/lus2lic.log.ref
index 14d52145..7058ecef 100644
--- a/test/lus2lic.log.ref
+++ b/test/lus2lic.log.ref
@@ -1,4 +1,4 @@
-Test Run By jahier on Fri Nov 29 17:05:42 2013
+Test Run By jahier on Wed Dec 4 16:43:11 2013
Native configuration is i686-pc-linux-gnu
=== lus2lic tests ===
@@ -32,11 +32,9 @@ 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:nc6.ec:nc6 -rp env:lutin:_nc6_env.lut -rp oracle:v6:_nc6_oracle.lus:nc6_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17019 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17019
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -66,11 +64,9 @@ 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:argos.ec:argos -rp env:lutin:_argos_env.lut -rp oracle:v6:_argos_oracle.lus:argos_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17038 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17038
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -100,11 +96,9 @@ 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:ck5.ec:ck5 -rp env:lutin:_ck5_env.lut -rp oracle:v6:_ck5_oracle.lus:ck5_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17057 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17057
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -134,11 +128,9 @@ 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:normal.ec:normal -rp env:lutin:_normal_env.lut -rp oracle:v6:_normal_oracle.lus:normal_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17078 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17078
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -168,11 +160,9 @@ 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:nodeparam.ec:nodeparam -rp env:lutin:_nodeparam_env.lut -rp oracle:v6:_nodeparam_oracle.lus:nodeparam_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17097 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17097
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -181,6 +171,7 @@ 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}
@@ -201,7 +192,6 @@ 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
This is Lurette Version 1.54 (1ecf703)
-Process 17116 (ecexe) created
Some variables are missing in input of the SUT: x:color1
Some variables are missing in input of lutin: y:int
try with luciole!
@@ -216,8 +206,6 @@ lurette_luciole.c:16:10: error: duplicate member '_x'
lurette_luciole.c:17:13: error: duplicate member '_y'
... gcc exited normally.
-luciole: launch simec_trap on lurette.dro
-simec_trap ./lurette_luciole.dro 17115
*** cannot handle color2 type as input of Luciole
File "../obj-linux/lustreRun.ml", line 410, characters 21-27: Assertion failed
Lurette launched a process that failed (exit 2).
@@ -268,7 +256,6 @@ 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:Gyroscope2.ec:Gyroscope2 -rp env:lutin:_Gyroscope2_env.lut -rp oracle:v6:_Gyroscope2_oracle.lus:Gyroscope2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17155 (ecexe) created
RP Variables are compatible.
#ERROR value read. bye!
RifIO.Bye
@@ -300,11 +287,9 @@ 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:mouse2.ec:mouse2 -rp env:lutin:_mouse2_env.lut -rp oracle:v6:_mouse2_oracle.lus:mouse2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17174 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17174
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -334,11 +319,9 @@ 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:dep.ec:dep -rp env:lutin:_dep_env.lut -rp oracle:v6:_dep_oracle.lus:dep_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17193 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17193
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -368,11 +351,9 @@ 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:ELMU.ec:ELMU -rp env:lutin:_ELMU_env.lut -rp oracle:v6:_ELMU_oracle.lus:ELMU_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17214 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17214
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -402,7 +383,6 @@ 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:testPilote.ec:testPilote -rp env:lutin:_testPilote_env.lut -rp oracle:v6:_testPilote_oracle.lus:testPilote_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17233 (ecexe) created
Error in lurette: Parsing.Parse_error
Lurette launched a process that failed (exit 2).
@@ -432,11 +412,9 @@ 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:redIf.ec:redIf -rp env:lutin:_redIf_env.lut -rp oracle:v6:_redIf_oracle.lus:redIf_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17252 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17252
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -466,11 +444,9 @@ 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:t0.ec:t0 -rp env:lutin:_t0_env.lut -rp oracle:v6:_t0_oracle.lus:t0_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17272 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17272
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -500,11 +476,9 @@ 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:lucky.ec:lucky -rp env:lutin:_lucky_env.lut -rp oracle:v6:_lucky_oracle.lus:lucky_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17291 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17291
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -534,11 +508,9 @@ 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:heater_control.ec:heater_control -rp env:lutin:_heater_control_env.lut -rp oracle:v6:_heater_control_oracle.lus:heater_control_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17310 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17310
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -568,11 +540,9 @@ 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:titi.ec:titi -rp env:lutin:_titi_env.lut -rp oracle:v6:_titi_oracle.lus:titi_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17329 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17329
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -602,11 +572,9 @@ 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:cminus.ec:cminus -rp env:lutin:_cminus_env.lut -rp oracle:v6:_cminus_oracle.lus:cminus_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17348 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17348
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -614,6 +582,8 @@ break signal catched
lurettetop: bye!
+ echo lurettetop ok
+lurettetop ok
++ exit 0
PASS: ../utils/test_lus2lic_no_node should_work/cminus.lus
spawn ./lus2lic -o /tmp/rs.lic should_work/rs.lus
PASS: ./lus2lic {-o /tmp/rs.lic should_work/rs.lus}
@@ -634,11 +604,9 @@ 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:rs.ec:rs -rp env:lutin:_rs_env.lut -rp oracle:v6:_rs_oracle.lus:rs_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17368 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17368
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -668,11 +636,9 @@ 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:access.ec:access -rp env:lutin:_access_env.lut -rp oracle:v6:_access_oracle.lus:access_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17387 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17387
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -702,11 +668,9 @@ 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:consensus2.ec:consensus2 -rp env:lutin:_consensus2_env.lut -rp oracle:v6:_consensus2_oracle.lus:consensus2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17406 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17406
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -736,11 +700,9 @@ 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:dependeur.ec:dependeur -rp env:lutin:_dependeur_env.lut -rp oracle:v6:_dependeur_oracle.lus:dependeur_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17425 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17425
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -770,11 +732,9 @@ 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:mappredef.ec:mappredef -rp env:lutin:_mappredef_env.lut -rp oracle:v6:_mappredef_oracle.lus:mappredef_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17444 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17444
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -824,7 +784,6 @@ 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:deSimone.ec:deSimone -rp env:lutin:_deSimone_env.lut -rp oracle:v6:_deSimone_oracle.lus:deSimone_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17478 (ecexe) created
RP Variables are compatible.
*** The oracle returned false at step 6
@@ -927,11 +886,9 @@ 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:bug2.ec:bug2 -rp env:lutin:_bug2_env.lut -rp oracle:v6:_bug2_oracle.lus:bug2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17497 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17497
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -961,11 +918,9 @@ 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:mm.ec:mm -rp env:lutin:_mm_env.lut -rp oracle:v6:_mm_oracle.lus:mm_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17516 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17516
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -995,11 +950,9 @@ 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:yyy.ec:yyy -rp env:lutin:_yyy_env.lut -rp oracle:v6:_yyy_oracle.lus:yyy_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17535 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17535
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1029,11 +982,9 @@ 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:toolate.ec:toolate -rp env:lutin:_toolate_env.lut -rp oracle:v6:_toolate_oracle.lus:toolate_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17554 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17554
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1063,7 +1014,6 @@ 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:testCapt.ec:testCapt -rp env:lutin:_testCapt_env.lut -rp oracle:v6:_testCapt_oracle.lus:testCapt_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17573 (ecexe) created
Error in lurette: Parsing.Parse_error
Lurette launched a process that failed (exit 2).
@@ -1093,11 +1043,9 @@ 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:nc7.ec:nc7 -rp env:lutin:_nc7_env.lut -rp oracle:v6:_nc7_oracle.lus:nc7_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17592 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17592
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1127,11 +1075,9 @@ 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:predefOp.ec:predefOp -rp env:lutin:_predefOp_env.lut -rp oracle:v6:_predefOp_oracle.lus:predefOp_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17611 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17611
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1161,11 +1107,9 @@ 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:t1.ec:t1 -rp env:lutin:_t1_env.lut -rp oracle:v6:_t1_oracle.lus:t1_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17630 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17630
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1195,11 +1139,9 @@ 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:nc9.ec:nc9 -rp env:lutin:_nc9_env.lut -rp oracle:v6:_nc9_oracle.lus:nc9_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17649 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17649
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1245,11 +1187,9 @@ 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:nc8.ec:nc8 -rp env:lutin:_nc8_env.lut -rp oracle:v6:_nc8_oracle.lus:nc8_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17684 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17684
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1299,11 +1239,9 @@ 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:mm1.ec:mm1 -rp env:lutin:_mm1_env.lut -rp oracle:v6:_mm1_oracle.lus:mm1_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17718 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17718
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1333,11 +1271,9 @@ 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:predef03.ec:predef03 -rp env:lutin:_predef03_env.lut -rp oracle:v6:_predef03_oracle.lus:predef03_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17737 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17737
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1367,11 +1303,9 @@ 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:iter.ec:iter -rp env:lutin:_iter_env.lut -rp oracle:v6:_iter_oracle.lus:iter_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17756 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17756
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1429,11 +1363,9 @@ 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:node_caller1.ec:node_caller1 -rp env:lutin:_node_caller1_env.lut -rp oracle:v6:_node_caller1_oracle.lus:node_caller1_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17810 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17810
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1463,11 +1395,9 @@ 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:nc1.ec:nc1 -rp env:lutin:_nc1_env.lut -rp oracle:v6:_nc1_oracle.lus:nc1_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17829 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17829
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1497,7 +1427,6 @@ 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_node_expand2.ec:test_node_expand2 -rp env:lutin:_test_node_expand2_env.lut -rp oracle:v6:_test_node_expand2_oracle.lus:test_node_expand2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17848 (ecexe) created
RP Variables are compatible.
Failure occured in lurette: int_of_string
Lurette launched a process that failed (exit 2).
@@ -1528,7 +1457,6 @@ 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.ec:test -rp env:lutin:_test_env.lut -rp oracle:v6:_test_oracle.lus:test_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17867 (ecexe) created
RP Variables are compatible.
*** The oracle returned false at step 2
@@ -1589,11 +1517,9 @@ 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:FALLING_EDGE.ec:FALLING_EDGE -rp env:lutin:_FALLING_EDGE_env.lut -rp oracle:v6:_FALLING_EDGE_oracle.lus:FALLING_EDGE_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17886 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17886
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1623,11 +1549,9 @@ 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:SWITCH.ec:SWITCH -rp env:lutin:_SWITCH_env.lut -rp oracle:v6:_SWITCH_oracle.lus:SWITCH_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17905 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17905
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1657,11 +1581,9 @@ 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:cst.ec:cst -rp env:lutin:_cst_env.lut -rp oracle:v6:_cst_oracle.lus:cst_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17924 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17924
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1670,7 +1592,6 @@ 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}
@@ -1711,11 +1632,9 @@ 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:matrice2.ec:matrice2 -rp env:lutin:_matrice2_env.lut -rp oracle:v6:_matrice2_oracle.lus:matrice2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17959 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17959
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1723,6 +1642,7 @@ break signal catched
lurettetop: bye!
+ echo lurettetop ok
+lurettetop ok
PASS: ../utils/test_lus2lic_no_node should_work/matrice2.lus
spawn ./lus2lic -o /tmp/v1.lic should_work/v1.lus
PASS: ./lus2lic {-o /tmp/v1.lic should_work/v1.lus}
@@ -1743,11 +1663,9 @@ 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:v1.ec:v1 -rp env:lutin:_v1_env.lut -rp oracle:v6:_v1_oracle.lus:v1_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17978 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17978
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1777,11 +1695,9 @@ 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:ply02.ec:ply02 -rp env:lutin:_ply02_env.lut -rp oracle:v6:_ply02_oracle.lus:ply02_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 17997 (ecexe) created
RP Variables are compatible.
quit
-Killing process 17997
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1811,11 +1727,9 @@ 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:call04.ec:call04 -rp env:lutin:_call04_env.lut -rp oracle:v6:_call04_oracle.lus:call04_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18016 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18016
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1845,11 +1759,9 @@ 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:bascule.ec:bascule -rp env:lutin:_bascule_env.lut -rp oracle:v6:_bascule_oracle.lus:bascule_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18035 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18035
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1879,11 +1791,9 @@ 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:double_delay.ec:double_delay -rp env:lutin:_double_delay_env.lut -rp oracle:v6:_double_delay_oracle.lus:double_delay_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18054 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18054
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1913,11 +1823,9 @@ 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:struct_with.ec:struct_with -rp env:lutin:_struct_with_env.lut -rp oracle:v6:_struct_with_oracle.lus:struct_with_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18073 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18073
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -1947,7 +1855,6 @@ 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_node_expand.ec:test_node_expand -rp env:lutin:_test_node_expand_env.lut -rp oracle:v6:_test_node_expand_oracle.lus:test_node_expand_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18092 (ecexe) created
RP Variables are compatible.
Failure occured in lurette: int_of_string
Lurette launched a process that failed (exit 2).
@@ -1978,11 +1885,9 @@ 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:mm22.ec:mm22 -rp env:lutin:_mm22_env.lut -rp oracle:v6:_mm22_oracle.lus:mm22_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18111 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18111
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2012,11 +1917,9 @@ 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:is_stable.ec:is_stable -rp env:lutin:_is_stable_env.lut -rp oracle:v6:_is_stable_oracle.lus:is_stable_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18130 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18130
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2076,7 +1979,6 @@ 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
This is Lurette Version 1.54 (1ecf703)
-Process 18179 (ecexe) created
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).
@@ -2107,7 +2009,6 @@ 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:X6.ec:X6 -rp env:lutin:_X6_env.lut -rp oracle:v6:_X6_oracle.lus:X6_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18198 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on b on base\n")
Lurette launched a process that failed (exit 2).
@@ -2137,11 +2038,9 @@ 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:zzz2.ec:zzz2 -rp env:lutin:_zzz2_env.lut -rp oracle:v6:_zzz2_oracle.lus:zzz2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18217 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18217
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2149,7 +2048,9 @@ break signal catched
lurettetop: bye!
+ echo lurettetop ok
-lurettetop okPASS: ../utils/test_lus2lic_no_node should_work/zzz2.lus
+lurettetop ok
++ exit 0
+PASS: ../utils/test_lus2lic_no_node should_work/zzz2.lus
spawn ./lus2lic -o /tmp/polymorphic_pack.lic should_work/polymorphic_pack.lus
PASS: ./lus2lic {-o /tmp/polymorphic_pack.lic should_work/polymorphic_pack.lus}
spawn ./lus2lic -ec -o /tmp/polymorphic_pack.ec should_work/polymorphic_pack.lus
@@ -2183,11 +2084,9 @@ 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:COUNTER.ec:COUNTER -rp env:lutin:_COUNTER_env.lut -rp oracle:v6:_COUNTER_oracle.lus:COUNTER_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18251 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18251
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2217,11 +2116,9 @@ 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:minmax3.ec:minmax3 -rp env:lutin:_minmax3_env.lut -rp oracle:v6:_minmax3_oracle.lus:minmax3_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18270 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18270
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2229,6 +2126,7 @@ break signal catched
lurettetop: bye!
+ echo lurettetop ok
+lurettetop ok
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}
@@ -2265,11 +2163,9 @@ 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:ec.ec:ec -rp env:lutin:_ec_env.lut -rp oracle:v6:_ec_oracle.lus:ec_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18304 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18304
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2299,11 +2195,9 @@ 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:morel3.ec:morel3 -rp env:lutin:_morel3_env.lut -rp oracle:v6:_morel3_oracle.lus:morel3_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18324 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18324
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2333,11 +2227,9 @@ 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:fresh_name.ec:fresh_name -rp env:lutin:_fresh_name_env.lut -rp oracle:v6:_fresh_name_oracle.lus:fresh_name_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18343 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18343
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2367,11 +2259,9 @@ 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:ply03.ec:ply03 -rp env:lutin:_ply03_env.lut -rp oracle:v6:_ply03_oracle.lus:ply03_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18362 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18362
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2401,11 +2291,9 @@ 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:param_struct.ec:param_struct -rp env:lutin:_param_struct_env.lut -rp oracle:v6:_param_struct_oracle.lus:param_struct_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18381 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18381
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2435,11 +2323,9 @@ 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:minmax2.ec:minmax2 -rp env:lutin:_minmax2_env.lut -rp oracle:v6:_minmax2_oracle.lus:minmax2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18400 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18400
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2448,7 +2334,6 @@ break signal catched
lurettetop: bye!
+ echo lurettetop ok
lurettetop ok
-+ exit 0
PASS: ../utils/test_lus2lic_no_node should_work/minmax2.lus
spawn ./lus2lic -o /tmp/plus.lic should_work/plus.lus
PASS: ./lus2lic {-o /tmp/plus.lic should_work/plus.lus}
@@ -2469,11 +2354,9 @@ 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:plus.ec:plus -rp env:lutin:_plus_env.lut -rp oracle:v6:_plus_oracle.lus:plus_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18419 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18419
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2503,11 +2386,9 @@ 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:xx.ec:xx -rp env:lutin:_xx_env.lut -rp oracle:v6:_xx_oracle.lus:xx_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18438 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18438
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2516,7 +2397,6 @@ break signal catched
lurettetop: bye!
+ echo lurettetop ok
lurettetop ok
-+ exit 0
PASS: ../utils/test_lus2lic_no_node should_work/xx.lus
spawn ./lus2lic -o /tmp/call07.lic should_work/call07.lus
PASS: ./lus2lic {-o /tmp/call07.lic should_work/call07.lus}
@@ -2537,11 +2417,9 @@ 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:call07.ec:call07 -rp env:lutin:_call07_env.lut -rp oracle:v6:_call07_oracle.lus:call07_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18457 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18457
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2571,11 +2449,9 @@ 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:shift_ludic.ec:shift_ludic -rp env:lutin:_shift_ludic_env.lut -rp oracle:v6:_shift_ludic_oracle.lus:shift_ludic_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18476 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18476
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2620,11 +2496,9 @@ 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:trivial.ec:trivial -rp env:lutin:_trivial_env.lut -rp oracle:v6:_trivial_oracle.lus:trivial_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18511 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18511
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2633,6 +2507,7 @@ break signal catched
lurettetop: bye!
+ echo lurettetop ok
lurettetop ok
++ exit 0
PASS: ../utils/test_lus2lic_no_node should_work/trivial.lus
spawn ./lus2lic -o /tmp/packs.lic should_work/packs.lus
PASS: ./lus2lic {-o /tmp/packs.lic should_work/packs.lus}
@@ -2671,7 +2546,6 @@ 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:sincos.ec:sincos -rp env:lutin:_sincos_env.lut -rp oracle:v6:_sincos_oracle.lus:sincos_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18545 (ecexe) created
RP Variables are compatible.
#ERROR value read. bye!
RifIO.Bye
@@ -2721,11 +2595,9 @@ 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:morel5.ec:morel5 -rp env:lutin:_morel5_env.lut -rp oracle:v6:_morel5_oracle.lus:morel5_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18579 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18579
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2755,11 +2627,9 @@ 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:bred.ec:bred -rp env:lutin:_bred_env.lut -rp oracle:v6:_bred_oracle.lus:bred_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18598 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18598
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2789,11 +2659,9 @@ 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_diese.ec:test_diese -rp env:lutin:_test_diese_env.lut -rp oracle:v6:_test_diese_oracle.lus:test_diese_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18617 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18617
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2802,8 +2670,7 @@ break signal catched
lurettetop: bye!
+ echo lurettetop ok
lurettetop ok
-+ exit 0
-PASS: ../utils/test_lus2lic_no_node should_work/test_diese.lus
++ exitPASS: ../utils/test_lus2lic_no_node should_work/test_diese.lus
spawn ./lus2lic -o /tmp/tri.lic should_work/tri.lus
PASS: ./lus2lic {-o /tmp/tri.lic should_work/tri.lus}
spawn ./lus2lic -ec -o /tmp/tri.ec should_work/tri.lus
@@ -2823,11 +2690,9 @@ 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:tri.ec:tri -rp env:lutin:_tri_env.lut -rp oracle:v6:_tri_oracle.lus:tri_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18638 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18638
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2857,11 +2722,9 @@ 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:calculs_max.ec:calculs_max -rp env:lutin:_calculs_max_env.lut -rp oracle:v6:_calculs_max_oracle.lus:calculs_max_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18657 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18657
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2891,11 +2754,9 @@ 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:testCA.ec:testCA -rp env:lutin:_testCA_env.lut -rp oracle:v6:_testCA_oracle.lus:testCA_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18676 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18676
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2903,6 +2764,8 @@ break signal catched
lurettetop: bye!
+ echo lurettetop ok
+lurettetop ok
++ exit 0
PASS: ../utils/test_lus2lic_no_node should_work/testCA.lus
spawn ./lus2lic -o /tmp/deconne.lic should_work/deconne.lus
PASS: ./lus2lic {-o /tmp/deconne.lic should_work/deconne.lus}
@@ -2930,11 +2793,9 @@ 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:noAlarm.ec:noAlarm -rp env:lutin:_noAlarm_env.lut -rp oracle:v6:_noAlarm_oracle.lus:noAlarm_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18705 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18705
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -2964,7 +2825,6 @@ 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:clock_ite.ec:clock_ite -rp env:lutin:_clock_ite_env.lut -rp oracle:v6:_clock_ite_oracle.lus:clock_ite_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18724 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on a on base\n")
Lurette launched a process that failed (exit 2).
@@ -2994,11 +2854,9 @@ 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:morel4.ec:morel4 -rp env:lutin:_morel4_env.lut -rp oracle:v6:_morel4_oracle.lus:morel4_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18743 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18743
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3028,11 +2886,9 @@ 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:param_node4.ec:param_node4 -rp env:lutin:_param_node4_env.lut -rp oracle:v6:_param_node4_oracle.lus:param_node4_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18762 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18762
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3062,11 +2918,9 @@ 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:bad_call03.ec:bad_call03 -rp env:lutin:_bad_call03_env.lut -rp oracle:v6:_bad_call03_oracle.lus:bad_call03_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18781 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18781
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3096,7 +2950,6 @@ 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
This is Lurette Version 1.54 (1ecf703)
-Process 18800 (ecexe) created
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).
@@ -3127,11 +2980,9 @@ 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:produitBool.ec:produitBool -rp env:lutin:_produitBool_env.lut -rp oracle:v6:_produitBool_oracle.lus:produitBool_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18820 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18820
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3161,11 +3012,9 @@ 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:noeudsIndependants.ec:noeudsIndependants -rp env:lutin:_noeudsIndependants_env.lut -rp oracle:v6:_noeudsIndependants_oracle.lus:noeudsIndependants_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18839 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18839
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3195,11 +3044,9 @@ 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:mouse.ec:mouse -rp env:lutin:_mouse_env.lut -rp oracle:v6:_mouse_oracle.lus:mouse_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18858 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18858
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3229,11 +3076,9 @@ 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:param_node3.ec:param_node3 -rp env:lutin:_param_node3_env.lut -rp oracle:v6:_param_node3_oracle.lus:param_node3_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18877 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18877
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3263,7 +3108,6 @@ 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:pipeline.ec:pipeline -rp env:lutin:_pipeline_env.lut -rp oracle:v6:_pipeline_oracle.lus:pipeline_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18896 (ecexe) created
RP Variables are compatible.
*** The oracle returned false at step 1
@@ -3362,11 +3206,9 @@ 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:mapinf.ec:mapinf -rp env:lutin:_mapinf_env.lut -rp oracle:v6:_mapinf_oracle.lus:mapinf_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18915 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18915
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3396,7 +3238,6 @@ 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:integrator.ec:integrator -rp env:lutin:_integrator_env.lut -rp oracle:v6:_integrator_oracle.lus:integrator_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18934 (ecexe) created
RP Variables are compatible.
*** The oracle returned false at step 1
@@ -3445,11 +3286,9 @@ 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:nc4.ec:nc4 -rp env:lutin:_nc4_env.lut -rp oracle:v6:_nc4_oracle.lus:nc4_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18953 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18953
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3479,11 +3318,9 @@ 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:mm3.ec:mm3 -rp env:lutin:_mm3_env.lut -rp oracle:v6:_mm3_oracle.lus:mm3_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18972 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18972
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3492,8 +3329,7 @@ break signal catched
lurettetop: bye!
+ echo lurettetop ok
lurettetop ok
-+ exit 0
-PASS: ../utils/test_lus2lic_no_node should_work/mm3.lus
++ PASS: ../utils/test_lus2lic_no_node should_work/mm3.lus
spawn ./lus2lic -o /tmp/over2.lic should_work/over2.lus
PASS: ./lus2lic {-o /tmp/over2.lic should_work/over2.lus}
spawn ./lus2lic -ec -o /tmp/over2.ec should_work/over2.lus
@@ -3513,11 +3349,9 @@ 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:over2.ec:over2 -rp env:lutin:_over2_env.lut -rp oracle:v6:_over2_oracle.lus:over2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 18991 (ecexe) created
RP Variables are compatible.
quit
-Killing process 18991
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3547,11 +3381,9 @@ 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:over3.ec:over3 -rp env:lutin:_over3_env.lut -rp oracle:v6:_over3_oracle.lus:over3_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19012 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19012
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3581,7 +3413,6 @@ 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:complex.ec:complex -rp env:lutin:_complex_env.lut -rp oracle:v6:_complex_oracle.lus:complex_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19031 (ecexe) created
Error in lurette: Parsing.Parse_error
Lurette launched a process that failed (exit 2).
@@ -3611,11 +3442,9 @@ 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:initial.ec:initial -rp env:lutin:_initial_env.lut -rp oracle:v6:_initial_oracle.lus:initial_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19050 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19050
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3645,11 +3474,9 @@ 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:declaration.ec:declaration -rp env:lutin:_declaration_env.lut -rp oracle:v6:_declaration_oracle.lus:declaration_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19069 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19069
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3679,7 +3506,6 @@ 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:PCOND1.ec:PCOND1 -rp env:lutin:_PCOND1_env.lut -rp oracle:v6:_PCOND1_oracle.lus:PCOND1_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19088 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on h0 on base\n")
Lurette launched a process that failed (exit 2).
@@ -3709,11 +3535,9 @@ 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:TIME_STABLE1.ec:TIME_STABLE1 -rp env:lutin:_TIME_STABLE1_env.lut -rp oracle:v6:_TIME_STABLE1_oracle.lus:TIME_STABLE1_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19107 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19107
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3743,11 +3567,9 @@ 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:nc5.ec:nc5 -rp env:lutin:_nc5_env.lut -rp oracle:v6:_nc5_oracle.lus:nc5_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19126 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19126
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3784,11 +3606,9 @@ 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:mouse1.ec:mouse1 -rp env:lutin:_mouse1_env.lut -rp oracle:v6:_mouse1_oracle.lus:mouse1_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19155 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19155
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3818,7 +3638,6 @@ 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:lustre_test1_ok.ec:lustre_test1_ok -rp env:lutin:_lustre_test1_ok_env.lut -rp oracle:v6:_lustre_test1_ok_oracle.lus:lustre_test1_ok_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19174 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on cl1_2 on base\n")
Lurette launched a process that failed (exit 2).
@@ -3848,11 +3667,9 @@ 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:compteur.ec:compteur -rp env:lutin:_compteur_env.lut -rp oracle:v6:_compteur_oracle.lus:compteur_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19193 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19193
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3911,11 +3728,9 @@ 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:t2.ec:t2 -rp env:lutin:_t2_env.lut -rp oracle:v6:_t2_oracle.lus:t2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19233 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19233
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3952,11 +3767,9 @@ 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_const.ec:test_const -rp env:lutin:_test_const_env.lut -rp oracle:v6:_test_const_oracle.lus:test_const_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19262 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19262
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -3993,11 +3806,9 @@ 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:carV2.ec:carV2 -rp env:lutin:_carV2_env.lut -rp oracle:v6:_carV2_oracle.lus:carV2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19291 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19291
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4035,11 +3846,9 @@ 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:FillFollowedByRed.ec:FillFollowedByRed -rp env:lutin:_FillFollowedByRed_env.lut -rp oracle:v6:_FillFollowedByRed_oracle.lus:FillFollowedByRed_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19320 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19320
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4069,7 +3878,6 @@ 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:sample_time_change.ec:sample_time_change -rp env:lutin:_sample_time_change_env.lut -rp oracle:v6:_sample_time_change_oracle.lus:sample_time_change_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19339 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on cl1_12_3 on base\n")
Lurette launched a process that failed (exit 2).
@@ -4099,7 +3907,6 @@ 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
This is Lurette Version 1.54 (1ecf703)
-Process 19358 (ecexe) created
Some variables are missing in input of lutin: c:int,c2:int
try with luciole!
File lurette_luciole.c has been created
@@ -4113,8 +3920,6 @@ lurette_luciole.c:17:14: error: duplicate member '_c'
lurette_luciole.c:18:12: error: duplicate member '_c2'
... gcc exited normally.
-luciole: launch simec_trap on lurette.dro
-simec_trap ./lurette_luciole.dro 19357
*** cannot handle couleur type as input of Luciole
File "../obj-linux/lustreRun.ml", line 410, characters 21-27: Assertion failed
Lurette launched a process that failed (exit 2).
@@ -4145,11 +3950,9 @@ 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:predef01.ec:predef01 -rp env:lutin:_predef01_env.lut -rp oracle:v6:_predef01_oracle.lus:predef01_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19380 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19380
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4179,11 +3982,9 @@ 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:long_et_stupide_nom_de_noeud.ec:long_et_stupide_nom_de_noeud -rp env:lutin:_long_et_stupide_nom_de_noeud_env.lut -rp oracle:v6:_long_et_stupide_nom_de_noeud_oracle.lus:long_et_stupide_nom_de_noeud_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19399 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19399
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4213,7 +4014,6 @@ 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:CURRENT.ec:CURRENT -rp env:lutin:_CURRENT_env.lut -rp oracle:v6:_CURRENT_oracle.lus:CURRENT_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19418 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on x on base\n")
Lurette launched a process that failed (exit 2).
@@ -4243,11 +4043,9 @@ 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:left.ec:left -rp env:lutin:_left_env.lut -rp oracle:v6:_left_oracle.lus:left_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19437 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19437
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4277,11 +4075,9 @@ 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:ts04.ec:ts04 -rp env:lutin:_ts04_env.lut -rp oracle:v6:_ts04_oracle.lus:ts04_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19457 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19457
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4321,7 +4117,6 @@ 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:multiclock.ec:multiclock -rp env:lutin:_multiclock_env.lut -rp oracle:v6:_multiclock_oracle.lus:multiclock_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19482 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on c on base\n")
Lurette launched a process that failed (exit 2).
@@ -4351,11 +4146,9 @@ 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:nc2.ec:nc2 -rp env:lutin:_nc2_env.lut -rp oracle:v6:_nc2_oracle.lus:nc2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19501 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19501
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4385,11 +4178,9 @@ 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:morel.ec:morel -rp env:lutin:_morel_env.lut -rp oracle:v6:_morel_oracle.lus:morel_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19520 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19520
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4419,11 +4210,9 @@ 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:SOURIS.ec:SOURIS -rp env:lutin:_SOURIS_env.lut -rp oracle:v6:_SOURIS_oracle.lus:SOURIS_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19539 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19539
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4453,11 +4242,9 @@ 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:param_node2.ec:param_node2 -rp env:lutin:_param_node2_env.lut -rp oracle:v6:_param_node2_oracle.lus:param_node2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19558 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19558
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4487,11 +4274,9 @@ 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:o2l_feux_compl.ec:o2l_feux_compl -rp env:lutin:_o2l_feux_compl_env.lut -rp oracle:v6:_o2l_feux_compl_oracle.lus:o2l_feux_compl_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19577 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19577
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4536,11 +4321,9 @@ 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:matrice.ec:matrice -rp env:lutin:_matrice_env.lut -rp oracle:v6:_matrice_oracle.lus:matrice_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19612 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19612
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4570,11 +4353,9 @@ 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:TIME_STABLE.ec:TIME_STABLE -rp env:lutin:_TIME_STABLE_env.lut -rp oracle:v6:_TIME_STABLE_oracle.lus:TIME_STABLE_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19631 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19631
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4604,11 +4385,9 @@ 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:cpt.ec:cpt -rp env:lutin:_cpt_env.lut -rp oracle:v6:_cpt_oracle.lus:cpt_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19650 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19650
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4638,7 +4417,6 @@ 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:multipar.ec:multipar -rp env:lutin:_multipar_env.lut -rp oracle:v6:_multipar_oracle.lus:multipar_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19669 (ecexe) created
RP Variables are compatible.
Failure occured in lurette: int_of_string
Lurette launched a process that failed (exit 2).
@@ -4669,11 +4447,9 @@ 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:activation_ec.ec:activation_ec -rp env:lutin:_activation_ec_env.lut -rp oracle:v6:_activation_ec_oracle.lus:activation_ec_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19688 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19688
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4682,6 +4458,7 @@ break signal catched
lurettetop: bye!
+ echo lurettetop ok
lurettetop ok
++ exit 0
PASS: ../utils/test_lus2lic_no_node should_work/activation_ec.lus
spawn ./lus2lic -o /tmp/impl_priority.lic should_work/impl_priority.lus
PASS: ./lus2lic {-o /tmp/impl_priority.lic should_work/impl_priority.lus}
@@ -4702,11 +4479,9 @@ 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:impl_priority.ec:impl_priority -rp env:lutin:_impl_priority_env.lut -rp oracle:v6:_impl_priority_oracle.lus:impl_priority_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19707 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19707
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4715,6 +4490,7 @@ break signal catched
lurettetop: bye!
+ echo lurettetop ok
lurettetop ok
++ exit 0
PASS: ../utils/test_lus2lic_no_node should_work/impl_priority.lus
spawn ./lus2lic -o /tmp/exclusion.lic should_work/exclusion.lus
PASS: ./lus2lic {-o /tmp/exclusion.lic should_work/exclusion.lus}
@@ -4735,11 +4511,9 @@ 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:exclusion.ec:exclusion -rp env:lutin:_exclusion_env.lut -rp oracle:v6:_exclusion_oracle.lus:exclusion_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19726 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19726
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4769,11 +4543,9 @@ 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:ply01.ec:ply01 -rp env:lutin:_ply01_env.lut -rp oracle:v6:_ply01_oracle.lus:ply01_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19745 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19745
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4803,11 +4575,9 @@ 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:consensus.ec:consensus -rp env:lutin:_consensus_env.lut -rp oracle:v6:_consensus_oracle.lus:consensus_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19764 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19764
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4856,11 +4626,9 @@ 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:type_decl.ec:type_decl -rp env:lutin:_type_decl_env.lut -rp oracle:v6:_type_decl_oracle.lus:type_decl_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19798 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19798
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -4910,7 +4678,6 @@ 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:pack1.ec:pack1 -rp env:lutin:_pack1_env.lut -rp oracle:v6:_pack1_oracle.lus:pack1_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19832 (ecexe) created
Error in lurette: Parsing.Parse_error
Lurette launched a process that failed (exit 2).
@@ -4940,7 +4707,6 @@ 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:bob.ec:bob -rp env:lutin:_bob_env.lut -rp oracle:v6:_bob_oracle.lus:bob_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19851 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on i on base\n")
Lurette launched a process that failed (exit 2).
@@ -4970,11 +4736,9 @@ 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:notTwo.ec:notTwo -rp env:lutin:_notTwo_env.lut -rp oracle:v6:_notTwo_oracle.lus:notTwo_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19870 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19870
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5004,11 +4768,9 @@ 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:stopwatch.ec:stopwatch -rp env:lutin:_stopwatch_env.lut -rp oracle:v6:_stopwatch_oracle.lus:stopwatch_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19889 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19889
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5038,7 +4800,6 @@ 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_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
This is Lurette Version 1.54 (1ecf703)
-Process 19908 (ecexe) created
RP Variables are compatible.
*** The oracle returned false at step 1
@@ -5095,11 +4856,9 @@ 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:contractForElementSelectionInArray.ec:contractForElementSelectionInArray -rp env:lutin:_contractForElementSelectionInArray_env.lut -rp oracle:v6:_contractForElementSelectionInArray_oracle.lus:contractForElementSelectionInArray_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19927 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19927
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5129,11 +4888,9 @@ 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:iterFibo.ec:iterFibo -rp env:lutin:_iterFibo_env.lut -rp oracle:v6:_iterFibo_oracle.lus:iterFibo_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19946 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19946
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5163,11 +4920,9 @@ 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:morel2.ec:morel2 -rp env:lutin:_morel2_env.lut -rp oracle:v6:_morel2_oracle.lus:morel2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19965 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19965
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5197,11 +4952,9 @@ 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:minmax1.ec:minmax1 -rp env:lutin:_minmax1_env.lut -rp oracle:v6:_minmax1_oracle.lus:minmax1_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 19984 (ecexe) created
RP Variables are compatible.
quit
-Killing process 19984
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5231,11 +4984,9 @@ 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:aa.ec:aa -rp env:lutin:_aa_env.lut -rp oracle:v6:_aa_oracle.lus:aa_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20003 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20003
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5265,11 +5016,9 @@ 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:mouse3.ec:mouse3 -rp env:lutin:_mouse3_env.lut -rp oracle:v6:_mouse3_oracle.lus:mouse3_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20022 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20022
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5299,11 +5048,9 @@ 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:ex.ec:ex -rp env:lutin:_ex_env.lut -rp oracle:v6:_ex_oracle.lus:ex_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20041 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20041
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5333,11 +5080,9 @@ 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:xxx.ec:xxx -rp env:lutin:_xxx_env.lut -rp oracle:v6:_xxx_oracle.lus:xxx_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20060 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20060
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5367,11 +5112,9 @@ 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:moyenne.ec:moyenne -rp env:lutin:_moyenne_env.lut -rp oracle:v6:_moyenne_oracle.lus:moyenne_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20079 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20079
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5420,11 +5163,9 @@ 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:call01.ec:call01 -rp env:lutin:_call01_env.lut -rp oracle:v6:_call01_oracle.lus:call01_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20113 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20113
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5454,11 +5195,9 @@ 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:bug.ec:bug -rp env:lutin:_bug_env.lut -rp oracle:v6:_bug_oracle.lus:bug_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20132 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20132
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5488,7 +5227,6 @@ 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:ck4.ec:ck4 -rp env:lutin:_ck4_env.lut -rp oracle:v6:_ck4_oracle.lus:ck4_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20151 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on b'a0\n")
Lurette launched a process that failed (exit 2).
@@ -5518,11 +5256,9 @@ 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:map_red_iter.ec:map_red_iter -rp env:lutin:_map_red_iter_env.lut -rp oracle:v6:_map_red_iter_oracle.lus:map_red_iter_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20170 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20170
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5570,11 +5306,9 @@ 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:struct0.ec:struct0 -rp env:lutin:_struct0_env.lut -rp oracle:v6:_struct0_oracle.lus:struct0_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20204 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20204
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5604,7 +5338,6 @@ 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:filliter.ec:filliter -rp env:lutin:_filliter_env.lut -rp oracle:v6:_filliter_oracle.lus:filliter_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20223 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on c on base\n")
Lurette launched a process that failed (exit 2).
@@ -5634,11 +5367,9 @@ 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:minmax4.ec:minmax4 -rp env:lutin:_minmax4_env.lut -rp oracle:v6:_minmax4_oracle.lus:minmax4_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20242 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20242
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5668,11 +5399,9 @@ 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:nested.ec:nested -rp env:lutin:_nested_env.lut -rp oracle:v6:_nested_oracle.lus:nested_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20262 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20262
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5702,7 +5431,6 @@ 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:Gyroscope.ec:Gyroscope -rp env:lutin:_Gyroscope_env.lut -rp oracle:v6:_Gyroscope_oracle.lus:Gyroscope_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20288 (ecexe) created
RP Variables are compatible.
#ERROR value read. bye!
RifIO.Bye
@@ -5734,11 +5462,9 @@ 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:followed_by.ec:followed_by -rp env:lutin:_followed_by_env.lut -rp oracle:v6:_followed_by_oracle.lus:followed_by_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20307 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20307
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5788,11 +5514,9 @@ 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:rediter.ec:rediter -rp env:lutin:_rediter_env.lut -rp oracle:v6:_rediter_oracle.lus:rediter_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20341 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20341
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5822,11 +5546,9 @@ 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:mapdeRed.ec:mapdeRed -rp env:lutin:_mapdeRed_env.lut -rp oracle:v6:_mapdeRed_oracle.lus:mapdeRed_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20360 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20360
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5873,11 +5595,9 @@ 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:dependeur_struct.ec:dependeur_struct -rp env:lutin:_dependeur_struct_env.lut -rp oracle:v6:_dependeur_struct_oracle.lus:dependeur_struct_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20394 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20394
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5907,11 +5627,9 @@ 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:minmax4_bis.ec:minmax4_bis -rp env:lutin:_minmax4_bis_env.lut -rp oracle:v6:_minmax4_bis_oracle.lus:minmax4_bis_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20413 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20413
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5941,11 +5659,9 @@ 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_struct.ec:test_struct -rp env:lutin:_test_struct_env.lut -rp oracle:v6:_test_struct_oracle.lus:test_struct_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20432 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20432
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -5975,11 +5691,9 @@ 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:uu.ec:uu -rp env:lutin:_uu_env.lut -rp oracle:v6:_uu_oracle.lus:uu_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20451 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20451
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6009,11 +5723,9 @@ 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:simpleRed.ec:simpleRed -rp env:lutin:_simpleRed_env.lut -rp oracle:v6:_simpleRed_oracle.lus:simpleRed_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20470 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20470
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6043,7 +5755,6 @@ 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:map.ec:map -rp env:lutin:_map_env.lut -rp oracle:v6:_map_oracle.lus:map_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20489 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "*** an integer and a node are expected.\n")
Lurette launched a process that failed (exit 2).
@@ -6073,11 +5784,9 @@ 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:pre_x.ec:pre_x -rp env:lutin:_pre_x_env.lut -rp oracle:v6:_pre_x_oracle.lus:pre_x_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20508 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20508
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6107,11 +5816,9 @@ 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:ts01.ec:ts01 -rp env:lutin:_ts01_env.lut -rp oracle:v6:_ts01_oracle.lus:ts01_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20527 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20527
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6119,6 +5826,8 @@ 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}
@@ -6139,11 +5848,9 @@ 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:_N_uu.ec:_N_uu -rp env:lutin:__N_uu_env.lut -rp oracle:v6:__N_uu_oracle.lus:_N_uu_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20546 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20546
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6173,11 +5880,9 @@ 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:X2.ec:X2 -rp env:lutin:_X2_env.lut -rp oracle:v6:_X2_oracle.lus:X2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20566 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20566
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6207,11 +5912,9 @@ 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:alias.ec:alias -rp env:lutin:_alias_env.lut -rp oracle:v6:_alias_oracle.lus:alias_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20585 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20585
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6241,7 +5944,6 @@ 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:hanane.ec:hanane -rp env:lutin:_hanane_env.lut -rp oracle:v6:_hanane_oracle.lus:hanane_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20604 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on a1 on base\n")
Lurette launched a process that failed (exit 2).
@@ -6299,11 +6001,9 @@ 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:predef02.ec:predef02 -rp env:lutin:_predef02_env.lut -rp oracle:v6:_predef02_oracle.lus:predef02_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20654 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20654
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6333,11 +6033,9 @@ 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:toto.ec:toto -rp env:lutin:_toto_env.lut -rp oracle:v6:_toto_oracle.lus:toto_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20673 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20673
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6367,11 +6065,9 @@ 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:minmax6.ec:minmax6 -rp env:lutin:_minmax6_env.lut -rp oracle:v6:_minmax6_oracle.lus:minmax6_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20692 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20692
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6401,7 +6097,6 @@ 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:ck3.ec:ck3 -rp env:lutin:_ck3_env.lut -rp oracle:v6:_ck3_oracle.lus:ck3_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20711 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on a on base\n")
Lurette launched a process that failed (exit 2).
@@ -6431,11 +6126,9 @@ 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:zzz.ec:zzz -rp env:lutin:_zzz_env.lut -rp oracle:v6:_zzz_oracle.lus:zzz_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20730 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20730
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6465,11 +6158,9 @@ 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:STABLE.ec:STABLE -rp env:lutin:_STABLE_env.lut -rp oracle:v6:_STABLE_oracle.lus:STABLE_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20749 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20749
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6499,11 +6190,9 @@ 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:mapiter.ec:mapiter -rp env:lutin:_mapiter_env.lut -rp oracle:v6:_mapiter_oracle.lus:mapiter_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20768 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20768
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6511,6 +6200,8 @@ break signal catched
lurettetop: bye!
+ echo lurettetop ok
+lurettetop ok
++ exit 0
PASS: ../utils/test_lus2lic_no_node should_work/mapiter.lus
spawn ./lus2lic -o /tmp/tuple.lic should_work/tuple.lus
PASS: ./lus2lic {-o /tmp/tuple.lic should_work/tuple.lus}
@@ -6531,11 +6222,9 @@ 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:tuple.ec:tuple -rp env:lutin:_tuple_env.lut -rp oracle:v6:_tuple_oracle.lus:tuple_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20787 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20787
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6565,11 +6254,9 @@ 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:call02.ec:call02 -rp env:lutin:_call02_env.lut -rp oracle:v6:_call02_oracle.lus:call02_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20806 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20806
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6599,7 +6286,6 @@ 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:ck7.ec:ck7 -rp env:lutin:_ck7_env.lut -rp oracle:v6:_ck7_oracle.lus:ck7_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20825 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on a on base\n")
Lurette launched a process that failed (exit 2).
@@ -6629,11 +6315,9 @@ 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:nc10.ec:nc10 -rp env:lutin:_nc10_env.lut -rp oracle:v6:_nc10_oracle.lus:nc10_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20844 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20844
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6663,11 +6347,9 @@ 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:triSel.ec:triSel -rp env:lutin:_triSel_env.lut -rp oracle:v6:_triSel_oracle.lus:triSel_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20864 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20864
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6697,11 +6379,9 @@ 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:redoptest.ec:redoptest -rp env:lutin:_redoptest_env.lut -rp oracle:v6:_redoptest_oracle.lus:redoptest_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20883 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20883
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6731,11 +6411,9 @@ 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:flo.ec:flo -rp env:lutin:_flo_env.lut -rp oracle:v6:_flo_oracle.lus:flo_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20902 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20902
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6765,18 +6443,19 @@ 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:cond01.ec:cond01 -rp env:lutin:_cond01_env.lut -rp oracle:v6:_cond01_oracle.lus:cond01_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20921 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20921
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
break signal catched
lurettetop: bye!
-+ echo lurettetop okPASS: ../utils/test_lus2lic_no_node should_work/cond01.lus
++ echo lurettetop ok
+lurettetop ok
++ exit 0
+PASS: ../utils/test_lus2lic_no_node should_work/cond01.lus
spawn ./lus2lic -o /tmp/shiftFill_ludic.lic should_work/shiftFill_ludic.lus
PASS: ./lus2lic {-o /tmp/shiftFill_ludic.lic should_work/shiftFill_ludic.lus}
spawn ./lus2lic -ec -o /tmp/shiftFill_ludic.ec should_work/shiftFill_ludic.lus
@@ -6796,11 +6475,9 @@ 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:shiftFill_ludic.ec:shiftFill_ludic -rp env:lutin:_shiftFill_ludic_env.lut -rp oracle:v6:_shiftFill_ludic_oracle.lus:shiftFill_ludic_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20940 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20940
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6830,11 +6507,9 @@ 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:after.ec:after -rp env:lutin:_after_env.lut -rp oracle:v6:_after_oracle.lus:after_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20959 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20959
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6864,11 +6539,9 @@ 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:arrays.ec:arrays -rp env:lutin:_arrays_env.lut -rp oracle:v6:_arrays_oracle.lus:arrays_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20978 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20978
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6898,11 +6571,9 @@ 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:nc3.ec:nc3 -rp env:lutin:_nc3_env.lut -rp oracle:v6:_nc3_oracle.lus:nc3_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 20997 (ecexe) created
RP Variables are compatible.
quit
-Killing process 20997
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6948,11 +6619,9 @@ 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:iterate.ec:iterate -rp env:lutin:_iterate_env.lut -rp oracle:v6:_iterate_oracle.lus:iterate_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21031 (ecexe) created
RP Variables are compatible.
quit
-Killing process 21031
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -6982,11 +6651,9 @@ 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:overload.ec:overload -rp env:lutin:_overload_env.lut -rp oracle:v6:_overload_oracle.lus:overload_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21050 (ecexe) created
RP Variables are compatible.
quit
-Killing process 21050
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -7016,7 +6683,6 @@ 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:PCOND.ec:PCOND -rp env:lutin:_PCOND_env.lut -rp oracle:v6:_PCOND_oracle.lus:PCOND_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21069 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on h0 on base\n")
Lurette launched a process that failed (exit 2).
@@ -7046,11 +6712,9 @@ 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:EDGE.ec:EDGE -rp env:lutin:_EDGE_env.lut -rp oracle:v6:_EDGE_oracle.lus:EDGE_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21088 (ecexe) created
RP Variables are compatible.
quit
-Killing process 21088
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -7080,11 +6744,9 @@ 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:call03.ec:call03 -rp env:lutin:_call03_env.lut -rp oracle:v6:_call03_oracle.lus:call03_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21107 (ecexe) created
RP Variables are compatible.
quit
-Killing process 21107
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -7114,11 +6776,9 @@ 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:count.ec:count -rp env:lutin:_count_env.lut -rp oracle:v6:_count_oracle.lus:count_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21126 (ecexe) created
RP Variables are compatible.
quit
-Killing process 21126
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -7148,7 +6808,6 @@ 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:ck2.ec:ck2 -rp env:lutin:_ck2_env.lut -rp oracle:v6:_ck2_oracle.lus:ck2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21145 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on c on base\n")
Lurette launched a process that failed (exit 2).
@@ -7178,7 +6837,6 @@ 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:X.ec:X -rp env:lutin:_X_env.lut -rp oracle:v6:_X_oracle.lus:X_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21164 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on c on base\n")
Lurette launched a process that failed (exit 2).
@@ -7224,11 +6882,9 @@ 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:poussoir.ec:poussoir -rp env:lutin:_poussoir_env.lut -rp oracle:v6:_poussoir_oracle.lus:poussoir_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21198 (ecexe) created
RP Variables are compatible.
quit
-Killing process 21198
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -7236,6 +6892,8 @@ break signal catched
lurettetop: bye!
+ echo lurettetop ok
+lurettetop ok
++ exit 0
PASS: ../utils/test_lus2lic_no_node should_work/poussoir.lus
spawn ./lus2lic -o /tmp/SWITCH1.lic should_work/SWITCH1.lus
PASS: ./lus2lic {-o /tmp/SWITCH1.lic should_work/SWITCH1.lus}
@@ -7256,11 +6914,9 @@ 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:SWITCH1.ec:SWITCH1 -rp env:lutin:_SWITCH1_env.lut -rp oracle:v6:_SWITCH1_oracle.lus:SWITCH1_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21217 (ecexe) created
RP Variables are compatible.
quit
-Killing process 21217
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -7269,6 +6925,7 @@ break signal catched
lurettetop: bye!
+ echo lurettetop ok
lurettetop ok
++ exit 0
PASS: ../utils/test_lus2lic_no_node should_work/SWITCH1.lus
spawn ./lus2lic -o /tmp/clock1_2ms.lic should_work/clock1_2ms.lus
PASS: ./lus2lic {-o /tmp/clock1_2ms.lic should_work/clock1_2ms.lus}
@@ -7289,7 +6946,6 @@ 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:clock1_2ms.ec:clock1_2ms -rp env:lutin:_clock1_2ms_env.lut -rp oracle:v6:_clock1_2ms_oracle.lus:clock1_2ms_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21236 (ecexe) created
Error in lurette: Lv6errors.Compile_error(_, "\n*** clock error: The two following clocks are not compatible:\n***\t on base\n***\t on Clock1ms on base\n")
Lurette launched a process that failed (exit 2).
@@ -7339,11 +6995,9 @@ 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:bred_lv4.ec:bred_lv4 -rp env:lutin:_bred_lv4_env.lut -rp oracle:v6:_bred_lv4_oracle.lus:bred_lv4_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21270 (ecexe) created
RP Variables are compatible.
quit
-Killing process 21270
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -7373,11 +7027,9 @@ 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:trivial2.ec:trivial2 -rp env:lutin:_trivial2_env.lut -rp oracle:v6:_trivial2_oracle.lus:trivial2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21289 (ecexe) created
RP Variables are compatible.
quit
-Killing process 21289
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -7386,7 +7038,6 @@ break signal catched
lurettetop: bye!
+ echo lurettetop ok
lurettetop ok
-+ exit 0
PASS: ../utils/test_lus2lic_no_node should_work/trivial2.lus
spawn ./lus2lic -o /tmp/param_node.lic should_work/param_node.lus
PASS: ./lus2lic {-o /tmp/param_node.lic should_work/param_node.lus}
@@ -7407,11 +7058,9 @@ 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:param_node.ec:param_node -rp env:lutin:_param_node_env.lut -rp oracle:v6:_param_node_oracle.lus:param_node_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21308 (ecexe) created
RP Variables are compatible.
quit
-Killing process 21308
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -7460,11 +7109,9 @@ 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:func_with_body.ec:func_with_body -rp env:lutin:_func_with_body_env.lut -rp oracle:v6:_func_with_body_oracle.lus:func_with_body_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21342 (ecexe) created
RP Variables are compatible.
quit
-Killing process 21342
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -7472,7 +7119,9 @@ break signal catched
lurettetop: bye!
+ echo lurettetop ok
-lurettetop okPASS: ../utils/test_lus2lic_no_node should_work/func_with_body.lus
+lurettetop ok
++ exit 0
+PASS: ../utils/test_lus2lic_no_node should_work/func_with_body.lus
spawn ./lus2lic -o /tmp/minus.lic should_work/minus.lus
PASS: ./lus2lic {-o /tmp/minus.lic should_work/minus.lus}
spawn ./lus2lic -ec -o /tmp/minus.ec should_work/minus.lus
@@ -7492,11 +7141,9 @@ 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:minus.ec:minus -rp env:lutin:_minus_env.lut -rp oracle:v6:_minus_oracle.lus:minus_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21361 (ecexe) created
RP Variables are compatible.
quit
-Killing process 21361
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -7678,7 +7325,6 @@ 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
This is Lurette Version 1.54 (1ecf703)
-Process 21460 (ecexe) created
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")
Lurette launched a process that failed (exit 2).
@@ -7702,11 +7348,9 @@ 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:const2.ec:const2 -rp env:lutin:_const2_env.lut -rp oracle:v6:_const2_oracle.lus:const2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21469 (ecexe) created
RP Variables are compatible.
quit
-Killing process 21469
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -7743,11 +7387,9 @@ 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:parametric_node2.ec:parametric_node2 -rp env:lutin:_parametric_node2_env.lut -rp oracle:v6:_parametric_node2_oracle.lus:parametric_node2_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21484 (ecexe) created
RP Variables are compatible.
quit
-Killing process 21484
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -7847,7 +7489,6 @@ 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:aux.ec:aux -rp env:lutin:_aux_env.lut -rp oracle:v6:_aux_oracle.lus:aux_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21528 (ecexe) created
RP Variables are compatible.
#ERROR value read. bye!
RifIO.Bye
@@ -7884,11 +7525,9 @@ 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:const3.ec:const3 -rp env:lutin:_const3_env.lut -rp oracle:v6:_const3_oracle.lus:const3_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21542 (ecexe) created
RP Variables are compatible.
quit
-Killing process 21542
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -7921,7 +7560,6 @@ 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
This is Lurette Version 1.54 (1ecf703)
-Process 21556 (ecexe) created
RP Variables are compatible.
#ERROR value read. bye!
RifIO.Bye
@@ -7989,11 +7627,9 @@ 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:x.ec:x -rp env:lutin:_x_env.lut -rp oracle:v6:_x_oracle.lus:x_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21585 (ecexe) created
RP Variables are compatible.
quit
-Killing process 21585
The coverage rate is 100.0%
The coverage file lurette.cov has been updated/generated
@@ -8017,7 +7653,6 @@ 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:aux1.ec:aux1 -rp env:lutin:_aux1_env.lut -rp oracle:v6:_aux1_oracle.lus:aux1_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21594 (ecexe) created
RP Variables are compatible.
#ERROR value read. bye!
RifIO.Bye
@@ -8105,7 +7740,6 @@ 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:X3.ec:X3 -rp env:lutin:_X3_env.lut -rp oracle:v6:_X3_oracle.lus:X3_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21633 (ecexe) created
RP Variables are compatible.
#ERROR value read. bye!
RifIO.Bye
@@ -8131,7 +7765,6 @@ 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:assertion.ec:assertion -rp env:lutin:_assertion_env.lut -rp oracle:v6:_assertion_oracle.lus:assertion_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21642 (ecexe) created
RP Variables are compatible.
#ERROR value read. bye!
RifIO.Bye
@@ -8157,7 +7790,6 @@ 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:alarme.ec:alarme -rp env:lutin:_alarme_env.lut -rp oracle:v6:_alarme_oracle.lus:alarme_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21651 (ecexe) created
RP Variables are compatible.
#ERROR value read. bye!
RifIO.Bye
@@ -8183,7 +7815,6 @@ 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:lecteur.ec:lecteur -rp env:lutin:_lecteur_env.lut -rp oracle:v6:_lecteur_oracle.lus:lecteur_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21660 (ecexe) created
RP Variables are compatible.
#ERROR value read. bye!
RifIO.Bye
@@ -8209,7 +7840,6 @@ 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:drapfab.ec:drapfab -rp env:lutin:_drapfab_env.lut -rp oracle:v6:_drapfab_oracle.lus:drapfab_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21669 (ecexe) created
RP Variables are compatible.
#ERROR value read. bye!
RifIO.Bye
@@ -8235,7 +7865,6 @@ 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:s.ec:s -rp env:lutin:_s_env.lut -rp oracle:v6:_s_oracle.lus:s_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21678 (ecexe) created
RP Variables are compatible.
#ERROR value read. bye!
RifIO.Bye
@@ -8261,7 +7890,6 @@ 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:eq1.ec:eq1 -rp env:lutin:_eq1_env.lut -rp oracle:v6:_eq1_oracle.lus:eq1_oracle -go -l 10 -ns2c --stop-on-oracle-error
This is Lurette Version 1.54 (1ecf703)
-Process 21687 (ecexe) created
RP Variables are compatible.
#ERROR value read. bye!
RifIO.Bye
@@ -8274,7 +7902,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 97 seconds
+testcase ./lus2lic.tests/non-reg.exp completed in 99 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}
@@ -8319,4 +7947,4 @@ testcase ./lus2lic.tests/progression.exp completed in 0 seconds
# of unexpected failures 76
# of unexpected successes 21
# of expected failures 37
-runtest completed at Fri Nov 29 17:07:19 2013
+runtest completed at Wed Dec 4 16:44:50 2013
diff --git a/test/lus2lic.sum b/test/lus2lic.sum
index 60d567fb..96f12c56 100644
--- a/test/lus2lic.sum
+++ b/test/lus2lic.sum
@@ -1,4 +1,4 @@
-Test Run By jahier on Wed Dec 4 16:14:11 2013
+Test Run By jahier on Wed Dec 4 16:43:11 2013
Native configuration is i686-pc-linux-gnu
=== lus2lic tests ===
@@ -1028,5 +1028,5 @@ XPASS: Test bad programs (semantics): lus2lic {-o /tmp/bug.lic should_fail/seman
# of unexpected failures 76
# of unexpected successes 21
# of expected failures 37
-testcase ./lus2lic.tests/non-reg.exp completed in 97 seconds
-testcase ./lus2lic.tests/progression.exp completed in 1 seconds
+testcase ./lus2lic.tests/non-reg.exp completed in 99 seconds
+testcase ./lus2lic.tests/progression.exp completed in 0 seconds
diff --git a/test/lus2lic.time b/test/lus2lic.time
index 8990a3e5..914fd56d 100644
--- a/test/lus2lic.time
+++ b/test/lus2lic.time
@@ -1,2 +1,2 @@
-testcase ./lus2lic.tests/non-reg.exp completed in 97 seconds
-testcase ./lus2lic.tests/progression.exp completed in 1 seconds
+testcase ./lus2lic.tests/non-reg.exp completed in 99 seconds
+testcase ./lus2lic.tests/progression.exp completed in 0 seconds
--
GitLab