Commit 06abf72c authored by Erwan Jahier's avatar Erwan Jahier

lurette 1.17 Thu, 08 Jan 2004 09:06:39 +0100 by jahier

Parent-Version:      1.16
Version-Log:

source/env_state.ml
   Fix several bugs in the way automata run in parallel were handled.
   (actually, i knew that this feature was broken).

   Also add support to handle cases where the same variable has
   several min (take the max), max (take the  min), alias, default,
   init (abort) option values.
   I am not sure if i should authorize that for min and max though.

Project-Description: Lurette
parent 6e015db3
......@@ -66,7 +66,7 @@
(polka/caml/polka_caml.c 8119 1071844798 d/37_polka_caml 1.2)
(source/gen_stubs_poc.mli 636 1055926783 f/4_gen_stubs_ 1.1)
(test/losange-3d.luc 514 1063786164 d/28_losange-3d 1.4)
(test/time-moucherotte.res 6283 1073401581 e/38_time-mouch 1.16)
(test/time-moucherotte.res 6291 1073549199 e/38_time-mouch 1.17)
(polka/caml/poly.idl 10088 1071844798 d/33_poly.idl 1.2)
(test/tram/controleur_env.luc 433 1073401581 h/6_controleur 1.1)
(polka/documentation/texinfo.tex 200195 1047029868 e/16_texinfo.te 1.1)
......@@ -74,7 +74,7 @@
(mlcuddidl/mtbdd.ml 10185 1034006019 c/44_mtbdd.ml 1.1)
(source/draw.ml 2942 1069150632 f/2_draw.ml 1.3)
(source/prevar.ml 3085 1071844798 d/18_prevar.ml 1.5)
(source/var.mli 3655 1071844798 g/50_var.mli 1.4)
(source/var.mli 3680 1073549199 g/50_var.mli 1.5)
(mlcuddidl/idd.ml 7061 1034006019 d/0_idd.ml 1.1)
(test/cygwin-scade/C_SQRT.saofd 214 1055926783 g/1_C_SQRT.sao 1.1)
(test/giro/onlyroll.lus 18298 1031732392 c/7_onlyroll.l 1.1)
......@@ -95,7 +95,7 @@
(test/cygwin-scade/lib_pilot.err 119 1055926783 f/49_lib_pilot. 1.1)
(test/losange.luc 410 1046768487 d/27_losange.lu 1.2)
(test/gyro.rif.exp 10955 1073321175 e/36_gyro.rif.e 1.8)
(test/time-ecrins.exp 9346 1073401581 d/21_time-ecrin 1.37)
(test/time-ecrins.exp 9316 1073549199 d/21_time-ecrin 1.38)
(source/value.ml 2534 1071235286 c/23_value.ml 1.7)
(source/gne.ml 3467 1063029729 b/37_gne.ml 1.6)
(test/cygwin-scade/Pilot.vsp 2075 1055926783 f/40_Pilot.vsp 1.1)
......@@ -115,7 +115,7 @@
(test/cygwin-scade/Pilot.vsw 431 1055926783 f/39_Pilot.vsw 1.1)
(share/pixmaps/open_plus.xpm 787 1055926783 f/16_open_plus. 1.1)
(share/xlurettetop.bat.in 613 1063786164 g/19_xluretteto 1.1)
(source/env_state.ml 12642 1071844798 51_env_state. 1.53)
(source/env_state.ml 16160 1073549199 51_env_state. 1.54)
(test/test8.rif.exp 341 1073401581 g/18_test8.rif. 1.3)
(polka/caml/matrix.idl 6152 1071844798 d/34_matrix.idl 1.3)
(source/fair_bddd.mli 2482 1069833150 g/39_fair_bddd. 1.5)
......@@ -159,7 +159,7 @@
(share/pixmaps/save.xpm 867 1055926783 f/12_save.xpm 1.1)
(source/solver.mli 1793 1071844798 38_solver.mli 1.23)
(test/passerelle.luc 963 1063786164 b/17_passerelle 1.12)
(source/store.ml 34781 1073321175 b/27_rnumsolver 1.34)
(source/store.ml 35490 1073549199 b/27_rnumsolver 1.35)
(mlcuddidl/mtbdd.mli 4395 1034006019 c/43_mtbdd.mli 1.1)
(test/sparc-scade/exo1.vsp 2089 1055487917 e/49_exo1.vsp 1.1)
(polka/C/satmat.h 1254 1047029868 d/48_satmat.h 1.1)
......@@ -175,7 +175,7 @@
(source/lucky.ml 8974 1073401581 16_env.ml 1.40)
(source/graph.mli 2370 1071844798 13_graph.mli 1.13)
(source/store.mli 3823 1071844798 b/26_rnumsolver 1.25)
(test/time-ossau.res 9308 1073401581 b/49_time.res 1.59)
(test/time-ossau.res 9308 1073549199 b/49_time.res 1.60)
(test/sparc-scade/libmath.saofdm 1378 1055487917 e/45_libmath.sa 1.1)
(Makefile 68 1051024737 d/13_Makefile 1.4)
(share/Makefile.test.in 3891 1073401581 c/25_user-rules 1.12)
......@@ -186,7 +186,7 @@
(cuddaux/Makefile 3326 1070981068 c/35_Makefile 1.8)
(polka/C/bit.c 3301 1071844798 e/10_bit.c 1.2)
(source/draw.mli 452 1065787303 f/1_draw.mli 1.2)
(test/time-ossau.exp 9336 1071235286 b/48_time.exp 1.55)
(test/time-ossau.exp 9308 1073549199 b/48_time.exp 1.56)
(polka/caml/polkaIO.ml 1651 1071844798 d/44_polkaIO.ml 1.2)
(mlcuddidl/macros.m4 11392 1071844798 c/49_macros.m4 1.2)
(source/print.ml 5904 1069150632 47_print.ml 1.25)
......@@ -218,7 +218,7 @@
(test/cygwin-scade/MyConsts.saofd 153 1055926783 f/44_MyConsts.s 1.1)
(test/losange-3d2.luc 371 1066840252 e/32_losange-3d 1.5)
(test/Makefile 2729 1064411282 c/0_Makefile 1.14)
(user-rules 36419 1073401581 c/14_myrules 1.51)
(user-rules 36434 1073549199 c/14_myrules 1.52)
(test/infinite_weight.luc 889 1063786164 g/13_infinite_w 1.1)
(mlcuddidl/cudd_caml.c 23483 1071844798 d/3_cudd_caml. 1.2)
(polka/C/config.h 78 1071844798 e/13_config.h 1.2)
......@@ -235,7 +235,7 @@
(doc/Interface_draft 5232 1003928781 19_Interface_ 1.1)
(source/lustreExp.mli 1903 1071235286 g/46_lustreExp. 1.2)
(polka/sedscript 261 1047029868 d/31_sedscript 1.1)
(source/parse_luc.ml 38474 1071235286 41_parse_env. 1.51)
(source/parse_luc.ml 36857 1073549199 41_parse_env. 1.52)
(OcamlMakefile 21310 1055487917 17_OcamlMakef 1.51)
(polka/caml/polka.ml 5602 1071844798 d/39_polka.ml 1.2)
(source/lurette.mli 756 1071844798 11_lurette.ml 1.16)
......@@ -280,12 +280,12 @@
(polka/C/polka.h 1791 1071844798 d/50_polka.h 1.2)
(share/pixmaps/ediff-quit.xpm 494 1055926783 f/20_ediff-quit 1.1)
(test/cygwin-scade/Pilot.saofd 3645 1055926783 f/42_Pilot.saof 1.1)
(test/time-moucherotte.exp 6283 1073321175 e/37_time-mouch 1.15)
(test/time-moucherotte.exp 6283 1073549199 e/37_time-mouch 1.16)
(source/command_line_luc_exe.ml 3804 1069833150 b/33_command_li 1.21)
(source/lurette_exe.c 220 1050421093 e/27_lurette_ex 1.2)
(share/pixmaps/close.xpm 803 1055926783 f/21_close.xpm 1.1)
(test/time-CHAILLOL.res 8235 1063029729 g/11_time-CHAIL 1.1)
(test/time-ecrins.res 9316 1073401581 d/20_time-ecrin 1.38)
(test/time-ecrins.res 9316 1073549199 d/20_time-ecrin 1.39)
(source/value.mli 1181 1071235286 c/24_value.mli 1.6)
(polka/Makefile.config 1803 1071844798 e/20_Makefile.c 1.6)
(test/vrai_tram.lus 564 1027066799 b/6_vrai_tram. 1.2)
......@@ -299,7 +299,7 @@
(source/sim2chro.ml 3167 1069833150 b/24_sim2chro.m 1.23)
(source/poly_draw.ml 22013 1071235286 g/43_polyDraw.m 1.3)
(cuddaux/cuddauxTDGenCof.c 15712 1034006019 c/26_cuddauxTDG 1.1)
(source/luc_exe.ml 14019 1073401581 b/32_ima_exe.ml 1.43)
(source/luc_exe.ml 14018 1073549199 b/32_ima_exe.ml 1.44)
(source/gne.mli 1853 1063029729 b/36_gne.mli 1.6)
(test/cygwin-scade/Direction_D1.saofd 1298 1055926783 f/50_Direction_ 1.1)
(source/lurette.ml 18871 1073401581 12_lurette.ml 1.84)
......@@ -317,7 +317,7 @@
(polka/Makefile 1636 1047029868 e/21_Makefile 1.1)
(test/dynamic_weight.luc 563 1063786164 g/14_dynamic_we 1.1)
(test/poly-int/poly.luc 337 1073401581 h/8_poly.luc 1.1)
(source/var.ml 5676 1071844798 g/49_var.ml 1.4)
(source/var.ml 6160 1073549199 g/49_var.ml 1.5)
(test/porte.luc 1014 1063786164 b/16_porte.env 1.12)
(source/gen_stubs_common.mli 1772 1055487917 e/40_gen_stubs_ 1.1)
(test/cygwin-scade/scade.rif.exp 1380 1063029729 g/7_scade.rif. 1.2)
......
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
(Project-Description "Lurette")
(Project-Version lurette 1 16)
(Parent-Version lurette 1 15)
(Project-Version lurette 1 17)
(Parent-Version lurette 1 16)
(Version-Log "
source/lucky.ml:
Fix a bug (revealed by Claude) that was appering
when several automata were run in parallel: the symptom
was that several values were generated for some outputs.
The bug was due to the fact that the order of the list
of paths (used to, among other things, to retreive the
current node) was wrong: the consequence was that the automata
order was different from the one of expected variables,
hence it was also generated values for those extra variables
for automata where it was not necessary.
source/lurette.ml:
launch the oracle checking for the outputs of the step also...
test/*:
Add non reg test for that bug and the previous one.
source/luc_exe.ml:
input and output rif declaration where intertwined.
source/env_state.ml
Fix several bugs in the way automata run in parallel were handled.
(actually, i knew that this feature was broken).
Also add support to handle cases where the same variable has
several min (take the max), max (take the min), alias, default,
init (abort) option values.
I am not sure if i should authorize that for min and max though.
")
(New-Version-Log ""
)
(Checkin-Time "Tue, 06 Jan 2004 16:06:21 +0100")
(Checkin-Time "Thu, 08 Jan 2004 09:06:39 +0100")
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
......@@ -38,7 +30,7 @@ source/luc_exe.ml:
;; Sources files for luc_exe
(source/luc_exe.mli (lurette/b/31_ima_exe.ml 1.3 644))
(source/luc_exe.ml (lurette/b/32_ima_exe.ml 1.43 644))
(source/luc_exe.ml (lurette/b/32_ima_exe.ml 1.44 644))
(source/command_line_luc_exe.ml (lurette/b/33_command_li 1.21 644))
(source/command_line_luc_exe.mli (lurette/b/34_command_li 1.14 644))
......@@ -74,10 +66,10 @@ source/luc_exe.ml:
(source/polyhedron.mli (lurette/d/26_polyhedron 1.8 644))
(source/store.mli (lurette/b/26_rnumsolver 1.25 644))
(source/store.ml (lurette/b/27_rnumsolver 1.34 644))
(source/store.ml (lurette/b/27_rnumsolver 1.35 644))
(source/parse_luc.mli (lurette/40_parse_env. 1.19 644))
(source/parse_luc.ml (lurette/41_parse_env. 1.51 644))
(source/parse_luc.ml (lurette/41_parse_env. 1.52 644))
(source/show_env.mli (lurette/42_show_env.m 1.11 644))
(source/show_env.ml (lurette/43_show_env.m 1.20 644))
......@@ -86,7 +78,7 @@ source/luc_exe.ml:
(source/print.ml (lurette/47_print.ml 1.25 644))
(source/env_state.mli (lurette/50_env_state. 1.39 644))
(source/env_state.ml (lurette/51_env_state. 1.53 644))
(source/env_state.ml (lurette/51_env_state. 1.54 644))
(source/run_aut.mli (lurette/b/46_automata.m 1.11 644))
(source/run_aut.ml (lurette/b/47_automata.m 1.21 644))
......@@ -162,7 +154,7 @@ source/luc_exe.ml:
(Makefile.common.source (lurette/e/33_Makefile.c 1.10 644))
(OcamlMakefile (lurette/17_OcamlMakef 1.51 644))
(share/Makefile.lurette.in (lurette/b/38_Makefile.l 1.29 644))
(user-rules (lurette/c/14_myrules 1.51 644))
(user-rules (lurette/c/14_myrules 1.52 644))
(share/Makefile.test.in (lurette/c/25_user-rules 1.12 644))
(Makefile (lurette/d/13_Makefile 1.4 644))
......@@ -194,12 +186,12 @@ source/luc_exe.ml:
(share/gnuplot-rif (lurette/e/34_gnuplot-ri 1.5 744))
(share/plot (lurette/e/35_plot 1.6 744))
(test/time-ossau.exp (lurette/b/48_time.exp 1.55 644))
(test/time-ossau.res (lurette/b/49_time.res 1.59 644))
(test/time-ecrins.res (lurette/d/20_time-ecrin 1.38 644))
(test/time-ecrins.exp (lurette/d/21_time-ecrin 1.37 644))
(test/time-moucherotte.exp (lurette/e/37_time-mouch 1.15 644))
(test/time-moucherotte.res (lurette/e/38_time-mouch 1.16 644))
(test/time-ossau.exp (lurette/b/48_time.exp 1.56 644))
(test/time-ossau.res (lurette/b/49_time.res 1.60 644))
(test/time-ecrins.res (lurette/d/20_time-ecrin 1.39 644))
(test/time-ecrins.exp (lurette/d/21_time-ecrin 1.38 644))
(test/time-moucherotte.exp (lurette/e/37_time-mouch 1.16 644))
(test/time-moucherotte.res (lurette/e/38_time-mouch 1.17 644))
;; Various files used for testing purposes
(test/cudd_gc_problem.luc (lurette/e/29_cudd_gc_pr 1.2 644))
......@@ -486,12 +478,12 @@ source/luc_exe.ml:
;; Files added by populate at Fri, 14 Nov 2003 14:32:53 +0100,
;; to version 1.8(w), by jahier:
(source/var.ml (lurette/g/49_var.ml 1.4 644))
(source/var.ml (lurette/g/49_var.ml 1.5 644))
;; Files added by populate at Fri, 14 Nov 2003 14:32:55 +0100,
;; to version 1.8(w), by jahier:
(source/var.mli (lurette/g/50_var.mli 1.4 644))
(source/var.mli (lurette/g/50_var.mli 1.5 644))
;; Files added by populate at Wed, 26 Nov 2003 08:47:27 +0100,
;; to version 1.10(w), by jahier:
......
This diff is collapsed.
......@@ -357,7 +357,6 @@ and
let env_list = (get_env_from_args 1 []) in
let automata_l = map (Parse_luc.parse_automata) env_list in
let state0 = Env_state.read_env_state automata_l in
let init_state_dyn =
{
memory = state0.d.memory;
......
......@@ -73,13 +73,6 @@ type automata = {
(* Keywords of the automata format *)
let lexer = make_lexer ["="; "["; "]";"("; ")";"{";"}"; ","; ";"; ".";":";"~";"%"]
......@@ -87,25 +80,6 @@ type aut_token = token Stream.t
(*
XXX ougth to be modifiable from the outside.
nb : if those values are too big, sim2chro crashes ....
*)
let default_min_float = -10000.
let default_max_float = 10000.
let default_max_int = 10000
let default_min_int = -10000
(*
XXX What should be the default values ???
Too big values migth break other tools (e.g., sim2chro...)
*)
(* let default_max_float = *)
(* (float_of_int max_int) /. 2.**(float_of_int (!Util.precision + 1)) *)
(* let default_max_int = max_int/10 *)
(* let default_min_int = min_int/10 *)
(*******************************************************************************)
(* Printing error mgs *)
......@@ -496,8 +470,8 @@ and
and (fill_var_options : Exp.var -> Exp.var list -> Exp.var list) =
fun var_origin varl ->
(*
if var_origin is a strutured type, then look at its field
(init, alias, min, etc.)to fill the fields of the (basic)
If var_origin is a strutured type, then look at its field
(init, alias, min, etc.) to fill the fields of the (basic)
variables contained in varl (which result from the flatenning
of var_origin).
*)
......@@ -536,7 +510,7 @@ and (fill_var_options : Exp.var -> Exp.var list -> Exp.var list) =
and init_list = flatten_value (Var.init var_origin)
in
Util.list_map6
(fun var min max alias default init ->
(fun var min max alias default init ->
let var1 = if min = None then var else Var.set_min var min in
let var2 = if max = None then var1 else Var.set_max var1 max in
let var3 = if alias = None then var2 else Var.set_alias var2 alias in
......@@ -544,10 +518,10 @@ and (fill_var_options : Exp.var -> Exp.var list -> Exp.var list) =
if init = None then var4 else Var.set_init var4 init
)
varl min_list max_list alias_list default_list init_list
and (flatten_user_type2 : Exp.var -> Exp.var list * LustreExp.vut list) =
fun var ->
fun var ->
match Var.typ var with
| BoolT -> [var] , []
| IntT -> [var] , []
......@@ -563,35 +537,7 @@ and (flatten_user_type2 : Exp.var -> Exp.var list * LustreExp.vut list) =
t
(Var.mode var)
in
let var2 =
Var.set_min var1
(
if
(Var.min var) = None
then
match t with
IntT -> Some (Numer (Ival default_min_int))
| FloatT -> Some (Numer (Fval default_min_float))
| _ -> None
else
(Var.min var)
)
in
let var3 =
Var.set_max var2
(
if
(Var.max var) = None
then
match t with
IntT -> Some (Numer (Ival default_max_int))
| FloatT -> Some (Numer (Fval default_max_float))
| _ -> None
else
(Var.max var)
)
in
var3::(make_n_array (n-1) t)
var1::(make_n_array (n-1) t)
in
let nvar_l = List.rev (make_n_array n t) in
let (nvar_l2, nvut_l2) = flatten_user_type_list2 nvar_l in
......@@ -601,35 +547,7 @@ and (flatten_user_type2 : Exp.var -> Exp.var list * LustreExp.vut list) =
let (make_one_field : string * Var.typ -> var) =
fun (fn, ft) ->
let var1 = Var.make ((Var.name var) ^ "." ^ fn) ft (Var.mode var) in
let var2 =
Var.set_min var1
(
if
(Var.min var) = None
then
match ft with
IntT -> Some (Numer (Ival default_min_int))
| FloatT -> Some (Numer (Fval default_min_float))
| _ -> None
else
(Var.min var)
)
in
let var3 =
Var.set_max var2
(
if
(Var.max var) = None
then
match ft with
IntT -> Some (Numer (Ival default_max_int))
| FloatT -> Some (Numer (Fval default_max_float))
| _ -> None
else
(Var.max var)
)
in
var3
var1
in
let nvar_l = List.map (make_one_field) fl in
......@@ -797,11 +715,11 @@ and (var_options_to_var : in_channel -> typedef list -> string -> Var.typ ->
else
reject_unsupported_exp ic exp vt
with
Not_found ->
match vt with
IntT -> Some (Numer(Ival (default_min_int)))
| FloatT -> Some (Numer(Fval (default_min_float)))
| _ -> None
Not_found -> None
(* match vt with *)
(* IntT -> Some (Numer(Ival (default_min_int))) *)
(* | FloatT -> Some (Numer(Fval (default_min_float))) *)
(* | _ -> None *)
in
let max =
try
......@@ -825,11 +743,11 @@ and (var_options_to_var : in_channel -> typedef list -> string -> Var.typ ->
else
reject_unsupported_exp ic exp vt
with
Not_found ->
match vt with
IntT -> Some (Numer (Ival default_max_int))
| FloatT -> Some (Numer(Fval default_max_float))
| _ -> None (* no max *)
Not_found -> None
(* match vt with *)
(* IntT -> Some (Numer (Ival default_max_int)) *)
(* | FloatT -> Some (Numer(Fval default_max_float)) *)
(* | _ -> None (* no max *) *)
in
let default =
try
......
......@@ -104,6 +104,24 @@ let (get_untouched_var : t' -> Exp.var list) =
st.untouched'
(*
XXX ougth to be modifiable from the outside.
nb : if those values are too big, sim2chro crashes ....
*)
let default_min_float = -10000.
let default_max_float = 10000.
let default_max_int = 10000
let default_min_int = -10000
(*
XXX What should be the default values ???
Too big values migth break other tools (e.g., sim2chro...)
*)
(* let default_max_float = *)
(* (float_of_int max_int) /. 2.**(float_of_int (!Util.precision + 1)) *)
(* let default_max_int = max_int/10 *)
(* let default_min_int = min_int/10 *)
(* exported *)
let (create : Exp.var list -> t) =
fun var_l ->
......@@ -111,10 +129,16 @@ let (create : Exp.var list -> t) =
fun tbl var ->
let range = (
match (Var.min var), (Var.max var) with
Some(Numer(Ival(min))), Some(Numer(Ival(max))) -> RangeI(min, max)
| Some(Numer(Fval(min))), Some(Numer(Fval(max))) -> RangeF(min, max)
| _ -> assert false
Some(Numer(Ival(min))), Some(Numer(Ival(max))) ->
RangeI(min, max)
| Some(Numer(Fval(min))), Some(Numer(Fval(max))) ->
RangeF(min, max)
| _ -> (
match Var.typ var with
Var.IntT -> RangeI(default_min_int, default_max_int)
| Var.FloatT -> RangeF(default_min_float, default_max_float)
| _ -> assert false
)
)
in
StringMap.add (Var.name var) range tbl;
......
......@@ -266,6 +266,16 @@ let (mode_to_string : mode -> string) =
| Pre -> "pre"
let (print_var : 'a t -> unit) =
let (print : 'a t -> unit) =
fun var ->
Format.print_string var.n
Format.print_string (
var.n ^ ":" ^
(typ_to_string var.t) ^ ":" ^
(mode_to_string var.mode) ^ " min=" ^
(if var.min = None then "None" else "Some ...") ^ " max=" ^
(if var.max = None then "None" else "Some ...") ^
(* " \n\talias=" ^ *)
(* (if var.alias = None then "None" else "Some ...") ^ " \n\tdefault=" ^ *)
(* (if var.default = None then "None" else "Some ...") ^ " \n\tinit=" ^ *)
(* (if var.init = None then "None" else "Some ...") *)
"\n")
......@@ -140,3 +140,4 @@ val init_env_loc : unit -> env_loc
val init_env_in : unit -> env_in
val inputs_to_list : env_in -> subst list
val print : 'a t -> unit
This diff is collapsed.
This diff is collapsed.
......@@ -4,7 +4,7 @@ SunOS moucherotte 5.7 Generic_106541-27 sun4u sparc SUNW,Ultra-5_10
No ControleurPorte.c or no ControleurPorte.h exist(s), so I try to compile /home/jahier/lurette/test/ControleurPorte.lus with node ControleurPorte with the lus2ec and ec2c...
No always_true.c or no always_true.h exist(s), so I try to compile /home/jahier/lurette/test/always_true.lus with node always_true with the lus2ec and ec2c...
The Pid of lurette is 8074
The Pid of lurette is 4497
The random engine was initialized with the seed 1015403953
......@@ -12,49 +12,49 @@ The random engine was initialized with the seed 1015403953
The Test Thickness average was 1.
The execution lasted 34.43 seconds.
The execution lasted 34.72 seconds.
********************************************************************
rm -rf /tmp/lurette8/
rm -rf /tmp/lurette1/
--Pollux Version 2.1
--Pollux Version 2.1
No ControleurPorte.c or no ControleurPorte.h exist(s), so I try to compile /home/jahier/lurette/test/ControleurPorte.lus with node ControleurPorte with the lus2ec and ec2c...
No always_true.c or no always_true.h exist(s), so I try to compile /home/jahier/lurette/test/always_true.lus with node always_true with the lus2ec and ec2c...
The Pid of lurette is 8133
The Pid of lurette is 4549
The random engine was initialized with the seed 1015403953
==> The test completed; no property has been violated.
The Test Thickness average was 2560.
The Test Thickness average was 2740.
The execution lasted 7.26 seconds.
The execution lasted 6.87 seconds.
********************************************************************
rm -rf /tmp/lurette8/
rm -rf /tmp/lurette1/
--Pollux Version 2.1
--Pollux Version 2.1
No ControleurPorte.c or no ControleurPorte.h exist(s), so I try to compile /home/jahier/lurette/test/ControleurPorte.lus with node ControleurPorte with the lus2ec and ec2c...
No always_true.c or no always_true.h exist(s), so I try to compile /home/jahier/lurette/test/always_true.lus with node always_true with the lus2ec and ec2c...
The Pid of lurette is 8184
The Pid of lurette is 4600
The random engine was initialized with the seed 1015403953
==> The test completed; no property has been violated.
The Test Thickness average was 1240.
The Test Thickness average was 1265.
The execution lasted 32.39 seconds.
The execution lasted 28.68 seconds.
********************************************************************
rm -rf /tmp/lurette8/
rm -rf /tmp/lurette1/
--Pollux Version 2.1
--Pollux Version 2.1
No heater_float.c or no heater_float.h exist(s), so I try to compile /home/jahier/lurette/test/heater_float.lus with node heater_float with the lus2ec and ec2c...
No always_true.c or no always_true.h exist(s), so I try to compile /home/jahier/lurette/test/always_true.lus with node always_true with the lus2ec and ec2c...
The Pid of lurette is 8235
The Pid of lurette is 4651
The random engine was initialized with the seed 1015403953
......@@ -62,16 +62,16 @@ The random engine was initialized with the seed 1015403953
The Test Thickness average was 21.9999
The execution lasted 10.77 seconds.
The execution lasted 10.86 seconds.
********************************************************************
rm -rf /tmp/lurette8/
rm -rf /tmp/lurette1/
--Pollux Version 2.1
--Pollux Version 2.1
No heater_float.c or no heater_float.h exist(s), so I try to compile /home/jahier/lurette/test/heater_float.lus with node heater_float with the lus2ec and ec2c...
No always_true.c or no always_true.h exist(s), so I try to compile /home/jahier/lurette/test/always_true.lus with node always_true with the lus2ec and ec2c...
The Pid of lurette is 8286
The Pid of lurette is 4702
The random engine was initialized with the seed 1015403953
......@@ -79,16 +79,16 @@ The random engine was initialized with the seed 1015403953
The Test Thickness average was 2190.
The execution lasted 0.9 second.
The execution lasted 0.8 second.
********************************************************************
rm -rf /tmp/lurette8/
rm -rf /tmp/lurette1/
--Pollux Version 2.1
--Pollux Version 2.1
No heater_int.c or no heater_int.h exist(s), so I try to compile /home/jahier/lurette/test/heater_int.lus with node heater_int with the lus2ec and ec2c...
No always_true.c or no always_true.h exist(s), so I try to compile /home/jahier/lurette/test/always_true.lus with node always_true with the lus2ec and ec2c...
The Pid of lurette is 8337
The Pid of lurette is 4753
The random engine was initialized with the seed 1015403953
......@@ -96,16 +96,16 @@ The random engine was initialized with the seed 1015403953
The Test Thickness average was 21.9999
The execution lasted 8.92 seconds.
The execution lasted 8.75 seconds.
********************************************************************
rm -rf /tmp/lurette8/
rm -rf /tmp/lurette1/
--Pollux Version 2.1
--Pollux Version 2.1
No heater_int.c or no heater_int.h exist(s), so I try to compile /home/jahier/lurette/test/heater_int.lus with node heater_int with the lus2ec and ec2c...
No always_true.c or no always_true.h exist(s), so I try to compile /home/jahier/lurette/test/always_true.lus with node always_true with the lus2ec and ec2c...
The Pid of lurette is 8388
The Pid of lurette is 4804
The random engine was initialized with the seed 1015403953
......@@ -115,13 +115,13 @@ The random engine was initialized with the seed 1015403953
The execution lasted 9.44 seconds.
********************************************************************
rm -rf /tmp/lurette8/
rm -rf /tmp/lurette1/
--Pollux Version 2.1
--Pollux Version 2.1
No test_losange.c or no test_losange.h exist(s), so I try to compile /home/jahier/lurette/test/test_losange.lus with node test_losange with the lus2ec and ec2c...
No always_true.c or no always_true.h exist(s), so I try to compile /home/jahier/lurette/test/always_true.lus with node always_true with the lus2ec and ec2c...
The Pid of lurette is 8441
The Pid of lurette is 4855
The random engine was initialized with the seed 1015403953
......@@ -129,15 +129,15 @@ The random engine was initialized with the seed 1015403953
The Test Thickness average was 20800.
The execution lasted 64.93 seconds.
The execution lasted 64.46 seconds.
********************************************************************
rm -rf /tmp/lurette8/
rm -rf /tmp/lurette1/
--Pollux Version 2.1
--Pollux Version 2.1
No test_losange.c or no test_losange.h exist(s), so I try to compile /home/jahier/lurette/test/test_losange.lus with node test_losange with the lus2ec and ec2c...
No always_true.c or no always_true.h exist(s), so I try to compile /home/jahier/lurette/test/always_true.lus with node always_true with the lus2ec and ec2c...
The Pid of lurette is 8492
The Pid of lurette is 4907
The random engine was initialized with the seed 1015403953
......@@ -147,4 +147,4 @@ The random engine was initialized with the seed 1015403953
The execution lasted 0.09 second.
********************************************************************
rm -rf /tmp/lurette8/
rm -rf /tmp/lurette1/
......@@ -4,7 +4,7 @@ SunOS moucherotte 5.7 Generic_106541-27 sun4u sparc SUNW,Ultra-5_10
No ControleurPorte.c or no ControleurPorte.h exist(s), so I try to compile /home/jahier/lurette/test/ControleurPorte.lus with node ControleurPorte with the lus2ec and ec2c...
No always_true.c or no always_true.h exist(s), so I try to compile /home/jahier/lurette/test/always_true.lus with node always_true with the lus2ec and ec2c...
The Pid of lurette is 4497
The Pid of lurette is 12456
The random engine was initialized with the seed 1015403953
......@@ -12,7 +12,7 @@ The random engine was initialized with the seed 1015403953
The Test Thickness average was 1.
The execution lasted 34.72 seconds.
The execution lasted 33.67 seconds.
********************************************************************
rm -rf /tmp/lurette1/
--Pollux Version 2.1
......@@ -20,7 +20,7 @@ rm -rf /tmp/lurette1/