diff --git a/_oasis b/_oasis
index 43185c88e325230b291b22b8d799dfbae1ee7109..9ca1abba0a3043db81c6be5eb48e1322acf308cd 100644
--- a/_oasis
+++ b/_oasis
@@ -39,12 +39,12 @@ Executable "lus2lic.dbg"
Library "lustre-v6"
+ XMETADescription: an API to call the Lustre v6 interpreter from ocaml
Modules: Lus2licRun
Path: src/
BuildTools: ocamlbuild
BuildDepends: str,unix,num,rdbg-plugin
Install:true
XMETAEnable: true
- XMETADescription: an API to call the Lustre v6 interpreter from ocaml
- InternalModules: SocExecValue,SocUtils,Lv6util,Lv6version,Lv6errors,Lxm,Lv6MainArgs,Verbose,Soc,SocPredef,Lv6Id,SocExec,SocExecEvalPredef,Compile,AstTab,AstTabSymbol,AstInstanciateModel,Lv6parserUtils,AstV6,FilenameExtras,LicTab,LicDump,AstPredef,Lic,AstCore,FreshName,IdSolver,EvalConst,LicEvalConst,LicEvalType,UnifyType,Ast2lic,AstV6Dump,EvalClock,UnifyClock,LicEvalClock,EvalType,LicPrg,LicMetaOp,L2lCheckOutputs,Misc,L2lRmPoly,L2lExpandMetaOp,L2lSplit,L2lExpandNodes,L2lExpandArrays,L2lCheckLoops,L2lCheckMemSafe,L2lOptimIte,Lv6lexer,Lv6parser,AstRecognizePredef,Lic2soc,Action,ActionsDeps,SocVar,Lus2licRun,SortActions,SortActionsExpe,L2lCheckKcgKeyWord
+ InternalModules: SocExecValue,SocUtils,Lv6util,Lv6version,Lv6errors,Lxm,Lv6MainArgs,Lv6Verbose,Soc,SocPredef,Lv6Id,SocExec,SocExecEvalPredef,Lv6Compile,AstTab,AstTabSymbol,AstInstanciateModel,Lv6parserUtils,AstV6,FilenameExtras,LicTab,LicDump,AstPredef,Lic,AstCore,FreshName,IdSolver,EvalConst,LicEvalConst,LicEvalType,UnifyType,Ast2lic,AstV6Dump,EvalClock,UnifyClock,LicEvalClock,EvalType,LicPrg,LicMetaOp,L2lCheckOutputs,Lv6Misc,L2lRmPoly,L2lExpandMetaOp,L2lSplit,L2lExpandNodes,L2lExpandArrays,L2lCheckLoops,L2lCheckMemSafe,L2lOptimIte,Lv6lexer,Lv6parser,AstRecognizePredef,Lic2soc,Action,ActionsDeps,SocVar,SortActions,SortActionsExpe,L2lCheckKcgKeyWord
# Comment se passer de cette liste à la Prevert ?
diff --git a/src/actionsDeps.ml b/src/actionsDeps.ml
index d441f6e2ab92420aaba279e053a560a4911e84b3..cbe44bbfb6e1928cea524e3be5b429142e9b9719 100644
--- a/src/actionsDeps.ml
+++ b/src/actionsDeps.ml
@@ -1,6 +1,6 @@
-(** Time-stamp: <modified the 13/03/2015 (at 15:36) by Erwan Jahier> *)
+(** Time-stamp: <modified the 14/01/2016 (at 10:37) by Erwan Jahier> *)
-let dbg = (Verbose.get_flag "deps")
+let dbg = (Lv6Verbose.get_flag "deps")
type action = Action.t
@@ -209,7 +209,7 @@ let build_data_deps_from_actions: (Lic.type_ -> Data.t) -> t -> action list ->
let deps = actions_of_vars dep_vars tbl in
(* The guard should be computed before the guarded expression *)
if deps = [] then (
- Verbose.exe ~flag:dbg (fun () -> print_string (
+ Lv6Verbose.exe ~flag:dbg (fun () -> print_string (
"\n====> No deps for " ^
(String.concat "," (List.map SocUtils.string_of_filter rhs))));
acc_deps
@@ -220,7 +220,7 @@ let build_data_deps_from_actions: (Lic.type_ -> Data.t) -> t -> action list ->
deps
al
in
- Verbose.exe ~flag:dbg (fun () ->
+ Lv6Verbose.exe ~flag:dbg (fun () ->
let al_str = List.map Action.to_string al in
print_string "\n ====> List of actions to be sorted:\n";
print_string (String.concat "\n " al_str);
diff --git a/src/ast2lic.ml b/src/ast2lic.ml
index fcdd92c2970cff977ae37054a4c0c90b5ea06631..5a35cbbad2f482f07859324eb1c0c25ba3beca8d 100644
--- a/src/ast2lic.ml
+++ b/src/ast2lic.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 25/06/2015 (at 17:32) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:37) by Erwan Jahier> *)
open Lxm
@@ -11,7 +11,7 @@ open Lv6errors
open Lv6Id
(** debug flag: on prend le meme que LicTab ... *)
-let dbg = (Verbose.get_flag "lazyc")
+let dbg = (Lv6Verbose.get_flag "lazyc")
(******************************************************************************)
exception Ast2licType_error of string
@@ -138,7 +138,7 @@ let get_abstract_static_params
(idref: Lv6Id.idref)
: abstract_static_param list =
- Verbose.exe ~flag:dbg (fun () ->
+ Lv6Verbose.exe ~flag:dbg (fun () ->
Printf.fprintf stderr "#DBG: Ast2lic.get_abstract_static %s\n"
(Lv6Id.raw_string_of_idref idref)
) ;
@@ -191,7 +191,7 @@ let get_abstract_static_params
let rec of_node
(id_solver : IdSolver.t) (ne: AstCore.node_exp srcflagged) : Lic.node_exp =
- Verbose.exe ~flag:dbg (fun () ->
+ Lv6Verbose.exe ~flag:dbg (fun () ->
Printf.fprintf stderr "\n\n#DBG: ENTERING Ast2lic.of_node \'";
AstV6Dump.print_node_exp stderr ne.it;
Printf.fprintf stderr "'\n\n";
@@ -244,7 +244,7 @@ let rec of_node
static_args
in
let res = id_solver.id2node idref static_args_eff lxm in
- Verbose.exe ~flag:dbg (fun () ->
+ Lv6Verbose.exe ~flag:dbg (fun () ->
Printf.fprintf stderr "\n#DBG: LEAVING Ast2lic.of_node \'";
AstV6Dump.print_node_exp stderr ne.it;
Printf.fprintf stderr "'\n";
@@ -479,7 +479,7 @@ and (translate_val_exp : IdSolver.t -> UnifyClock.subst -> AstCore.val_exp
| CALL_n node_exp_f ->
let neff = of_node id_solver node_exp_f in
let ceff = Lic.CALL (flagit neff.node_key_eff node_exp_f.src) in
- Verbose.exe ~flag:dbg (fun () ->
+ Lv6Verbose.exe ~flag:dbg (fun () ->
Printf.fprintf stderr "#DBG: Ast2lic.translate_val_exp CALL_n ";
AstV6Dump.print_node_exp stderr node_exp_f.it;
Printf.fprintf stderr " gives type: %s\n%!"
diff --git a/src/astTab.ml b/src/astTab.ml
index 69de1778267d2534339657f4f528b73b0d11ce15..a949a0e576d3a16651e0ee41de407e9c4b356725 100644
--- a/src/astTab.ml
+++ b/src/astTab.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 08/07/2015 (at 17:52) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:38) by Erwan Jahier> *)
(**
Table des infos sources : une couche au dessus de AstV6 pour mieux
@@ -25,7 +25,7 @@ open AstV6
open AstCore
open Lv6errors
-let dbg = (Verbose.get_flag "ast")
+let dbg = (Lv6Verbose.get_flag "ast")
(** Package manager
@@ -150,7 +150,7 @@ let init_user_items (this: pack_mng) = (
(** Exportation D'une const_info *)
let export_const (s:Lv6Id.t) (xci: AstCore.const_info srcflagged) =
- Verbose.printf ~flag:dbg " export const %s\n" (Lv6Id.to_string s);
+ Lv6Verbose.printf ~flag:dbg " export const %s\n" (Lv6Id.to_string s);
put_in_tab "const" this.pm_user_items
(ConstItem s)
(Lxm.flagit (Lv6Id.make_long pname s) xci.src)
@@ -165,7 +165,7 @@ let init_user_items (this: pack_mng) = (
let treat_enum_const ec =
let s = ec.it in
let lxm = ec.src in
- Verbose.printf ~flag:dbg " export enum const %s\n" (Lv6Id.to_string s);
+ Lv6Verbose.printf ~flag:dbg " export enum const %s\n" (Lv6Id.to_string s);
put_in_tab "const" this.pm_user_items
(ConstItem s)
(Lxm.flagit (Lv6Id.make_long pname s) lxm)
@@ -178,7 +178,7 @@ let init_user_items (this: pack_mng) = (
| ArrayType _
-> ()
);
- Verbose.printf ~flag:dbg " export type %s\n" (Lv6Id.to_string s);
+ Lv6Verbose.printf ~flag:dbg " export type %s\n" (Lv6Id.to_string s);
put_in_tab "type" this.pm_user_items
(TypeItem s)
(Lxm.flagit (Lv6Id.make_long pname s) xti.src)
@@ -186,7 +186,7 @@ let init_user_items (this: pack_mng) = (
(** Exportation D'un node_info *)
let export_node (s: Lv6Id.t) (xoi: AstCore.node_info srcflagged) =
- Verbose.printf ~flag:dbg " export node %s\n" (Lv6Id.to_string s);
+ Lv6Verbose.printf ~flag:dbg " export node %s\n" (Lv6Id.to_string s);
put_in_tab "node" this.pm_user_items
(NodeItem (s,xoi.it.static_params))
(Lxm.flagit (Lv6Id.make_long pname s) xoi.src)
@@ -266,13 +266,13 @@ let rec (create : AstV6.pack_or_model list -> t) =
st_pack_mng_tab = Hashtbl.create 50;
}
in
- Verbose.printf ~flag:dbg "*** AstTab.create pass 1\n";
+ Lv6Verbose.printf ~flag:dbg "*** AstTab.create pass 1\n";
(* passe 1 *)
init_raw_tabs res sl ;
(* passe 2 *)
- Verbose.printf ~flag:dbg "*** AstTab.create pass 2\n";
+ Lv6Verbose.printf ~flag:dbg "*** AstTab.create pass 2\n";
let init_pack_mng pname pdata = (
- Verbose.printf ~flag:dbg " init pack %s\n" (Lv6Id.pack_name_to_string pname);
+ Lv6Verbose.printf ~flag:dbg " init pack %s\n" (Lv6Id.pack_name_to_string pname);
let pg = AstInstanciateModel.f res.st_raw_mod_tab pdata in
Hashtbl.add res.st_pack_mng_tab
pname
@@ -280,10 +280,10 @@ let rec (create : AstV6.pack_or_model list -> t) =
) in
Hashtbl.iter init_pack_mng res.st_raw_pack_tab ;
(* passe 3 *)
- Verbose.printf ~flag:dbg "*** AstTab.create pass 3\n";
+ Lv6Verbose.printf ~flag:dbg "*** AstTab.create pass 3\n";
Hashtbl.iter (init_pack_mng_stabs res) res.st_pack_mng_tab ;
(* resultat *)
- Verbose.printf ~flag:dbg "*** AstTab.create done\n";
+ Lv6Verbose.printf ~flag:dbg "*** AstTab.create done\n";
res
and
(***** PASSE 1 *****)
@@ -327,7 +327,7 @@ and
init_pack_mng_stabs (this: t) (pname: Lv6Id.pack_name) (pm: pack_mng) = (
let pg = pm.pm_actual_src in
- Verbose.printf ~flag:dbg " init symbol tables for pack %s\n"
+ Lv6Verbose.printf ~flag:dbg " init symbol tables for pack %s\n"
(Lv6Id.pack_name_to_string pname);
(* ON COMMENCE PAR TRAITER LE PG_USES *)
let treat_uses (px:Lv6Id.pack_name srcflagged) = (
@@ -417,7 +417,7 @@ let find_node (genv: t) (pck: string) (idr: Lv6Id.t) =
(* exported *)
let (dump : t -> unit) =
fun x ->
- (* let p = Verbose.print_string ~level:3 in *)
+ (* let p = Lv6Verbose.print_string ~level:3 in *)
let p = prerr_string in
p "*** « Syntax table dump:\n";
diff --git a/src/astTabSymbol.ml b/src/astTabSymbol.ml
index 6b8555fbc9987228de134b2bb1ad8d4946eea3b8..0b3ffb7f83d579c7c0fb6e6cdb6ead25ad77f864 100644
--- a/src/astTabSymbol.ml
+++ b/src/astTabSymbol.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 26/02/2015 (at 11:20) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:39) by Erwan Jahier> *)
(**
Sous-module pour AstTab
@@ -15,15 +15,15 @@ open AstV6
open AstCore
open Lv6errors
-let dbg = (Verbose.get_flag "ast")
+let dbg = (Lv6Verbose.get_flag "ast")
(* get trace of raise Global_error in debug mode *)
let do_raise_global_error msg =
- Verbose.printf ~flag:dbg "#DBG: up to raise global error:\n %s\n" msg;
+ Lv6Verbose.printf ~flag:dbg "#DBG: up to raise global error:\n %s\n" msg;
raise (Global_error msg)
let do_raise_compile_error (lxm,msg) =
- Verbose.printf ~flag:dbg "#DBG: up to raise compile error:\n %s: %s\n" (Lxm.details lxm) msg;
+ Lv6Verbose.printf ~flag:dbg "#DBG: up to raise compile error:\n %s: %s\n" (Lxm.details lxm) msg;
raise (Compile_error (lxm,msg))
@@ -57,7 +57,7 @@ let find_type (this: t) (id: Lv6Id.t) lxm =
let find_pack_of_type (this: t) (id: Lv6Id.t) lxm =
try
let res = fst (Hashtbl.find (this.st_types) id) in
- Verbose.printf ~flag:dbg
+ Lv6Verbose.printf ~flag:dbg
"#DBG: AstTabSymbol.find_pack_of_type %s -> %s\n" id res;
res
with Not_found ->
@@ -72,7 +72,7 @@ let find_const (this: t) (id: Lv6Id.t) lxm =
let find_pack_of_const (this: t) (id: Lv6Id.t) lxm =
try
let res = fst (Hashtbl.find (this.st_consts) id) in
- Verbose.printf ~flag:dbg
+ Lv6Verbose.printf ~flag:dbg
"#DBG: AstTabSymbol.find_pack_of_const %s -> %s\n" id res;
res
with Not_found ->
diff --git a/src/evalClock.ml b/src/evalClock.ml
index fd65112a9065013e28304b1aef17381ca32bb9f5..0f44eed2971ade5a12a54cb13aaa0e7b614a64f8 100644
--- a/src/evalClock.ml
+++ b/src/evalClock.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 25/06/2015 (at 17:30) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:40) by Erwan Jahier> *)
open AstPredef
@@ -238,7 +238,7 @@ let rec (f : IdSolver.t -> subst -> Lic.val_exp -> Lxm.t list -> Lic.clock list
let inf_clks = List.map (fun (id,clk) -> id, apply_subst2 s clk) inf_clks in
let clks = snd (List.split inf_clks) in
let ve = apply_subst_val_exp s ve in
- if Verbose.level() > 2 then
+ if Lv6Verbose.level() > 2 then
print_string (
"Clocking the expression '" ^ (LicDump.string_of_val_exp_eff ve) ^"': "^
(LicDump.string_of_clock2 (List.hd clks)) ^"\n");
diff --git a/src/evalType.ml b/src/evalType.ml
index f4a162ff0374cfe80eaeb3bf412d0989f9b813f3..d927fe29d778f6dd31b2f01849b45523d2ca26fe 100644
--- a/src/evalType.ml
+++ b/src/evalType.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 26/02/2015 (at 11:21) by Erwan Jahier> *)
+(** Time-stamp: <modified the 14/01/2016 (at 10:40) by Erwan Jahier> *)
open AstPredef
@@ -21,7 +21,7 @@ let raise_arity_error = LicEvalType.raise_arity_error
exception EvalType_error = LicEvalType.EvalType_error
exception EvalConst_error = LicEvalConst.EvalConst_error
-let dbg = (Verbose.get_flag "poly")
+let dbg = (Lv6Verbose.get_flag "poly")
(******************************************************************************)
let finish_me msg = print_string ("\n\tXXX evalType.ml:"^msg^" -> finish me!\n")
@@ -103,7 +103,7 @@ and eval_by_pos_type
let tve = match tmatches with
| [] -> lto
| _ ->
- Verbose.exe ~flag:dbg (fun () ->
+ Lv6Verbose.exe ~flag:dbg (fun () ->
Printf.fprintf stderr "#DBG: EvalType of CALL '%s' (%s)\n"
(Lic.string_of_node_key node_key)
(Lxm.details lxm);
diff --git a/src/freshName.ml b/src/freshName.ml
index e5bf321f9b3c059b70ae3b6e8f43b26c960d9053..10838e101e40eb1e2873b66b5eed76aeafa6db67 100644
--- a/src/freshName.ml
+++ b/src/freshName.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 03/03/2015 (at 14:27) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:40) by Erwan Jahier> *)
(* maps node_key to a string that won't clash *)
@@ -114,7 +114,7 @@ let (update_fresh_var_prefix : unit -> unit) =
else (
let new_prefix = ("_" ^ (string_of_int index)) in
fresh_var_prefix := new_prefix ;
- Verbose.exe ~level:1 (
+ Lv6Verbose.exe ~level:1 (
fun () ->
prerr_string ("I use " ^ new_prefix ^ " as prefix for fresh var names.\n");
flush stderr
diff --git a/src/l2lAliasType.ml b/src/l2lAliasType.ml
index 1703ca695b9858c30b9e76a395e5d67ff90a61dc..817d090d439107842ac559059afb3a1ea56ddf51 100644
--- a/src/l2lAliasType.ml
+++ b/src/l2lAliasType.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 12/06/2014 (at 09:28) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:40) by Erwan Jahier> *)
(**
Source 2 source transformation :
@@ -38,7 +38,7 @@ let doit (inp : LicPrg.t) : LicPrg.t =
try
let ref_te = Hashtbl.find atab te in
(*
- Verbose.printf "--> alias_type %s = %s ^ %d FOUND : %s\n"
+ Lv6Verbose.printf "--> alias_type %s = %s ^ %d FOUND : %s\n"
(LicDump.string_of_type_eff te)
(LicDump.string_of_type_eff ty)
sz
@@ -51,7 +51,7 @@ let doit (inp : LicPrg.t) : LicPrg.t =
res := LicPrg.add_type id ref_te !res;
Hashtbl.add atab te ref_te;
(*
- Verbose.printf "--> alias_type %s = %s ^ %d NOT FOUND, gives: %s\n"
+ Lv6Verbose.printf "--> alias_type %s = %s ^ %d NOT FOUND, gives: %s\n"
(LicDump.string_of_type_eff te)
(LicDump.string_of_type_eff ty)
sz
diff --git a/src/l2lCheckKcgKeyWord.ml b/src/l2lCheckKcgKeyWord.ml
index ef90150ddce5e696a91adca0dd7019fa48e47391..8a0d7635f0c34897a31c1f89c2ca13e1624a55c5 100644
--- a/src/l2lCheckKcgKeyWord.ml
+++ b/src/l2lCheckKcgKeyWord.ml
@@ -3,7 +3,7 @@ open Lxm
open Lic
open AstPredef
-let dbg = (Verbose.get_flag "kcg")
+let dbg = (Lv6Verbose.get_flag "kcg")
(********************************************************************************)
diff --git a/src/l2lCheckLoops.ml b/src/l2lCheckLoops.ml
index 7a3070d733698d71bee1b374dc634cb074ab1379..0171777c453c8e2d09e6850b73e719d243a9f1e5 100644
--- a/src/l2lCheckLoops.ml
+++ b/src/l2lCheckLoops.ml
@@ -1,9 +1,9 @@
-(* Time-stamp: <modified the 26/02/2015 (at 13:50) by Erwan Jahier> *)
+(* Time-stamp: <modified the 20/10/2015 (at 17:44) by Erwan Jahier> *)
open Lxm
open Lv6errors
open Lic
-open Misc
+open Lv6Misc
module IdMap = Map.Make(struct type t = Lv6Id.t let compare = compare end)
module IdSet = Set.Make(struct type t = Lv6Id.t let compare = compare end)
diff --git a/src/l2lCheckMemSafe.ml b/src/l2lCheckMemSafe.ml
index ba675a8366c5a047c56b8867006ab411b366ff41..0f01c85174a1ff67c30d84a6cf6000aa0870b78f 100644
--- a/src/l2lCheckMemSafe.ml
+++ b/src/l2lCheckMemSafe.ml
@@ -1,10 +1,10 @@
-(** Time-stamp: <modified the 21/01/2015 (at 17:35) by Erwan Jahier> *)
+(** Time-stamp: <modified the 14/01/2016 (at 10:40) by Erwan Jahier> *)
open Lxm
open Lic
open AstPredef
-let dbg = (Verbose.get_flag "check-mem")
+let dbg = (Lv6Verbose.get_flag "check-mem")
(********************************************************************************)
diff --git a/src/l2lCheckOutputs.ml b/src/l2lCheckOutputs.ml
index e5a85c8474ab4b89d52d38668baa101550152601..a420e1358696b09334669b9a29f3a86c5712be22 100644
--- a/src/l2lCheckOutputs.ml
+++ b/src/l2lCheckOutputs.ml
@@ -1,9 +1,9 @@
-(* Time-stamp: <modified the 26/02/2015 (at 11:26) by Erwan Jahier> *)
+(* Time-stamp: <modified the 20/10/2015 (at 17:44) by Erwan Jahier> *)
open Lxm
open Lv6errors
open Lic
-open Misc
+open Lv6Misc
(*********************************************************************************)
(** Used to represent how much « defined » a variable is. *)
diff --git a/src/l2lExpandArrays.ml b/src/l2lExpandArrays.ml
index 56bca2706cf2ebdcdc1c2ece538fc0d3982a224b..d82b7c0fbb4bc98dae834e9a9bb9e5ba3c124162 100644
--- a/src/l2lExpandArrays.ml
+++ b/src/l2lExpandArrays.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 03/03/2015 (at 14:27) by Erwan Jahier> *)
+(** Time-stamp: <modified the 14/01/2016 (at 10:40) by Erwan Jahier> *)
(* Replace structures and arrays by as many variables as necessary.
Since structures can be nested, it migth be a lot of new variables...
@@ -33,7 +33,7 @@ type acc =
* (Lic.eq_info srcflagged) list (* equations *)
* Lic.var_info list (* new local vars *)
-let dbg = (Verbose.get_flag "esa")
+let dbg = (Lv6Verbose.get_flag "esa")
(********************************************************************************)
(* pack useful info (while expanding nodes) into a single struct *)
@@ -650,7 +650,7 @@ let rec (doit : LicPrg.t -> LicPrg.t) =
(** transform nodes *)
let rec (do_node : Lic.node_key -> Lic.node_exp -> LicPrg.t -> LicPrg.t) =
fun nk ne outprg ->
- Verbose.exe ~flag:dbg (fun() -> Printf.printf "#DBG: L2lExpandArrays expands '%s'\n"
+ Lv6Verbose.exe ~flag:dbg (fun() -> Printf.printf "#DBG: L2lExpandArrays expands '%s'\n"
(Lic.string_of_node_key nk));
let lctx = {
node = ne;
diff --git a/src/l2lExpandMetaOp.ml b/src/l2lExpandMetaOp.ml
index ddd2effc4e8cfad2612384e9d76fdb19ecde31c2..128226f6add24abdcb349ff68258aa7c1569f7cb 100644
--- a/src/l2lExpandMetaOp.ml
+++ b/src/l2lExpandMetaOp.ml
@@ -1,9 +1,9 @@
-(** Time-stamp: <modified the 03/03/2015 (at 14:27) by Erwan Jahier> *)
+(** Time-stamp: <modified the 14/01/2016 (at 10:40) by Erwan Jahier> *)
open Lxm
open Lic
-let dbg = (Verbose.get_flag "ei")
+let dbg = (Lv6Verbose.get_flag "ei")
(* pack useful info into a single struct *)
type local_ctx = {
@@ -487,7 +487,7 @@ let rec (create_meta_op_body: local_ctx -> Lic.node_key -> Lic.node_body * var_
let rec (node : local_ctx -> Lic.node_exp -> bool -> Lic.node_exp) =
fun lctx n only_boolred ->
let sonk = Lic.string_of_node_key in
- Verbose.exe ~flag:dbg (fun () ->
+ Lv6Verbose.exe ~flag:dbg (fun () ->
Printf.printf "#DBG: L2lInlineMetaOp %s\n" (sonk n.node_key_eff));
match n.def_eff with
| MetaOpLic ->
diff --git a/src/l2lExpandNodes.ml b/src/l2lExpandNodes.ml
index c5791a8b35f815ab27bf878e1eb7b23adaad4d6c..9135d094cc933fcb71271a225f5c6d217709d0b2 100644
--- a/src/l2lExpandNodes.ml
+++ b/src/l2lExpandNodes.ml
@@ -1,11 +1,11 @@
-(* Time-stamp: <modified the 03/03/2015 (at 14:27) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:41) by Erwan Jahier> *)
open Lxm
open Lic
open AstPredef
-let dbg = (Verbose.get_flag "en")
+let dbg = (Lv6Verbose.get_flag "en")
(* pack useful info into a single struct *)
type local_ctx = {
@@ -321,7 +321,7 @@ and (expand_node : local_ctx -> Lic.node_exp -> local_ctx * Lic.node_exp) =
def_eff = BodyLic nb
}
in
- Verbose.exe ~flag:dbg (fun () ->
+ Lv6Verbose.exe ~flag:dbg (fun () ->
Printf.printf "#DBG: expand nodes of '%s'\n"
(Lic.string_of_node_key n.node_key_eff));
lctx, res
diff --git a/src/l2lOptimIte.ml b/src/l2lOptimIte.ml
index 1e2ff6510222ed6e10616b8a18e78a14b7f939cf..e8ba2d17c04324e9c3e6002005968da4afe02f46 100644
--- a/src/l2lOptimIte.ml
+++ b/src/l2lOptimIte.ml
@@ -1,10 +1,10 @@
-(** Time-stamp: <modified the 03/03/2015 (at 14:27) by Erwan Jahier> *)
+(** Time-stamp: <modified the 14/01/2016 (at 10:41) by Erwan Jahier> *)
open Lxm
open Lic
open AstPredef
-let dbg = (Verbose.get_flag "oite")
+let dbg = (Lv6Verbose.get_flag "oite")
(********************************************************************************)
@@ -182,7 +182,7 @@ let rec (doit : LicPrg.t -> LicPrg.t) =
(** transform nodes *)
let rec (doit_node : Lic.node_key -> Lic.node_exp -> LicPrg.t -> LicPrg.t) =
fun nk ne outprg ->
- Verbose.exe ~flag:dbg (fun() -> Printf.printf "#DBG: L2lOptimIte '%s'\n"
+ Lv6Verbose.exe ~flag:dbg (fun() -> Printf.printf "#DBG: L2lOptimIte '%s'\n"
(Lic.string_of_node_key nk));
let ne = do_node inprg ne in
LicPrg.add_node nk ne outprg
diff --git a/src/l2lRmPoly.ml b/src/l2lRmPoly.ml
index 370c87d436622d720f0cbe08aa98a8fb0b703131..8c149926d597e4f16da54130d9b20f030e3eeea4 100644
--- a/src/l2lRmPoly.ml
+++ b/src/l2lRmPoly.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 26/06/2014 (at 17:59) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:41) by Erwan Jahier> *)
(*
Source 2 source transformation :
@@ -9,7 +9,7 @@ Source 2 source transformation :
open Lxm
open Lic
-let dbg = (Verbose.get_flag "poly")
+let dbg = (Lv6Verbose.get_flag "poly")
let (is_predef_overloaded : Lic.node_key -> bool) =
fun nk ->
@@ -71,7 +71,7 @@ let rec doit (inprg : LicPrg.t) : LicPrg.t =
(* pour les noeuds *NON* polymorphes/surchagés, on fait rien du tout.
pour les noeuds Lustre polymorphe (if, eq, neq) non plus.
*)
- Verbose.exe ~flag:dbg (fun() -> Printf.printf
+ Lv6Verbose.exe ~flag:dbg (fun() -> Printf.printf
"### Warning: no code generated for polymorphic/overloaded node '%s'\n"
(Lic.string_of_node_key ne.node_key_eff))
else
@@ -129,7 +129,7 @@ let rec doit (inprg : LicPrg.t) : LicPrg.t =
(Lxm.flagit (instanciate_node_key m nk.it) nk.src)
else if node_is_poly ne
then (
- Verbose.exe ~flag:dbg (fun () ->
+ Lv6Verbose.exe ~flag:dbg (fun () ->
Printf.fprintf stderr "#DBG: CALL poly node %s\n" (Lxm.details posop.src));
let intypes = types_of_operands ops' in
let (inpars, _) = Lic.profile_of_node_exp ne in
@@ -175,7 +175,7 @@ let rec doit (inprg : LicPrg.t) : LicPrg.t =
*)
and solve_poly (tmatches: Lic.type_matches) (nk: Lic.node_key) (ne: Lic.node_exp)
: Lic.node_key =
- Verbose.exe ~flag:dbg (fun () ->
+ Lv6Verbose.exe ~flag:dbg (fun () ->
Printf.printf
"#DBG: L2lRmPoly.solve_poly nk='%s'\n# prof=%s'\n# matches='%s'\n"
(Lic.string_of_node_key nk)
diff --git a/src/l2lSplit.ml b/src/l2lSplit.ml
index 83cc1718bd3f9a84e69fde69adedfe0c6233a98d..92237e2988e67f6e992531097c6a01697298f83a 100644
--- a/src/l2lSplit.ml
+++ b/src/l2lSplit.ml
@@ -10,10 +10,10 @@ CONDITION :
open Lxm
open Lic
-let dbg = (Verbose.get_flag "split")
+let dbg = (Lv6Verbose.get_flag "split")
let info msg =
let t = Sys.time() in
- Verbose.exe ~flag:dbg (fun () -> Printf.eprintf "%4.4f: %s%!" t msg)
+ Lv6Verbose.exe ~flag:dbg (fun () -> Printf.eprintf "%4.4f: %s%!" t msg)
(********************************************************************************)
@@ -339,7 +339,7 @@ and (split_val_exp_list : bool -> bool -> Lic.val_exp list -> Lic.val_exp list *
(vel,(eql,vl))
and split_node (opt:Lv6MainArgs.t) (n: Lic.node_exp) : Lic.node_exp =
- Verbose.exe ~flag:dbg (fun () ->
+ Lv6Verbose.exe ~flag:dbg (fun () ->
Printf.eprintf "*** Splitting node %s\n"
(LicDump.string_of_node_key_iter n.node_key_eff);
flush stderr);
diff --git a/src/lic.ml b/src/lic.ml
index 386bcb023b384f367d22755a1e50d1a4b48a7ff3..a7a92a41b865fc2ae0d78c965d40630e6af0bfca 100644
--- a/src/lic.ml
+++ b/src/lic.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 26/02/2015 (at 11:21) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:41) by Erwan Jahier> *)
(** Define the Data Structure representing Compiled programs. By
compiled we mean that constant are propagated, packages are
@@ -80,7 +80,7 @@ open Printf
open Lxm
open AstV6
(* open AstCore *)
-let dbg = (Verbose.get_flag "lazyc")
+let dbg = (Lv6Verbose.get_flag "lazyc")
(*---------------------------------------------------------------------
Type : type
@@ -481,13 +481,13 @@ let rec subst_matches (matches: type_matches) (t: type_) : type_ =
on utilse paranoid au cas où ...
*)
| Abstract_type_eff(l,td) ->
- Verbose.exe ~flag:Lv6MainArgs.paranoid ( fun () ->
+ Lv6Verbose.exe ~flag:Lv6MainArgs.paranoid ( fun () ->
let t' = Abstract_type_eff(l,subst_matches matches td) in
if t <> t' then assert false
);
t
| Struct_type_eff(l,fl) ->
- Verbose.exe ~flag:Lv6MainArgs.paranoid ( fun () ->
+ Lv6Verbose.exe ~flag:Lv6MainArgs.paranoid ( fun () ->
let t' = Struct_type_eff(
l, List.map (fun (id,(teff,copt)) -> (id,(subst_matches matches teff, copt))) fl)
in
diff --git a/src/lic2soc.ml b/src/lic2soc.ml
index 8cbcd9aa0ba9eb38de41ba8d994b22c0d79efdd7..726c3b3f60c944e761ebbb3c428c059939a293f6 100644
--- a/src/lic2soc.ml
+++ b/src/lic2soc.ml
@@ -1,11 +1,11 @@
-(** Time-stamp: <modified the 10/07/2015 (at 14:12) by Erwan Jahier> *)
+(** Time-stamp: <modified the 14/01/2016 (at 10:41) by Erwan Jahier> *)
(* XXX ce module est mal écrit. A reprendre. (R1) *)
open Lxm
open Lic
-let dbg = (Verbose.get_flag "exec")
+let dbg = (Lv6Verbose.get_flag "exec")
type action = Action.t
@@ -623,7 +623,7 @@ let rec (actions_of_expression_acc: Lxm.t -> Soc.tbl ->
in
try Soc.SocMap.find sk soc_tbl
with Not_found ->
- Verbose.exe ~flag:dbg (fun () ->
+ Lv6Verbose.exe ~flag:dbg (fun () ->
let l = Soc.SocMap.bindings soc_tbl in
let kl = fst (List.split l) in
let klstr = List.map SocUtils.string_of_soc_key kl in
@@ -698,7 +698,7 @@ open Soc
let info msg =
let t = Sys.time() in
- Verbose.exe ~level:1 (fun () -> Printf.eprintf "%4.4f: %s%!" t msg; flush stderr)
+ Lv6Verbose.exe ~level:1 (fun () -> Printf.eprintf "%4.4f: %s%!" t msg; flush stderr)
let rec f: (LicPrg.t -> Lic.node_key -> Soc.key * Soc.tbl) =
@@ -822,7 +822,7 @@ let rec f: (LicPrg.t -> Lic.node_key -> Soc.key * Soc.tbl) =
let all_deps =
ActionsDeps.build_data_deps_from_actions lic_to_data_type deps actions
in
- Verbose.exe ~flag:dbg
+ Lv6Verbose.exe ~flag:dbg
(fun () -> print_string (ActionsDeps.to_string all_deps); flush stdout);
info "SortActions.f: sorting actions...\n";
let gaol = SortActions.f actions all_deps lxm in
diff --git a/src/licEvalType.ml b/src/licEvalType.ml
index 1f5acafa7f7818be59a9d46e6e6841187bc06da4..9013b2d123f8ce78334b5422406ddbae163b9fd3 100644
--- a/src/licEvalType.ml
+++ b/src/licEvalType.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 26/02/2015 (at 11:22) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:41) by Erwan Jahier> *)
open AstPredef
open Lxm
@@ -147,8 +147,8 @@ let condact_profile
let dflt_types = types_of_const dflt in
let dl = List.length dflt_types in
let ol = List.length outlist in
- Verbose.exe ~flag:dbg ~level:3 (fun () ->
- Verbose.printf " condact_profile: dflt=%s\n" (string_of_const_eff dflt));
+ Lv6Verbose.exe ~flag:dbg ~level:3 (fun () ->
+ Lv6Verbose.printf " condact_profile: dflt=%s\n" (string_of_const_eff dflt));
let _ = if (dl <> ol) then
raise_arity_error " in condact default arg" dl ol in
let out_types = List.map (fun x -> x.var_type_eff) outlist in
diff --git a/src/licPrg.ml b/src/licPrg.ml
index c79fb4723122ea29c4d54bd42afba33c0b35089c..5dd14dc54ff366125dcce973c4eb4fcf4061b03e 100644
--- a/src/licPrg.ml
+++ b/src/licPrg.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 18/06/2015 (at 15:07) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:41) by Erwan Jahier> *)
open Lv6MainArgs
module ItemKeyMap = struct
@@ -106,12 +106,12 @@ let add_const (k:Lic.item_key) (v:Lic.const) (prg:t) : t =
{ prg with consts = ItemKeyMap.add k v prg.consts }
let add_node (k:Lic.node_key) (v:Lic.node_exp) (prg:t) : t =
- Verbose.exe ~level:3 (fun () ->
+ Lv6Verbose.exe ~level:3 (fun () ->
Printf.printf "## LicPrg.add_node %s\n" (LicDump.string_of_node_key_rec false k));
{ prg with nodes = NodeKeyMap.add k v prg.nodes }
let del_node (k:Lic.node_key) (prg:t) : t =
- Verbose.exe ~level:3 (fun () ->
+ Lv6Verbose.exe ~level:3 (fun () ->
Printf.printf "## LicPrg.del_node %s\n" (LicDump.string_of_node_key_rec false k));
{ prg with nodes = NodeKeyMap.remove k prg.nodes }
diff --git a/src/licTab.ml b/src/licTab.ml
index 7d14543d44ba7f59f7a5d3938c10ce3fa528c30f..fc2c523cb3b6038ac0bc90addfa700852fb67348 100644
--- a/src/licTab.ml
+++ b/src/licTab.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 26/02/2015 (at 11:28) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:42) by Erwan Jahier> *)
open Lxm
@@ -9,7 +9,7 @@ open Lic
open IdSolver
(** DEBUG FLAG POUR CE MODULE : *)
-let dbg = (Verbose.get_flag "lazyc")
+let dbg = (Lv6Verbose.get_flag "lazyc")
let finish_me msg = print_string ("\n\tXXX licTab:"^msg^" -> finish me!\n")
@@ -173,7 +173,7 @@ let x_check
(x_key : 'x_key)
(lxm : Lxm.t)
: 'x_eff =
- Verbose.exe ~flag:dbg (fun () -> Printf.printf "#DBG: licTab.x_check '%s'\n" (Lxm.details lxm));
+ Lv6Verbose.exe ~flag:dbg (fun () -> Printf.printf "#DBG: licTab.x_check '%s'\n" (Lxm.details lxm));
try lookup_x_eff tab x_key lxm
with Not_found -> (
let res = try x_builtin this x_key lxm
@@ -255,13 +255,13 @@ let lookup_node_exp_eff
: Lic.node_exp =
try
let node_exp = lookup_x_eff "node ref " (fun k -> fst k) tbl key lxm in
- Verbose.exe ~flag:dbg (fun () -> Printf.printf
+ Lv6Verbose.exe ~flag:dbg (fun () -> Printf.printf
"#DBG: licTab.lookup_node_exp_eff: FOUND node key '%s'\n"
(Lic.string_of_node_key key)
);
node_exp
with Not_found -> (
- Verbose.exe ~flag:dbg (
+ Lv6Verbose.exe ~flag:dbg (
fun () ->
Printf.fprintf stderr "#DBG: licTab.lookup_node_exp_eff: node key '%s' NOT FOUND\n"
(Lic.string_of_node_key key);
@@ -281,7 +281,7 @@ let node_builtin (this: t) (key: Lic.node_key) (lxm: Lxm.t) : Lic.node_exp =
with Not_found -> assert false
in
let node_exp = LicMetaOp.do_node nk2nd key lxm in
- Verbose.exe ~flag:dbg (fun () -> Printf.printf
+ Lv6Verbose.exe ~flag:dbg (fun () -> Printf.printf
"#DBG: licTab.lookup_node_exp_eff: BUILT-IN node key '%s'\n"
(Lic.string_of_node_key key)
);
@@ -350,7 +350,7 @@ let rec type_check
(key: Lv6Id.long)
(lxm: Lxm.t)
: Lic.type_ =
- Verbose.exe ~flag:dbg (fun () ->
+ Lv6Verbose.exe ~flag:dbg (fun () ->
Printf.printf "#DBG: licTab.type_check '%s'\n" (Lv6Id.string_of_long2 key));
x_check this.types AstTabSymbol.find_type type_check_do type_builtin lookup_type_eff
Lv6Id.pack_of_long Lv6Id.of_long this
@@ -362,7 +362,7 @@ and const_check
(key: Lv6Id.long)
(lxm: Lxm.t)
: Lic.const =
- Verbose.exe ~flag:dbg (fun() -> Printf.printf
+ Lv6Verbose.exe ~flag:dbg (fun() -> Printf.printf
"#DBG: licTab.const_check '%s'\n" (Lv6Id.string_of_long2 key));
x_check this.consts AstTabSymbol.find_const const_check_do const_builtin lookup_const_eff
Lv6Id.pack_of_long Lv6Id.of_long this
@@ -374,7 +374,7 @@ and type_check_interface
(key: Lv6Id.long)
(lxm: Lxm.t)
: Lic.type_ =
- Verbose.exe ~flag:dbg (fun() -> Printf.printf
+ Lv6Verbose.exe ~flag:dbg (fun() -> Printf.printf
"#DBG: licTab.type_check_interface '%s'\n" (Lv6Id.string_of_long2 key));
x_check_interface
this.prov_types AstTabSymbol.find_type type_check type_check_interface_do
@@ -387,7 +387,7 @@ and const_check_interface
(key: Lv6Id.long)
(lxm: Lxm.t)
: Lic.const =
- Verbose.exe ~flag:dbg (fun () -> Printf.printf
+ Lv6Verbose.exe ~flag:dbg (fun () -> Printf.printf
"#DBG: licTab.const_check_interface '%s'\n" (Lv6Id.string_of_long2 key));
x_check_interface
this.prov_consts AstTabSymbol.find_const const_check const_check_interface_do
@@ -747,7 +747,7 @@ and (node_check_interface_do: t -> Lic.node_key -> Lxm.t ->
: Lic.node_exp =
(* START node_check_do *)
(
- Verbose.exe ~flag:dbg (fun () -> Printf.printf
+ Lv6Verbose.exe ~flag:dbg (fun () -> Printf.printf
"#DBG: ENTERING node_check_do '%s'\n (%s)\n"
(Lic.string_of_node_key nk)
(Lxm.details lxm)
@@ -758,7 +758,7 @@ and (node_check_interface_do: t -> Lic.node_key -> Lxm.t ->
*)
let local_env = make_local_env nk in
let _ =
- Verbose.exe ~flag:dbg (fun () ->
+ Lv6Verbose.exe ~flag:dbg (fun () ->
Printf.printf "# local_env while entering (node_check_do %s):\n"
(Lic.string_of_node_key nk);
IdSolver.dump_local_env stderr local_env;
@@ -785,7 +785,7 @@ and (node_check_interface_do: t -> Lic.node_key -> Lxm.t ->
(fun id lxm ->
try IdSolver.lookup_type local_env id lxm
with Not_found ->
- Verbose.exe ~level:3 (
+ Lv6Verbose.exe ~level:3 (
fun () ->
Printf.printf "*** Dont find type %s in local_env\n"
(Lv6Id.string_of_idref id);
@@ -819,7 +819,7 @@ and (node_check_interface_do: t -> Lic.node_key -> Lxm.t ->
in
let make_node_eff id node_def_eff = (
(* building not aliased nodes *)
- Verbose.exe ~level:3
+ Lv6Verbose.exe ~level:3
(fun () -> Printf.printf
"*** local_env while entering (make_node_eff %s):\n" (Lv6Id.to_string id);
IdSolver.dump_local_env stderr local_env
@@ -839,7 +839,7 @@ and (node_check_interface_do: t -> Lic.node_key -> Lxm.t ->
let init_local_const (lxm, cinfo) = (
match cinfo with
| DefinedConst (i,topt,ve) -> (
- Verbose.printf ~level:3 " * local const %s will be treated\n" i;
+ Lv6Verbose.printf ~level:3 " * local const %s will be treated\n" i;
Hashtbl.add temp_const_def_tab i (lxm,topt,ve)
)
| ExternalConst _
@@ -860,16 +860,16 @@ and (node_check_interface_do: t -> Lic.node_key -> Lxm.t ->
all_srcs = node_id_solver.all_srcs;
}
and treat_local_const id = (
- Verbose.printf ~level:3 " * call treat_local_const %s\n" id;
+ Lv6Verbose.printf ~level:3 " * call treat_local_const %s\n" id;
let id_key = ("", id) in
try (
let ce = lookup_const_eff temp_const_eff_tab id_key lxm in
- Verbose.exe ~level:3 (fun() -> Printf.printf " * const %s already treated = %s\n"
+ Lv6Verbose.exe ~level:3 (fun() -> Printf.printf " * const %s already treated = %s\n"
id (LicDump.string_of_const_eff ce));
ce
) with Not_found -> (
let (lxmdef, toptdef, vedef) = Hashtbl.find temp_const_def_tab id in
- Verbose.printf ~level:3 " * const %s not yet treated ...\n" id ;
+ Lv6Verbose.printf ~level:3 " * const %s not yet treated ...\n" id ;
(* yes, not yet checked *)
Hashtbl.add temp_const_eff_tab id_key Checking ;
(* computes the value with EvalConst.f id_solver ve ... *)
@@ -891,7 +891,7 @@ and (node_check_interface_do: t -> Lic.node_key -> Lxm.t ->
| [] -> assert false (* should not occur *)
| _::_ -> raise (Compile_error(lxmdef, "bad constant value: tuple not allowed"))
in
- Verbose.exe ~level:3 (fun() -> Printf.printf " * const %s evaluated to %s\n"
+ Lv6Verbose.exe ~level:3 (fun() -> Printf.printf " * const %s evaluated to %s\n"
id (LicDump.string_of_const_eff ce));
Hashtbl.replace temp_const_eff_tab id_key (Checked ce) ;
ce
@@ -909,10 +909,10 @@ and (node_check_interface_do: t -> Lic.node_key -> Lxm.t ->
ce
) with Not_found -> (
(* not a local constant -> search in global env *)
- Verbose.printf ~level:3
+ Lv6Verbose.printf ~level:3
" * %s not a local const, should be global ?" (Lv6Id.string_of_idref idrf);
let ce = node_id_solver.id2const idrf lxm in
- Verbose.exe ~level:3 (fun() -> Printf.printf
+ Lv6Verbose.exe ~level:3 (fun() -> Printf.printf
" YES -> %s\n" (LicDump.string_of_const_eff ce));
ce
)
@@ -921,7 +921,7 @@ and (node_check_interface_do: t -> Lic.node_key -> Lxm.t ->
Hashtbl.iter (fun id _ -> let _ = treat_local_const id in ()) temp_const_def_tab ;
(* Finally, adds each local const to ICI *)
let add_local_const idref ceck = (
- Verbose.exe ~level:3 (fun() -> Printf.printf
+ Lv6Verbose.exe ~level:3 (fun() -> Printf.printf
" * add_local_const %s = %s\n"
(snd idref)
(match ceck with
@@ -1128,7 +1128,7 @@ and (node_check_interface_do: t -> Lic.node_key -> Lxm.t ->
in
L2lCheckOutputs.check_node res;
(* gen_code provide_flag current_env res; *)
- Verbose.exe ~flag:dbg (fun() -> Printf.printf
+ Lv6Verbose.exe ~flag:dbg (fun() -> Printf.printf
"#DBG: EXITING node_check_do '%s'\n"
(Lic.string_of_node_key nk)
);
@@ -1161,7 +1161,7 @@ and (node_check_interface_do: t -> Lic.node_key -> Lxm.t ->
(lxm: Lxm.t)
: node_exp
=
- Verbose.printf ~level:3
+ Lv6Verbose.printf ~level:3
"*** Lic.make_alias_node %s \n" (Lv6Id.long_to_string (fst alias_nk));
flush stdout;
@@ -1243,7 +1243,7 @@ and (node_check_interface_do: t -> Lic.node_key -> Lxm.t ->
(lxm: Lxm.t)
: Lic.node_exp =
- Verbose.printf ~flag:dbg "#DBG: licTab.node_check '%s'\n" (Lic.string_of_node_key nk);
+ Lv6Verbose.printf ~flag:dbg "#DBG: licTab.node_check '%s'\n" (Lic.string_of_node_key nk);
try (
let pack_of_x_key = fun nk -> Lv6Id.pack_of_long (fst nk) in
let name_of_x_key = fun nk -> Lv6Id.of_long (fst nk) in
@@ -1263,7 +1263,7 @@ and (node_check_interface_do: t -> Lic.node_key -> Lxm.t ->
(nk: Lic.node_key)
(lxm: Lxm.t)
: Lic.node_exp =
- Verbose.printf ~flag:dbg "#DBG: licTab.node_check_interface '%s'\n" (Lic.string_of_node_key nk);
+ Lv6Verbose.printf ~flag:dbg "#DBG: licTab.node_check_interface '%s'\n" (Lic.string_of_node_key nk);
x_check_interface this.prov_nodes AstTabSymbol.find_node node_check
node_check_interface_do node_builtin lookup_node_exp_eff
(fun nk -> Lv6Id.pack_of_long (fst nk))
@@ -1331,7 +1331,7 @@ let to_lic_prg (this:t) : LicPrg.t =
| _ -> add_x k (unflag v) prg
in
let add_node k v prg =
- Verbose.printf ~flag:dbg "#DBG: licTab.to_lic: node key '%s'\n"
+ Lv6Verbose.printf ~flag:dbg "#DBG: licTab.to_lic: node key '%s'\n"
(Lic.string_of_node_key k);
match Lv6Id.pack_of_long (fst k) with
(* | "Lustre" -> prg *)
@@ -1348,25 +1348,25 @@ let to_lic_prg (this:t) : LicPrg.t =
*)
let compile_all (this:t) : t =
let testpack pack_name = (
- Verbose.printf ~level:3 " * package %s\n" (Lv6Id.pack_name_to_string pack_name);
+ Lv6Verbose.printf ~level:3 " * package %s\n" (Lv6Id.pack_name_to_string pack_name);
let prov_symbols =
match AstTab.pack_prov_env this.src_tab pack_name with
| Some tab -> tab
| None -> AstTab.pack_body_env this.src_tab pack_name
in
- Verbose.print_string ~level:3 "\tExported types:\n";
+ Lv6Verbose.print_string ~level:3 "\tExported types:\n";
AstTabSymbol.iter_types prov_symbols (compile_all_types pack_name this);
flush stdout;
- Verbose.print_string ~level:3 "\tExported constants:\n";
+ Lv6Verbose.print_string ~level:3 "\tExported constants:\n";
AstTabSymbol.iter_consts prov_symbols (compile_all_constants pack_name this);
flush stdout;
- Verbose.print_string ~level:3 "\tExported nodes:\n";
+ Lv6Verbose.print_string ~level:3 "\tExported nodes:\n";
AstTabSymbol.iter_nodes prov_symbols (compile_all_nodes pack_name this);
flush stdout
)
in
let plist = AstTab.pack_list this.src_tab in
- Verbose.print_string ~level:3 "*** Dump the exported items of the packages.\n";
+ Lv6Verbose.print_string ~level:3 "*** Dump the exported items of the packages.\n";
try
List.iter testpack plist;
this
@@ -1379,7 +1379,7 @@ let compile_all (this:t) : t =
let compile_node (this:t) (main_node:Lv6Id.idref) : t =
(* la clée "absolue" du main node (pas d'args statiques) *)
let main_node_key = node_key_of_idref main_node in
- Verbose.printf
+ Lv6Verbose.printf
"-- MAIN NODE: \"%s\"\n"
(LicDump.string_of_node_key_rec false main_node_key);
diff --git a/src/lus2licRun.ml b/src/lus2licRun.ml
index 86869e294d5fa4d2fc1f449613c8dff0c5788559..bd0d3afd8c6ce74294f3b8e07a58ff63f0ce5fa7 100644
--- a/src/lus2licRun.ml
+++ b/src/lus2licRun.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 18/06/2015 (at 15:08) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:42) by Erwan Jahier> *)
(*-----------------------------------------------------------------------
** Copyright (C) - Verimag.
*)
@@ -12,7 +12,7 @@ open RdbgPlugin
let make argv =
let opt = Lv6MainArgs.parse argv in
- Verbose.exe ~level:3 (fun () ->
+ Lv6Verbose.exe ~level:3 (fun () ->
Gc.set { (Gc.get ()) with Gc.verbose = 0x01 }
);
if (opt.infiles = []) then (
@@ -27,8 +27,8 @@ let make argv =
Some (Lv6Id.idref_of_string opt.main_node)
in
if opt.outfile <> "" then opt.oc <- open_out opt.outfile;
- let nsl = Compile.get_source_list opt opt.infiles in
- let lic_prg = Compile.doit opt nsl main_node in
+ let nsl = Lv6Compile.get_source_list opt opt.infiles in
+ let lic_prg = Lv6Compile.doit opt nsl main_node in
let nk = (Lic.node_key_of_idref (Lv6Id.to_idref opt.main_node)) in
let sk, soc_tbl =
@@ -93,6 +93,7 @@ let make argv =
let (mems_in : Data.subst list) = [] in (* XXX todo *)
let (mems_out : Data.subst list) = [] in (* XXX todo *)
{
+ id = String.concat " " (Array.to_list argv);
inputs = vntl_i;
outputs= vntl_o;
kill=(fun _ -> ());
diff --git a/src/lustre-v6.mldylib b/src/lustre-v6.mldylib
index 42ab2907e013a468ef696de06a584402b4ea2c33..d912d33b8e9829d9310c542f0aa97e39632cb586 100644
--- a/src/lustre-v6.mldylib
+++ b/src/lustre-v6.mldylib
@@ -1,5 +1,5 @@
# OASIS_START
-# DO NOT EDIT (digest: dd8953705e3a6e5786f72d3409c5318b)
+# DO NOT EDIT (digest: 5504cd39fb61e86b83377c2e27ea1c48)
Lus2licRun
SocExecValue
SocUtils
@@ -8,13 +8,13 @@ Lv6version
Lv6errors
Lxm
Lv6MainArgs
-Verbose
+Lv6Verbose
Soc
SocPredef
Lv6Id
SocExec
SocExecEvalPredef
-Compile
+Lv6Compile
AstTab
AstTabSymbol
AstInstanciateModel
@@ -41,7 +41,7 @@ EvalType
LicPrg
LicMetaOp
L2lCheckOutputs
-Misc
+Lv6Misc
L2lRmPoly
L2lExpandMetaOp
L2lSplit
@@ -57,7 +57,6 @@ Lic2soc
Action
ActionsDeps
SocVar
-Lus2licRun
SortActions
SortActionsExpe
L2lCheckKcgKeyWord
diff --git a/src/lustre-v6.mllib b/src/lustre-v6.mllib
index 42ab2907e013a468ef696de06a584402b4ea2c33..d912d33b8e9829d9310c542f0aa97e39632cb586 100644
--- a/src/lustre-v6.mllib
+++ b/src/lustre-v6.mllib
@@ -1,5 +1,5 @@
# OASIS_START
-# DO NOT EDIT (digest: dd8953705e3a6e5786f72d3409c5318b)
+# DO NOT EDIT (digest: 5504cd39fb61e86b83377c2e27ea1c48)
Lus2licRun
SocExecValue
SocUtils
@@ -8,13 +8,13 @@ Lv6version
Lv6errors
Lxm
Lv6MainArgs
-Verbose
+Lv6Verbose
Soc
SocPredef
Lv6Id
SocExec
SocExecEvalPredef
-Compile
+Lv6Compile
AstTab
AstTabSymbol
AstInstanciateModel
@@ -41,7 +41,7 @@ EvalType
LicPrg
LicMetaOp
L2lCheckOutputs
-Misc
+Lv6Misc
L2lRmPoly
L2lExpandMetaOp
L2lSplit
@@ -57,7 +57,6 @@ Lic2soc
Action
ActionsDeps
SocVar
-Lus2licRun
SortActions
SortActionsExpe
L2lCheckKcgKeyWord
diff --git a/src/compile.ml b/src/lv6Compile.ml
similarity index 97%
rename from src/compile.ml
rename to src/lv6Compile.ml
index 6bcfbef11279988d6ce791684731d0bf54d0bfeb..d631f970c3b44f84c0316ea55aa28a8af226dd55 100644
--- a/src/compile.ml
+++ b/src/lv6Compile.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 18/09/2015 (at 15:45) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:42) by Erwan Jahier> *)
open Lxm
open Lv6errors
@@ -6,11 +6,11 @@ open AstV6
open AstCore
(* get the first package in the package/model list *)
-let dbg = (Verbose.get_flag "ast")
+let dbg = (Lv6Verbose.get_flag "ast")
let info msg =
let t = Sys.time() in
- Verbose.exe ~level:1 (fun () -> Printf.eprintf "%4.4f: %s%!" t msg)
+ Lv6Verbose.exe ~level:1 (fun () -> Printf.eprintf "%4.4f: %s%!" t msg)
let (doit : Lv6MainArgs.t -> AstV6.pack_or_model list -> Lv6Id.idref option -> LicPrg.t) =
fun opt srclist main_node ->
@@ -29,7 +29,7 @@ let (doit : Lv6MainArgs.t -> AstV6.pack_or_model list -> Lv6Id.idref option -> L
*)
let lic_tab = LicTab.create syntax_tab in
- Verbose.exe ~flag:dbg (fun () -> AstTab.dump syntax_tab);
+ Lv6Verbose.exe ~flag:dbg (fun () -> AstTab.dump syntax_tab);
info "Compiling into lic...\n";
let lic_tab = match main_node with
diff --git a/src/compile.mli b/src/lv6Compile.mli
similarity index 100%
rename from src/compile.mli
rename to src/lv6Compile.mli
diff --git a/src/lv6MainArgs.ml b/src/lv6MainArgs.ml
index be89eade904d1bb46b622c5e38c12a3b5816bfd3..03ac6b315ea8ab47ca6fc694f907d253f9fd755a 100644
--- a/src/lv6MainArgs.ml
+++ b/src/lv6MainArgs.ml
@@ -1,11 +1,11 @@
-(* Time-stamp: <modified the 17/08/2015 (at 16:13) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:42) by Erwan Jahier> *)
(*
Le manager d'argument adapté de celui de lutin, plus joli
N.B. solution un peu batarde : les options sont stockées, comme avant, dans Global,
du coup, le fait de rendre un type "t" est une koketerie !
*)
open Lv6version
-open Verbose
+open Lv6Verbose
open Arg
let tool_name = Lv6version.tool
@@ -119,15 +119,15 @@ let (make_opt : unit -> t) =
}
-(** flag 'paranoid' utile pour forcer (via le mecanisme Verbose.exe)
+(** flag 'paranoid' utile pour forcer (via le mecanisme Lv6Verbose.exe)
des vérifs de trucs douteux ...
*)
-let paranoid = (Verbose.get_flag "paranoid")
+let paranoid = (Lv6Verbose.get_flag "paranoid")
let (lexbuf_of_file_name : string -> Lexing.lexbuf) =
fun file ->
let inchannel =
- Verbose.print_string ~level:1
+ Lv6Verbose.print_string ~level:1
(* ("Opening file " ^ (Filename.concat (Sys.getcwd ()) file) ^ "\n"); *)
("Opening file " ^ (file) ^ "\n");
open_in file
@@ -373,13 +373,13 @@ let mkoptab (opt:t) : unit = (
(* verbose *)
mkopt opt
["-v"; "--verbose"]
- (Arg.Unit(function _ -> Verbose.on () ))
+ (Arg.Unit(function _ -> Lv6Verbose.on () ))
["Set the verbose level to 1"]
;
mkopt opt
["-vl"]
~arg:" <int>"
- (Arg.Int(function i -> Verbose.set i))
+ (Arg.Int(function i -> Lv6Verbose.set i))
["Set the verbose level"]
;
mkopt opt
@@ -488,9 +488,9 @@ let mkoptab (opt:t) : unit = (
mkopt opt ~doc_level:Advanced
["-dbg"; "--debug"]
(Arg.Symbol
- ( Verbose.flag_list (), fun s -> let f = Verbose.get_flag s in Verbose.set_flag f))
+ ( Lv6Verbose.flag_list (), fun s -> let f = Lv6Verbose.get_flag s in Lv6Verbose.set_flag f))
[ "<dbg_flag>";
- "Possible dbg_flag are: " ^(String.concat ", " (Verbose.flag_list())) ]
+ "Possible dbg_flag are: " ^(String.concat ", " (Lv6Verbose.flag_list())) ]
)
diff --git a/src/lv6MainArgs.mli b/src/lv6MainArgs.mli
index cf7456b99138105b938a64fc6073480e88a49568..c406712f600abf5fb3d666e056fb04b22bbb29eb 100644
--- a/src/lv6MainArgs.mli
+++ b/src/lv6MainArgs.mli
@@ -66,7 +66,7 @@ type global_opt = {
mutable io_transmit_mode : io_transmit_mode;
mutable schedul_mode : schedul_mode;
}
-val paranoid : Verbose.flag
+val paranoid : Lv6Verbose.flag
val global_opt:global_opt
diff --git a/src/misc.ml b/src/lv6Misc.ml
similarity index 100%
rename from src/misc.ml
rename to src/lv6Misc.ml
diff --git a/src/verbose.ml b/src/lv6Verbose.ml
similarity index 98%
rename from src/verbose.ml
rename to src/lv6Verbose.ml
index 879a42ffd7dcd25fbc6536f61cb93403cc07a4b2..14e0d9b784cf7d40d3a7161bd5bae09f7b792bb3 100644
--- a/src/verbose.ml
+++ b/src/lv6Verbose.ml
@@ -1,5 +1,5 @@
(*----------------------------------------------------------------------
- module : Verbose
+ module : Lv6Verbose
date :
------------------------------------------------------------------------
-- New: 2010/11, debug flag system
@@ -8,7 +8,7 @@
Affichage verbeux avec appel "printf-like" :
-Verbose.put "format" args...
+Lv6Verbose.put "format" args...
N.B. ça a l'air de marcher, seul problème c'est peut-être
l'efficacité, vu que la string '"format" args...' est
diff --git a/src/verbose.mli b/src/lv6Verbose.mli
similarity index 87%
rename from src/verbose.mli
rename to src/lv6Verbose.mli
index 3fe921354ece3bcdabd30e53c9a6c70bae14f902..6eb897f998609edd9ebbae91aaecf14113e1d482 100644
--- a/src/verbose.mli
+++ b/src/lv6Verbose.mli
@@ -1,12 +1,12 @@
(*----------------------------------------------------------------------
- module : Verbose
+ module : Lv6Verbose
date :
------------------------------------------------------------------------
description :
Affichage verbeux avec appel "printf-like" :
-Verbose.put "format" args...
+Lv6Verbose.put "format" args...
----------------------------------------------------------------------*)
@@ -24,11 +24,11 @@ let dbgflag = Global.get_dbg_flag "Toto"
- puis utiliser dans le code :
-Verbose.printf ~flag:dbg ...
-Verbose.exe ~flag:dbg ...
+Lv6Verbose.printf ~flag:dbg ...
+Lv6Verbose.exe ~flag:dbg ...
- si "-dbg Toto" est passé en arguments
- tout les Verbose seront pris en compte
+ tout les Lv6Verbose seront pris en compte
*)
type flag
val get_flag : string -> flag
diff --git a/src/main.ml b/src/main.ml
index 667c7a338de637198939bbbd2ed4add343a57b81..19229a25800c4da3a0bc90df924669aaa9b687e0 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -1,6 +1,6 @@
-(* Time-stamp: <modified the 18/09/2015 (at 15:49) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:42) by Erwan Jahier> *)
-open Verbose
+open Lv6Verbose
open AstV6
open AstCore
open Lxm
@@ -234,14 +234,14 @@ tel
let info msg =
let t = Sys.time() in
- Verbose.exe ~level:1 (fun () -> Printf.eprintf "%4.4f: %s%!" t msg; flush stderr)
+ Lv6Verbose.exe ~level:1 (fun () -> Printf.eprintf "%4.4f: %s%!" t msg; flush stderr)
let main () = (
- (* Compile.init_appli () ; *)
+ (* Lv6Compile.init_appli () ; *)
(* parse_args (); *)
let opt = Lv6MainArgs.parse Sys.argv in
- Verbose.exe ~level:3 (fun () ->
+ Lv6Verbose.exe ~level:3 (fun () ->
Gc.set { (Gc.get ()) with Gc.verbose = 0x01 }
);
if opt.run_unit_test then (UnifyType.unit_test (); my_exit opt 0);
@@ -254,8 +254,8 @@ let main () = (
in
if opt.outfile <> "" then opt.oc <- open_out opt.outfile;
(try (
- let nsl = Compile.get_source_list opt opt.infiles in
- let lic_prg = Compile.doit opt nsl main_node in
+ let nsl = Lv6Compile.get_source_list opt opt.infiles in
+ let lic_prg = Lv6Compile.doit opt nsl main_node in
if opt.print_interface then (
gen_rif_interface lic_prg main_node opt;
info "bye!";
@@ -304,7 +304,7 @@ let main () = (
LicPrg.to_file opt lic_prg main_node
);
- Verbose.exe ~level:3 (fun () -> Gc.print_stat stdout);
+ Lv6Verbose.exe ~level:3 (fun () -> Gc.print_stat stdout);
) with
Sys_error(s) -> prerr_string (s^"\n"); my_exit opt 1
| Global_error s -> print_global_error s; my_exit opt 1
diff --git a/src/soc2c.ml b/src/soc2c.ml
index d211abbc030a6a7e9d88368e56030a9f2ed0a11f..0ead09b6f3da2dfd71cc8df8bcf139c152860bd0 100644
--- a/src/soc2c.ml
+++ b/src/soc2c.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 23/09/2015 (at 10:04) by Erwan Jahier> *)
+(* Time-stamp: <modified the 03/12/2015 (at 10:52) by Erwan JAHIER> *)
(* let put (os: out_channel) (fmt:('a, unit, string, unit) format4) : 'a = *)
diff --git a/src/socExec.ml b/src/socExec.ml
index 0ca93174e88bfed661ad2d5af3340109bb5046b3..4d32680e39c12dbfffa79c84b626c20049651453 100644
--- a/src/socExec.ml
+++ b/src/socExec.ml
@@ -1,14 +1,14 @@
-(* Time-stamp: <modified the 18/06/2015 (at 15:08) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:42) by Erwan Jahier> *)
open Soc
open Data
open SocExecValue
-let dbg = (Verbose.get_flag "exec")
+let dbg = (Lv6Verbose.get_flag "exec")
let (assign_expr : ctx -> var_expr -> var_expr -> ctx) =
fun ctx ve_in ve_out -> (* ve_out := ve_in (in ctx) *)
- Verbose.exe ~flag:dbg
+ Lv6Verbose.exe ~flag:dbg
(fun () -> print_string ("\nAssigning "^(SocUtils.string_of_filter ve_out) ^
" to " ^(SocUtils.string_of_filter ve_in) ^ "\n"); flush stdout);
{ ctx with s =
@@ -203,7 +203,7 @@ let (add_data_subst : var list -> Data.subst list -> SocExecValue.substs -> SocE
let (read_soc_input : Lv6MainArgs.t -> var list -> Data.vntl -> out_channel -> substs -> substs) =
fun opt vntl_i exp_vntl_i_str oc ctx_s ->
let s:Data.subst list =
- RifIO.read ~debug:(Verbose.level()>0) stdin
+ RifIO.read ~debug:(Lv6Verbose.level()>0) stdin
(if opt.Lv6MainArgs.rif then None else Some oc) exp_vntl_i_str
in
add_data_subst vntl_i s ctx_s
@@ -222,7 +222,7 @@ let rec (loop_step : Lv6MainArgs.t -> Soc.tbl -> Soc.var list -> Data.vntl -> Da
RifIO.write_outputs oc f2s exp_vntl_o_str s;
RifIO.write oc "\n";
RifIO.flush oc;
- Verbose.exe ~flag:dbg (fun () -> dump_substs ctx.s; flush stdout);
+ Lv6Verbose.exe ~flag:dbg (fun () -> dump_substs ctx.s; flush stdout);
loop_step opt soc_tbl vntl_i exp_vntl_i_str exp_vntl_o_str soc ctx (step_nb+1) oc
let (f : Lv6MainArgs.t -> Soc.tbl -> Soc.key -> unit) =
@@ -284,7 +284,7 @@ let rec (do_step_dbg : Soc.tbl -> Soc.t -> Event.ctx -> SocExecValue.ctx ->
Event.outputs = ectx.Event.ctx_outputs;
Event.sinfo = None;
Event.data = ectx.Event.ctx_data;
- Event.next = (fun () -> Event.event_nb := enb; cont ctx);
+ Event.next = (fun () -> Event.set_nb enb; cont ctx);
Event.terminate = ectx.Event.ctx_terminate;
}
in
diff --git a/src/socExecValue.ml b/src/socExecValue.ml
index c5362f748ebb4bf5cdc8bc6de608f9c54d55cfd8..d0409593f579ff21bdc02c40d5a2dac7fc6c5b0c 100644
--- a/src/socExecValue.ml
+++ b/src/socExecValue.ml
@@ -1,6 +1,6 @@
-(* Time-stamp: <modified the 02/09/2014 (at 14:03) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:43) by Erwan Jahier> *)
-let dbg = (Verbose.get_flag "exec")
+let dbg = (Lv6Verbose.get_flag "exec")
open Soc
open Data
@@ -225,7 +225,7 @@ let (get_val : ident -> ctx -> Data.v) =
in
try find ctx.s (List.rev (id::ctx.cpath))
with Not_found ->
- Verbose.exe ~flag:dbg (fun () ->
+ Lv6Verbose.exe ~flag:dbg (fun () ->
let msg = "Warning " ^(path_to_string (id::ctx.cpath)) ^ " unbound in \n"
^ (string_of_substs ctx.s)
in
diff --git a/src/unifyClock.ml b/src/unifyClock.ml
index 415c2aba1b675c680a9d83eb7f54b503ba563bbb..c0eeb5be92b0733287b6c121a591c8f970cc480d 100644
--- a/src/unifyClock.ml
+++ b/src/unifyClock.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 26/02/2015 (at 11:25) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:43) by Erwan Jahier> *)
(* XXX a revoir et faire comme expliqué ici :
http://www.cs.cornell.edu/courses/cs3110/2011sp/lectures/lec26-type-inference/type-inference.htm
@@ -24,7 +24,7 @@ open Lv6errors
open Lic
(** DEBUG FLAG *)
-let dbg = (Verbose.get_flag "clocking")
+let dbg = (Lv6Verbose.get_flag "clocking")
let ci2str = LicDump.string_of_clock2
@@ -274,7 +274,7 @@ let (f : subst -> Lxm.t -> Lic.clock -> Lic.clock -> subst) =
in
if compatible then (
if s <> (s1,s2) then
- Verbose.print_string ~flag:dbg (
+ Lv6Verbose.print_string ~flag:dbg (
"# clock checking ("^(Lxm.position lxm)^"), unifying '" ^ (ci2str arg) ^
"' and '" ^ (ci2str par) ^ "': "^ (subst_to_string s) ^"\n");
s
diff --git a/src/unifyType.ml b/src/unifyType.ml
index 9dd4b16c95927f503184e5caba71a0be2e810446..ff9d2d7940892f753558b2ba93b694a2248f9c16 100644
--- a/src/unifyType.ml
+++ b/src/unifyType.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 26/02/2015 (at 11:25) by Erwan Jahier> *)
+(* Time-stamp: <modified the 14/01/2016 (at 10:51) by Erwan Jahier> *)
(*
12/07. Premier pas vers une méthode un peu plus standard :
@@ -11,7 +11,7 @@
open Lic
(** DEBUG FLAG *)
-let dbg = (Verbose.get_flag "typing")
+let dbg = (Lv6Verbose.get_flag "typing")
(* exported *)
type t =
@@ -106,14 +106,14 @@ let f (l1: Lic.type_ list) (l2: Lic.type_ list): t =
let l1_str = Lic.string_of_type_list l1 in
let l2_str = Lic.string_of_type_list l2 in
- Verbose.printf ~flag:dbg "#DBG: UnifyType.f (%s) with (%s) \n" l1_str l2_str;
+ Lv6Verbose.printf ~flag:dbg "#DBG: UnifyType.f (%s) with (%s) \n" l1_str l2_str;
if (List.length l1 <> List.length l2) then
Ko("\n** "^ l1_str ^ " and " ^ l2_str ^ " are not unifiable (bad arity)")
else
let res =
assert (List.length l1 = List.length l2);
List.fold_left2 unify_do_acc Equal l1 l2 in
- Verbose.printf ~flag:dbg
+ Lv6Verbose.printf ~flag:dbg
"#DBG: UnifyType.f (%s) with (%s) gives %s\n"
(Lic.string_of_type_list l1)
(Lic.string_of_type_list l2)
@@ -241,7 +241,7 @@ let unit_test () =
Random.self_init ();
for i = 1 to 1000 do
let (tl1, tl2) = gen_unifiable_typeff_of_size (1+ Random.int 10) in
- Verbose.print_string ~level:3 (
+ Lv6Verbose.print_string ~level:3 (
" ==> try UnifyType.proposition1 with lists " ^
(type_eff_list_to_string tl1) ^ " and " ^
(type_eff_list_to_string tl2) ^ "\n");
diff --git a/test/Makefile b/test/Makefile
index 977c1fb1b4e45e77aea2702ee360aff4f7a57bfb..ad47b4533a5b16882d15d0705b60d6f1e69ad076 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -1,8 +1,8 @@
# to run the test, one needs to (apt-get) install:
# dejagnu tcl tcllib
-all: clean ltop qtest rest
-test: clean ltop qtest
+all: clean qtest rest
+test: clean qtest
rest: reftest lus2lic.time
jenkins: clean qtest rest
@@ -13,11 +13,6 @@ TEST_MACHINE=ssh ovaz
OCAMLRUNPARAM=s=1M,i=32M,o=150
-# ltop is necessary because it is used for the non-reg test and it depends on some src here...
-# When I use rdbg -lurette, I can throw that ltop dep away
-ltop:
- cd .. ; make ltop
-
copy_extern:
cp -f extern_files/* .
diff --git a/test/lus2lic.sum b/test/lus2lic.sum
index 1ea40afc5933c27ee21bccc42a1861a5adb27fc5..8c77c854a84b2a2d9cf002b144284e5ce6a15c1f 100644
--- a/test/lus2lic.sum
+++ b/test/lus2lic.sum
@@ -1,5 +1,5 @@
==> lus2lic0.sum <==
-Test Run By jahier on Wed Sep 23 15:47:24
+Test Run By jahier on Thu Jan 14 10:56:00
Native configuration is x86_64-unknown-linux-gnu
=== lus2lic0 tests ===
@@ -64,7 +64,7 @@ XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/lecte
XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/s.lus
==> lus2lic1.sum <==
-Test Run By jahier on Wed Sep 23 15:47:24
+Test Run By jahier on Thu Jan 14 10:56:00
Native configuration is x86_64-unknown-linux-gnu
=== lus2lic1 tests ===
@@ -76,327 +76,327 @@ Running target unix
Running ./lus2lic.tests/test1.exp ...
PASS: ./lus2lic {-2c COUNTER.lus -n COUNTER}
PASS: gcc -o COUNTER.exec COUNTER_COUNTER.c COUNTER_COUNTER_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c COUNTER.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c COUNTER.lus {}
PASS: ./lus2lic {-2c CURRENT.lus -n CURRENT}
PASS: gcc -o CURRENT.exec CURRENT_CURRENT.c CURRENT_CURRENT_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c CURRENT.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c CURRENT.lus {}
PASS: ./lus2lic {-2c Condact.lus -n Condact}
PASS: ./lus2lic {-2c EDGE.lus -n EDGE}
PASS: gcc -o EDGE.exec EDGE_EDGE.c EDGE_EDGE_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c EDGE.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c EDGE.lus {}
PASS: ./lus2lic {-2c ELMU.lus -n ELMU}
PASS: gcc -o ELMU.exec ELMU_ELMU.c ELMU_ELMU_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ELMU.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ELMU.lus {}
PASS: ./lus2lic {-2c FALLING_EDGE.lus -n FALLING_EDGE}
PASS: gcc -o FALLING_EDGE.exec FALLING_EDGE_FALLING_EDGE.c FALLING_EDGE_FALLING_EDGE_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FALLING_EDGE.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FALLING_EDGE.lus {}
PASS: ./lus2lic {-2c FillFollowedByRed.lus -n FillFollowedByRed}
PASS: gcc -o FillFollowedByRed.exec FillFollowedByRed_FillFollowedByRed.c FillFollowedByRed_FillFollowedByRed_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FillFollowedByRed.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FillFollowedByRed.lus {}
PASS: ./lus2lic {-2c Gyroscope.lus -n Gyroscope}
PASS: gcc -o Gyroscope.exec Gyroscope_Gyroscope.c Gyroscope_Gyroscope_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope.lus {}
PASS: ./lus2lic {-2c Gyroscope2.lus -n Gyroscope2}
PASS: gcc -o Gyroscope2.exec Gyroscope2_Gyroscope2.c Gyroscope2_Gyroscope2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope2.lus {}
PASS: ./lus2lic {-2c aa.lus -n aa}
PASS: gcc -o aa.exec aa_aa.c aa_aa_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c aa.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c aa.lus {}
PASS: ./lus2lic {-2c access.lus -n access}
PASS: gcc -o access.exec access_access.c access_access_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c access.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c access.lus {}
PASS: ./lus2lic --expand-nodes {-2c activation1.lus -n activation1}
PASS: gcc -o activation1.exec activation1_activation1.c activation1_activation1_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation1.lus { --expand-nodes}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation1.lus { --expand-nodes}
PASS: ./lus2lic --expand-nodes {-2c activation2.lus -n activation2}
PASS: gcc -o activation2.exec activation2_activation2.c activation2_activation2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation2.lus { --expand-nodes}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation2.lus { --expand-nodes}
PASS: ./lus2lic {-2c activation_ec.lus -n activation_ec}
PASS: gcc -o activation_ec.exec activation_ec_activation_ec.c activation_ec_activation_ec_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation_ec.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation_ec.lus {}
PASS: ./lus2lic {-2c after.lus -n after}
PASS: gcc -o after.exec after_after.c after_after_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c after.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c after.lus {}
PASS: ./lus2lic {-2c alias.lus -n alias}
PASS: gcc -o alias.exec alias_alias.c alias_alias_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c alias.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c alias.lus {}
FAIL: Generate c code : ./lus2lic {-2c amaury.lus -n amaury}
PASS: ./lus2lic {-2c arbitre.lus -n arbitre}
PASS: ./lus2lic {-2c argos.lus -n argos}
PASS: gcc -o argos.exec argos_argos.c argos_argos_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c argos.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c argos.lus {}
PASS: ./lus2lic {-2c array_concat.lus -n array_concat}
PASS: gcc -o array_concat.exec array_concat_array_concat.c array_concat_array_concat_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat.lus {}
PASS: ./lus2lic {-2c array_concat2.lus -n array_concat2}
PASS: gcc -o array_concat2.exec array_concat2_array_concat2.c array_concat2_array_concat2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat2.lus {}
PASS: ./lus2lic {-2c arrays.lus -n arrays}
PASS: gcc -o arrays.exec arrays_arrays.c arrays_arrays_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c arrays.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c arrays.lus {}
PASS: ./lus2lic --expand-nodes {-2c asservi.lus -n asservi}
PASS: ./lus2lic {-2c bad_call03.lus -n bad_call03}
PASS: gcc -o bad_call03.exec bad_call03_bad_call03.c bad_call03_bad_call03_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bad_call03.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bad_call03.lus {}
PASS: ./lus2lic {-2c bascule.lus -n bascule}
PASS: gcc -o bascule.exec bascule_bascule.c bascule_bascule_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bascule.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bascule.lus {}
PASS: ./lus2lic {-2c bob.lus -n bob}
PASS: gcc -o bob.exec bob_bob.c bob_bob_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bob.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bob.lus {}
PASS: ./lus2lic {-2c bred.lus -n bred}
PASS: gcc -o bred.exec bred_bred.c bred_bred_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bred.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bred.lus {}
PASS: ./lus2lic {-2c bred_lv4.lus -n bred_lv4}
PASS: gcc -o bred_lv4.exec bred_lv4_bred_lv4.c bred_lv4_bred_lv4_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bred_lv4.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bred_lv4.lus {}
PASS: ./lus2lic {-2c bug.lus -n bug}
PASS: gcc -o bug.exec bug_bug.c bug_bug_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bug.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bug.lus {}
PASS: ./lus2lic {-2c bug2.lus -n bug2}
PASS: gcc -o bug2.exec bug2_bug2.c bug2_bug2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bug2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bug2.lus {}
PASS: ./lus2lic {-2c calculs_max.lus -n calculs_max}
PASS: gcc -o calculs_max.exec calculs_max_calculs_max.c calculs_max_calculs_max_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c calculs_max.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c calculs_max.lus {}
PASS: ./lus2lic {-2c call.lus -n call}
PASS: ./lus2lic {-2c call01.lus -n call01}
PASS: ./lus2lic {-2c call02.lus -n call02}
PASS: gcc -o call02.exec call02_call02.c call02_call02_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call02.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call02.lus {}
PASS: ./lus2lic {-2c call03.lus -n call03}
PASS: ./lus2lic {-2c call04.lus -n call04}
PASS: gcc -o call04.exec call04_call04.c call04_call04_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call04.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call04.lus {}
PASS: ./lus2lic {-2c call05.lus -n call05}
PASS: ./lus2lic {-2c call06.lus -n call06}
PASS: ./lus2lic {-2c call07.lus -n call07}
PASS: gcc -o call07.exec call07_call07.c call07_call07_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call07.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call07.lus {}
PASS: ./lus2lic {-2c carV2.lus -n carV2}
PASS: gcc -o carV2.exec carV2_carV2.c carV2_carV2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c carV2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c carV2.lus {}
FAIL: Generate c code : ./lus2lic {-2c carligths.lus -n carligths}
PASS: ./lus2lic {-2c ck2.lus -n ck2}
PASS: gcc -o ck2.exec ck2_ck2.c ck2_ck2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck2.lus {}
PASS: ./lus2lic {-2c ck3.lus -n ck3}
PASS: gcc -o ck3.exec ck3_ck3.c ck3_ck3_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck3.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck3.lus {}
PASS: ./lus2lic {-2c ck4.lus -n ck4}
PASS: gcc -o ck4.exec ck4_ck4.c ck4_ck4_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck4.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck4.lus {}
PASS: ./lus2lic {-2c ck5.lus -n ck5}
PASS: gcc -o ck5.exec ck5_ck5.c ck5_ck5_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck5.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck5.lus {}
PASS: ./lus2lic {-2c ck6.lus -n ck6}
PASS: ./lus2lic {-2c ck7.lus -n ck7}
PASS: gcc -o ck7.exec ck7_ck7.c ck7_ck7_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck7.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck7.lus {}
PASS: ./lus2lic {-2c clock1_2ms.lus -n clock1_2ms}
PASS: gcc -o clock1_2ms.exec clock1_2ms_clock1_2ms.c clock1_2ms_clock1_2ms_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c clock1_2ms.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c clock1_2ms.lus {}
PASS: ./lus2lic {-2c clock_ite.lus -n clock_ite}
PASS: gcc -o clock_ite.exec clock_ite_clock_ite.c clock_ite_clock_ite_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c clock_ite.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c clock_ite.lus {}
PASS: ./lus2lic {-2c cminus.lus -n cminus}
PASS: gcc -o cminus.exec cminus_cminus.c cminus_cminus_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cminus.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cminus.lus {}
PASS: ./lus2lic {-2c complex.lus -n complex}
PASS: ./lus2lic {-2c compteur.lus -n compteur}
PASS: gcc -o compteur.exec compteur_compteur.c compteur_compteur_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c compteur.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c compteur.lus {}
FAIL: Generate c code : ./lus2lic {-2c cond01.lus -n cond01}
PASS: ./lus2lic {-2c consensus.lus -n consensus}
PASS: gcc -o consensus.exec consensus_consensus.c consensus_consensus_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c consensus.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c consensus.lus {}
PASS: ./lus2lic {-2c consensus2.lus -n consensus2}
PASS: gcc -o consensus2.exec consensus2_consensus2.c consensus2_consensus2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c consensus2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c consensus2.lus {}
PASS: ./lus2lic {-2c contractForElementSelectionInArray.lus -n contractForElementSelectionInArray}
PASS: gcc -o contractForElementSelectionInArray.exec contractForElementSelectionInArray_contractForElementSelectionInArray.c contractForElementSelectionInArray_contractForElementSelectionInArray_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c contractForElementSelectionInArray.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c contractForElementSelectionInArray.lus {}
PASS: ./lus2lic {-2c count.lus -n count}
PASS: gcc -o count.exec count_count.c count_count_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c count.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c count.lus {}
PASS: ./lus2lic {-2c cpt.lus -n cpt}
PASS: gcc -o cpt.exec cpt_cpt.c cpt_cpt_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cpt.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cpt.lus {}
PASS: ./lus2lic {-2c cst.lus -n cst}
PASS: gcc -o cst.exec cst_cst.c cst_cst_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cst.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cst.lus {}
PASS: ./lus2lic {-2c deSimone.lus -n deSimone}
PASS: gcc -o deSimone.exec deSimone_deSimone.c deSimone_deSimone_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c deSimone.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c deSimone.lus {}
PASS: ./lus2lic {-2c decl.lus -n decl}
PASS: ./lus2lic {-2c declaration.lus -n declaration}
PASS: ./lus2lic {-2c deconne.lus -n deconne}
PASS: ./lus2lic {-2c dep.lus -n dep}
PASS: gcc -o dep.exec dep_dep.c dep_dep_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dep.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dep.lus {}
PASS: ./lus2lic {-2c dependeur.lus -n dependeur}
PASS: gcc -o dependeur.exec dependeur_dependeur.c dependeur_dependeur_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dependeur.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dependeur.lus {}
PASS: ./lus2lic {-2c dependeur_struct.lus -n dependeur_struct}
PASS: gcc -o dependeur_struct.exec dependeur_struct_dependeur_struct.c dependeur_struct_dependeur_struct_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dependeur_struct.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dependeur_struct.lus {}
PASS: ./lus2lic {-2c double_delay.lus -n double_delay}
PASS: gcc -o double_delay.exec double_delay_double_delay.c double_delay_double_delay_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c double_delay.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c double_delay.lus {}
PASS: ./lus2lic {-2c ec.lus -n ec}
PASS: gcc -o ec.exec ec_ec.c ec_ec_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ec.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ec.lus {}
PASS: ./lus2lic {-2c enum0.lus -n enum0}
PASS: gcc -o enum0.exec enum0_enum0.c enum0_enum0_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c enum0.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c enum0.lus {}
PASS: ./lus2lic {-2c ex.lus -n ex}
PASS: gcc -o ex.exec ex_ex.c ex_ex_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ex.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ex.lus {}
PASS: ./lus2lic {-2c exclusion.lus -n exclusion}
PASS: gcc -o exclusion.exec exclusion_exclusion.c exclusion_exclusion_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c exclusion.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c exclusion.lus {}
PASS: ./lus2lic {-2c filliter.lus -n filliter}
PASS: gcc -o filliter.exec filliter_filliter.c filliter_filliter_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c filliter.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c filliter.lus {}
FAIL: Generate c code : ./lus2lic {-2c filter.lus -n filter}
PASS: ./lus2lic {-2c flo.lus -n flo}
PASS: gcc -o flo.exec flo_flo.c flo_flo_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c flo.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c flo.lus {}
PASS: ./lus2lic {-2c followed_by.lus -n followed_by}
PASS: gcc -o followed_by.exec followed_by_followed_by.c followed_by_followed_by_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c followed_by.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c followed_by.lus {}
PASS: ./lus2lic {-2c fresh_name.lus -n fresh_name}
PASS: gcc -o fresh_name.exec fresh_name_fresh_name.c fresh_name_fresh_name_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c fresh_name.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c fresh_name.lus {}
PASS: ./lus2lic {-2c func_with_body.lus -n func_with_body}
PASS: ./lus2lic {-2c hanane.lus -n hanane}
PASS: gcc -o hanane.exec hanane_hanane.c hanane_hanane_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c hanane.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c hanane.lus {}
PASS: ./lus2lic {-2c heater_control.lus -n heater_control}
PASS: gcc -o heater_control.exec heater_control_heater_control.c heater_control_heater_control_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c heater_control.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c heater_control.lus {}
PASS: ./lus2lic {-2c impl_priority.lus -n impl_priority}
PASS: gcc -o impl_priority.exec impl_priority_impl_priority.c impl_priority_impl_priority_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c impl_priority.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c impl_priority.lus {}
PASS: ./lus2lic {-2c import1.lus -n import1}
PASS: ./lus2lic {-2c initial.lus -n initial}
PASS: gcc -o initial.exec initial_initial.c initial_initial_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c initial.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c initial.lus {}
PASS: ./lus2lic {-2c integrator.lus -n integrator}
PASS: gcc -o integrator.exec integrator_integrator.c integrator_integrator_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c integrator.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c integrator.lus {}
PASS: ./lus2lic {-2c is_stable.lus -n is_stable}
PASS: gcc -o is_stable.exec is_stable_is_stable.c is_stable_is_stable_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c is_stable.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c is_stable.lus {}
PASS: ./lus2lic {-2c iter.lus -n iter}
PASS: gcc -o iter.exec iter_iter.c iter_iter_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iter.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iter.lus {}
PASS: ./lus2lic {-2c iterFibo.lus -n iterFibo}
PASS: gcc -o iterFibo.exec iterFibo_iterFibo.c iterFibo_iterFibo_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterFibo.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterFibo.lus {}
PASS: ./lus2lic {-2c iterate.lus -n iterate}
PASS: gcc -o iterate.exec iterate_iterate.c iterate_iterate_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterate.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterate.lus {}
PASS: ./lus2lic {-2c long_et_stupide_nom_de_noeud.lus -n long_et_stupide_nom_de_noeud}
PASS: gcc -o long_et_stupide_nom_de_noeud.exec long_et_stupide_nom_de_noeud_long_et_stupide_nom_de_noeud.c long_et_stupide_nom_de_noeud_long_et_stupide_nom_de_noeud_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c long_et_stupide_nom_de_noeud.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c long_et_stupide_nom_de_noeud.lus {}
PASS: ./lus2lic {-2c lucky.lus -n lucky}
PASS: gcc -o lucky.exec lucky_lucky.c lucky_lucky_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c lucky.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c lucky.lus {}
PASS: ./lus2lic {-2c lustre_test1_ok.lus -n lustre_test1_ok}
PASS: gcc -o lustre_test1_ok.exec lustre_test1_ok_lustre_test1_ok.c lustre_test1_ok_lustre_test1_ok_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c lustre_test1_ok.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c lustre_test1_ok.lus {}
PASS: ./lus2lic {-2c map.lus -n map}
PASS: gcc -o map.exec map_map.c map_map_loop.c
FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c map.lus {}
PASS: ./lus2lic {-2c map_red_iter.lus -n map_red_iter}
PASS: gcc -o map_red_iter.exec map_red_iter_map_red_iter.c map_red_iter_map_red_iter_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c map_red_iter.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c map_red_iter.lus {}
PASS: ./lus2lic {-2c mapdeRed.lus -n mapdeRed}
PASS: gcc -o mapdeRed.exec mapdeRed_mapdeRed.c mapdeRed_mapdeRed_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapdeRed.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapdeRed.lus {}
PASS: ./lus2lic {-2c mapinf.lus -n mapinf}
PASS: gcc -o mapinf.exec mapinf_mapinf.c mapinf_mapinf_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapinf.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapinf.lus {}
PASS: ./lus2lic {-2c mapiter.lus -n mapiter}
PASS: gcc -o mapiter.exec mapiter_mapiter.c mapiter_mapiter_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapiter.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapiter.lus {}
PASS: ./lus2lic {-2c mappredef.lus -n mappredef}
PASS: gcc -o mappredef.exec mappredef_mappredef.c mappredef_mappredef_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mappredef.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mappredef.lus {}
PASS: ./lus2lic {-2c matrice.lus -n matrice}
PASS: gcc -o matrice.exec matrice_matrice.c matrice_matrice_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice.lus {}
PASS: ./lus2lic {-2c matrice2.lus -n matrice2}
PASS: gcc -o matrice2.exec matrice2_matrice2.c matrice2_matrice2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice2.lus {}
PASS: ./lus2lic {-2c minmax1.lus -n minmax1}
PASS: gcc -o minmax1.exec minmax1_minmax1.c minmax1_minmax1_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax1.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax1.lus {}
PASS: ./lus2lic {-2c minmax2.lus -n minmax2}
PASS: gcc -o minmax2.exec minmax2_minmax2.c minmax2_minmax2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax2.lus {}
PASS: ./lus2lic {-2c minmax3.lus -n minmax3}
PASS: gcc -o minmax3.exec minmax3_minmax3.c minmax3_minmax3_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax3.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax3.lus {}
PASS: ./lus2lic {-2c minmax4.lus -n minmax4}
PASS: gcc -o minmax4.exec minmax4_minmax4.c minmax4_minmax4_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax4.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax4.lus {}
PASS: ./lus2lic {-2c minmax4_bis.lus -n minmax4_bis}
PASS: gcc -o minmax4_bis.exec minmax4_bis_minmax4_bis.c minmax4_bis_minmax4_bis_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax4_bis.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax4_bis.lus {}
PASS: ./lus2lic {-2c minmax5.lus -n minmax5}
PASS: ./lus2lic {-2c minmax5_random.lus -n minmax5_random}
PASS: ./lus2lic {-2c minmax6.lus -n minmax6}
PASS: gcc -o minmax6.exec minmax6_minmax6.c minmax6_minmax6_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax6.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax6.lus {}
PASS: ./lus2lic {-2c minus.lus -n minus}
PASS: gcc -o minus.exec minus_minus.c minus_minus_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minus.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minus.lus {}
PASS: ./lus2lic {-2c mm.lus -n mm}
PASS: gcc -o mm.exec mm_mm.c mm_mm_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm.lus {}
PASS: ./lus2lic {-2c mm1.lus -n mm1}
PASS: gcc -o mm1.exec mm1_mm1.c mm1_mm1_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm1.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm1.lus {}
PASS: ./lus2lic {-2c mm22.lus -n mm22}
PASS: gcc -o mm22.exec mm22_mm22.c mm22_mm22_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm22.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm22.lus {}
PASS: ./lus2lic {-2c mm3.lus -n mm3}
PASS: gcc -o mm3.exec mm3_mm3.c mm3_mm3_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm3.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm3.lus {}
PASS: ./lus2lic {-2c modelInst.lus -n modelInst}
PASS: ./lus2lic {-2c modes3x2_v2.lus -n modes3x2_v2}
PASS: gcc -o modes3x2_v2.exec modes3x2_v2_modes3x2_v2.c modes3x2_v2_modes3x2_v2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c modes3x2_v2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c modes3x2_v2.lus {}
PASS: ./lus2lic {-2c modes3x2_v3.lus -n modes3x2_v3}
PASS: gcc -o modes3x2_v3.exec modes3x2_v3_modes3x2_v3.c modes3x2_v3_modes3x2_v3_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c modes3x2_v3.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c modes3x2_v3.lus {}
PASS: ./lus2lic {-2c modes3x2_v4.lus -n modes3x2_v4}
PASS: ./lus2lic {-2c mouse.lus -n mouse}
PASS: gcc -o mouse.exec mouse_mouse.c mouse_mouse_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse.lus {}
PASS: ./lus2lic {-2c mouse1.lus -n mouse1}
PASS: gcc -o mouse1.exec mouse1_mouse1.c mouse1_mouse1_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse1.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse1.lus {}
PASS: ./lus2lic {-2c mouse2.lus -n mouse2}
PASS: gcc -o mouse2.exec mouse2_mouse2.c mouse2_mouse2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse2.lus {}
PASS: ./lus2lic {-2c mouse3.lus -n mouse3}
PASS: gcc -o mouse3.exec mouse3_mouse3.c mouse3_mouse3_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse3.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse3.lus {}
PASS: ./lus2lic {-2c moyenne.lus -n moyenne}
PASS: gcc -o moyenne.exec moyenne_moyenne.c moyenne_moyenne_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c moyenne.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c moyenne.lus {}
PASS: ./lus2lic {-2c multiclock.lus -n multiclock}
PASS: gcc -o multiclock.exec multiclock_multiclock.c multiclock_multiclock_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multiclock.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multiclock.lus {}
PASS: ./lus2lic {-2c multipar.lus -n multipar}
PASS: gcc -o multipar.exec multipar_multipar.c multipar_multipar_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus {}
==> lus2lic2.sum <==
-Test Run By jahier on Wed Sep 23 15:47:39
+Test Run By jahier on Thu Jan 14 10:56:13
Native configuration is x86_64-unknown-linux-gnu
=== lus2lic2 tests ===
@@ -408,114 +408,114 @@ Running target unix
Running ./lus2lic.tests/test2.exp ...
PASS: ./lus2lic {-2c PCOND.lus -n PCOND}
PASS: gcc -o PCOND.exec PCOND_PCOND.c PCOND_PCOND_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c PCOND.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c PCOND.lus {}
PASS: ./lus2lic {-2c PCOND1.lus -n PCOND1}
PASS: gcc -o PCOND1.exec PCOND1_PCOND1.c PCOND1_PCOND1_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c PCOND1.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c PCOND1.lus {}
PASS: ./lus2lic {-2c SOURIS.lus -n SOURIS}
PASS: gcc -o SOURIS.exec SOURIS_SOURIS.c SOURIS_SOURIS_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SOURIS.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SOURIS.lus {}
PASS: ./lus2lic {-2c STABLE.lus -n STABLE}
PASS: gcc -o STABLE.exec STABLE_STABLE.c STABLE_STABLE_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c STABLE.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c STABLE.lus {}
PASS: ./lus2lic {-2c SWITCH.lus -n SWITCH}
PASS: gcc -o SWITCH.exec SWITCH_SWITCH.c SWITCH_SWITCH_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SWITCH.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SWITCH.lus {}
PASS: ./lus2lic {-2c SWITCH1.lus -n SWITCH1}
PASS: gcc -o SWITCH1.exec SWITCH1_SWITCH1.c SWITCH1_SWITCH1_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SWITCH1.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SWITCH1.lus {}
PASS: ./lus2lic {-2c TIME_STABLE.lus -n TIME_STABLE}
PASS: gcc -o TIME_STABLE.exec TIME_STABLE_TIME_STABLE.c TIME_STABLE_TIME_STABLE_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c TIME_STABLE.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c TIME_STABLE.lus {}
PASS: ./lus2lic {-2c TIME_STABLE1.lus -n TIME_STABLE1}
PASS: gcc -o TIME_STABLE1.exec TIME_STABLE1_TIME_STABLE1.c TIME_STABLE1_TIME_STABLE1_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c TIME_STABLE1.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c TIME_STABLE1.lus {}
PASS: ./lus2lic {-2c Watch.lus -n Watch}
PASS: ./lus2lic {-2c X.lus -n X}
PASS: gcc -o X.exec X_X.c X_X_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X.lus {}
PASS: ./lus2lic {-2c X2.lus -n X2}
PASS: gcc -o X2.exec X2_X2.c X2_X2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X2.lus {}
PASS: ./lus2lic {-2c X6.lus -n X6}
PASS: gcc -o X6.exec X6_X6.c X6_X6_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X6.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X6.lus {}
PASS: ./lus2lic {-2c Xr.lus -n Xr}
PASS: gcc -o Xr.exec Xr_Xr.c Xr_Xr_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Xr.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Xr.lus {}
PASS: ./lus2lic {-2c nc1.lus -n nc1}
PASS: gcc -o nc1.exec nc1_nc1.c nc1_nc1_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc1.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc1.lus {}
PASS: ./lus2lic {-2c nc10.lus -n nc10}
PASS: gcc -o nc10.exec nc10_nc10.c nc10_nc10_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc10.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc10.lus {}
PASS: ./lus2lic {-2c nc2.lus -n nc2}
PASS: gcc -o nc2.exec nc2_nc2.c nc2_nc2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc2.lus {}
PASS: ./lus2lic {-2c nc3.lus -n nc3}
PASS: gcc -o nc3.exec nc3_nc3.c nc3_nc3_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc3.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc3.lus {}
PASS: ./lus2lic {-2c nc4.lus -n nc4}
PASS: gcc -o nc4.exec nc4_nc4.c nc4_nc4_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc4.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc4.lus {}
PASS: ./lus2lic {-2c nc5.lus -n nc5}
PASS: gcc -o nc5.exec nc5_nc5.c nc5_nc5_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc5.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc5.lus {}
PASS: ./lus2lic {-2c nc6.lus -n nc6}
PASS: gcc -o nc6.exec nc6_nc6.c nc6_nc6_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc6.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc6.lus {}
PASS: ./lus2lic {-2c nc7.lus -n nc7}
PASS: gcc -o nc7.exec nc7_nc7.c nc7_nc7_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc7.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc7.lus {}
PASS: ./lus2lic {-2c nc8.lus -n nc8}
PASS: gcc -o nc8.exec nc8_nc8.c nc8_nc8_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc8.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc8.lus {}
PASS: ./lus2lic {-2c nc9.lus -n nc9}
PASS: gcc -o nc9.exec nc9_nc9.c nc9_nc9_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc9.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc9.lus {}
PASS: ./lus2lic {-2c nested.lus -n nested}
PASS: gcc -o nested.exec nested_nested.c nested_nested_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nested.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nested.lus {}
PASS: ./lus2lic {-2c newpacks.lus -n newpacks}
PASS: ./lus2lic {-2c noAlarm.lus -n noAlarm}
PASS: gcc -o noAlarm.exec noAlarm_noAlarm.c noAlarm_noAlarm_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noAlarm.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noAlarm.lus {}
PASS: ./lus2lic {-2c node_caller1.lus -n node_caller1}
PASS: gcc -o node_caller1.exec node_caller1_node_caller1.c node_caller1_node_caller1_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c node_caller1.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c node_caller1.lus {}
PASS: ./lus2lic {-2c nodeparam.lus -n nodeparam}
PASS: gcc -o nodeparam.exec nodeparam_nodeparam.c nodeparam_nodeparam_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nodeparam.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nodeparam.lus {}
PASS: ./lus2lic {-2c noeudsIndependants.lus -n noeudsIndependants}
PASS: gcc -o noeudsIndependants.exec noeudsIndependants_noeudsIndependants.c noeudsIndependants_noeudsIndependants_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noeudsIndependants.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noeudsIndependants.lus {}
PASS: ./lus2lic {-2c normal.lus -n normal}
PASS: gcc -o normal.exec normal_normal.c normal_normal_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c normal.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c normal.lus {}
PASS: ./lus2lic {-2c notTwo.lus -n notTwo}
PASS: gcc -o notTwo.exec notTwo_notTwo.c notTwo_notTwo_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c notTwo.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c notTwo.lus {}
PASS: ./lus2lic {-2c o2l_feux_compl.lus -n o2l_feux_compl}
PASS: gcc -o o2l_feux_compl.exec o2l_feux_compl_o2l_feux_compl.c o2l_feux_compl_o2l_feux_compl_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c o2l_feux_compl.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c o2l_feux_compl.lus {}
PASS: ./lus2lic {-2c oneq.lus -n oneq}
PASS: gcc -o oneq.exec oneq_oneq.c oneq_oneq_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c oneq.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c oneq.lus {}
PASS: ./lus2lic {-2c onlyroll.lus -n onlyroll}
PASS: gcc -o onlyroll.exec onlyroll_onlyroll.c onlyroll_onlyroll_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c onlyroll.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c onlyroll.lus {}
PASS: ./lus2lic {-2c onlyroll2.lus -n onlyroll2}
PASS: gcc -o onlyroll2.exec onlyroll2_onlyroll2.c onlyroll2_onlyroll2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c onlyroll2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c onlyroll2.lus {}
PASS: ./lus2lic {-2c over2.lus -n over2}
PASS: gcc -o over2.exec over2_over2.c over2_over2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c over2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c over2.lus {}
PASS: ./lus2lic {-2c over3.lus -n over3}
PASS: gcc -o over3.exec over3_over3.c over3_over3_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c over3.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c over3.lus {}
PASS: ./lus2lic {-2c overload.lus -n overload}
PASS: gcc -o overload.exec overload_overload.c overload_overload_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c overload.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c overload.lus {}
PASS: ./lus2lic {-2c p.lus -n p}
PASS: ./lus2lic {-2c pack1.lus -n pack1}
PASS: ./lus2lic {-2c packageTableau.lus -n packageTableau}
@@ -523,225 +523,225 @@ PASS: ./lus2lic {-2c packed_cst.lus -n packed_cst}
PASS: ./lus2lic {-2c packs.lus -n packs}
PASS: ./lus2lic {-2c param_node.lus -n param_node}
PASS: gcc -o param_node.exec param_node_param_node.c param_node_param_node_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node.lus {}
PASS: ./lus2lic {-2c param_node2.lus -n param_node2}
PASS: gcc -o param_node2.exec param_node2_param_node2.c param_node2_param_node2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node2.lus {}
PASS: ./lus2lic {-2c param_node3.lus -n param_node3}
PASS: gcc -o param_node3.exec param_node3_param_node3.c param_node3_param_node3_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node3.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node3.lus {}
PASS: ./lus2lic {-2c param_node4.lus -n param_node4}
PASS: gcc -o param_node4.exec param_node4_param_node4.c param_node4_param_node4_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node4.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node4.lus {}
PASS: ./lus2lic {-2c param_struct.lus -n param_struct}
PASS: gcc -o param_struct.exec param_struct_param_struct.c param_struct_param_struct_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_struct.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_struct.lus {}
FAIL: Generate c code : ./lus2lic --expand-nodes {-2c pilote.lus -n pilote}
PASS: ./lus2lic {-2c pipeline.lus -n pipeline}
PASS: gcc -o pipeline.exec pipeline_pipeline.c pipeline_pipeline_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pipeline.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pipeline.lus {}
PASS: ./lus2lic {-2c plus.lus -n plus}
PASS: gcc -o plus.exec plus_plus.c plus_plus_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c plus.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c plus.lus {}
PASS: ./lus2lic {-2c ply01.lus -n ply01}
PASS: gcc -o ply01.exec ply01_ply01.c ply01_ply01_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply01.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply01.lus {}
PASS: ./lus2lic {-2c ply02.lus -n ply02}
PASS: gcc -o ply02.exec ply02_ply02.c ply02_ply02_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply02.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply02.lus {}
PASS: ./lus2lic {-2c ply03.lus -n ply03}
PASS: gcc -o ply03.exec ply03_ply03.c ply03_ply03_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply03.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply03.lus {}
PASS: ./lus2lic {-2c polymorphic_pack.lus -n polymorphic_pack}
PASS: ./lus2lic {-2c poussoir.lus -n poussoir}
PASS: gcc -o poussoir.exec poussoir_poussoir.c poussoir_poussoir_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c poussoir.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c poussoir.lus {}
PASS: ./lus2lic {-2c pplus.lus -n pplus}
PASS: gcc -o pplus.exec pplus_pplus.c pplus_pplus_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pplus.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pplus.lus {}
PASS: ./lus2lic {-2c pre_x.lus -n pre_x}
PASS: gcc -o pre_x.exec pre_x_pre_x.c pre_x_pre_x_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pre_x.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pre_x.lus {}
PASS: ./lus2lic {-2c predef01.lus -n predef01}
PASS: gcc -o predef01.exec predef01_predef01.c predef01_predef01_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef01.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef01.lus {}
PASS: ./lus2lic {-2c predef02.lus -n predef02}
PASS: gcc -o predef02.exec predef02_predef02.c predef02_predef02_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef02.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef02.lus {}
PASS: ./lus2lic {-2c predef03.lus -n predef03}
PASS: gcc -o predef03.exec predef03_predef03.c predef03_predef03_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef03.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef03.lus {}
PASS: ./lus2lic {-2c predefOp.lus -n predefOp}
PASS: gcc -o predefOp.exec predefOp_predefOp.c predefOp_predefOp_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predefOp.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predefOp.lus {}
PASS: ./lus2lic {-2c produitBool.lus -n produitBool}
PASS: gcc -o produitBool.exec produitBool_produitBool.c produitBool_produitBool_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c produitBool.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c produitBool.lus {}
PASS: ./lus2lic {-2c real_ex.lus -n real_ex}
PASS: gcc -o real_ex.exec real_ex_real_ex.c real_ex_real_ex_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c real_ex.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c real_ex.lus {}
PASS: ./lus2lic {-2c redIf.lus -n redIf}
PASS: gcc -o redIf.exec redIf_redIf.c redIf_redIf_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redIf.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redIf.lus {}
PASS: ./lus2lic {-2c rediter.lus -n rediter}
PASS: gcc -o rediter.exec rediter_rediter.c rediter_rediter_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rediter.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rediter.lus {}
PASS: ./lus2lic {-2c redoptest.lus -n redoptest}
PASS: gcc -o redoptest.exec redoptest_redoptest.c redoptest_redoptest_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redoptest.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redoptest.lus {}
PASS: ./lus2lic {-2c remplissage.lus -n remplissage}
PASS: ./lus2lic {-2c rs.lus -n rs}
PASS: gcc -o rs.exec rs_rs.c rs_rs_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rs.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rs.lus {}
PASS: ./lus2lic {-2c sample_time_change.lus -n sample_time_change}
PASS: gcc -o sample_time_change.exec sample_time_change_sample_time_change.c sample_time_change_sample_time_change_loop.c
FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sample_time_change.lus {}
PASS: ./lus2lic {-2c sample_time_change_MainNode.lus -n sample_time_change_MainNode}
PASS: gcc -o sample_time_change_MainNode.exec sample_time_change_MainNode_sample_time_change_MainNode.c sample_time_change_MainNode_sample_time_change_MainNode_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sample_time_change_MainNode.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sample_time_change_MainNode.lus {}
PASS: ./lus2lic {-2c shiftFill_ludic.lus -n shiftFill_ludic}
PASS: gcc -o shiftFill_ludic.exec shiftFill_ludic_shiftFill_ludic.c shiftFill_ludic_shiftFill_ludic_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c shiftFill_ludic.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c shiftFill_ludic.lus {}
PASS: ./lus2lic {-2c shift_ludic.lus -n shift_ludic}
PASS: gcc -o shift_ludic.exec shift_ludic_shift_ludic.c shift_ludic_shift_ludic_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c shift_ludic.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c shift_ludic.lus {}
PASS: ./lus2lic {-2c simple.lus -n simple}
PASS: ./lus2lic {-2c simpleRed.lus -n simpleRed}
PASS: gcc -o simpleRed.exec simpleRed_simpleRed.c simpleRed_simpleRed_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c simpleRed.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c simpleRed.lus {}
PASS: ./lus2lic {-2c sincos.lus -n sincos}
PASS: gcc -o sincos.exec sincos_sincos.c sincos_sincos_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sincos.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sincos.lus {}
PASS: ./lus2lic --expand-nodes {-2c speedcontrol.lus -n speedcontrol}
PASS: gcc -o speedcontrol.exec speedcontrol_speedcontrol.c speedcontrol_speedcontrol_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c speedcontrol.lus { --expand-nodes}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c speedcontrol.lus { --expand-nodes}
PASS: ./lus2lic {-2c stopwatch.lus -n stopwatch}
PASS: gcc -o stopwatch.exec stopwatch_stopwatch.c stopwatch_stopwatch_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c stopwatch.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c stopwatch.lus {}
PASS: ./lus2lic {-2c struct0.lus -n struct0}
PASS: gcc -o struct0.exec struct0_struct0.c struct0_struct0_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct0.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct0.lus {}
PASS: ./lus2lic {-2c struct_with.lus -n struct_with}
PASS: gcc -o struct_with.exec struct_with_struct_with.c struct_with_struct_with_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct_with.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct_with.lus {}
PASS: ./lus2lic {-2c t0.lus -n t0}
PASS: ./lus2lic {-2c t1.lus -n t1}
PASS: gcc -o t1.exec t1_t1.c t1_t1_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c t1.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c t1.lus {}
PASS: ./lus2lic {-2c t2.lus -n t2}
PASS: gcc -o t2.exec t2_t2.c t2_t2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c t2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c t2.lus {}
PASS: ./lus2lic {-2c test.lus -n test}
PASS: gcc -o test.exec test_test.c test_test_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test.lus {}
PASS: ./lus2lic {-2c testBoite.lus -n testBoite}
PASS: ./lus2lic {-2c testCA.lus -n testCA}
PASS: gcc -o testCA.exec testCA_testCA.c testCA_testCA_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c testCA.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c testCA.lus {}
PASS: ./lus2lic {-2c testCapt.lus -n testCapt}
PASS: ./lus2lic {-2c testPilote.lus -n testPilote}
PASS: ./lus2lic {-2c test_Int.lus -n test_Int}
PASS: ./lus2lic {-2c test_arrow.lus -n test_arrow}
PASS: gcc -o test_arrow.exec test_arrow_test_arrow.c test_arrow_test_arrow_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_arrow.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_arrow.lus {}
PASS: ./lus2lic {-2c test_boolred.lus -n test_boolred}
PASS: gcc -o test_boolred.exec test_boolred_test_boolred.c test_boolred_test_boolred_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_boolred.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_boolred.lus {}
PASS: ./lus2lic {-2c test_clash.lus -n test_clash}
PASS: ./lus2lic {-2c test_condact.lus -n test_condact}
PASS: gcc -o test_condact.exec test_condact_test_condact.c test_condact_test_condact_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_condact.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_condact.lus {}
PASS: ./lus2lic {-2c test_const.lus -n test_const}
PASS: gcc -o test_const.exec test_const_test_const.c test_const_test_const_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_const.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_const.lus {}
PASS: ./lus2lic {-2c test_diese.lus -n test_diese}
PASS: gcc -o test_diese.exec test_diese_test_diese.c test_diese_test_diese_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_diese.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_diese.lus {}
PASS: ./lus2lic {-2c test_enum.lus -n test_enum}
PASS: gcc -o test_enum.exec test_enum_test_enum.c test_enum_test_enum_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_enum.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_enum.lus {}
PASS: ./lus2lic {-2c test_extern.lus -n test_extern}
PASS: ./lus2lic {-2c test_lustre.lus -n test_lustre}
PASS: ./lus2lic {-2c test_map.lus -n test_map}
PASS: gcc -o test_map.exec test_map_test_map.c test_map_test_map_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_map.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_map.lus {}
PASS: ./lus2lic {-2c test_merge.lus -n test_merge}
PASS: gcc -o test_merge.exec test_merge_test_merge.c test_merge_test_merge_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_merge.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_merge.lus {}
PASS: ./lus2lic {-2c test_model.lus -n test_model}
PASS: ./lus2lic {-2c test_node_expand.lus -n test_node_expand}
PASS: gcc -o test_node_expand.exec test_node_expand_test_node_expand.c test_node_expand_test_node_expand_loop.c
FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_node_expand.lus {}
PASS: ./lus2lic {-2c test_node_expand2.lus -n test_node_expand2}
PASS: gcc -o test_node_expand2.exec test_node_expand2_test_node_expand2.c test_node_expand2_test_node_expand2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_node_expand2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_node_expand2.lus {}
PASS: ./lus2lic {-2c test_poly.lus -n test_poly}
PASS: gcc -o test_poly.exec test_poly_test_poly.c test_poly_test_poly_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_poly.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_poly.lus {}
PASS: ./lus2lic {-2c test_struct.lus -n test_struct}
PASS: gcc -o test_struct.exec test_struct_test_struct.c test_struct_test_struct_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_struct.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_struct.lus {}
PASS: ./lus2lic {-2c titi.lus -n titi}
PASS: gcc -o titi.exec titi_titi.c titi_titi_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c titi.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c titi.lus {}
PASS: ./lus2lic {-2c toolate.lus -n toolate}
PASS: gcc -o toolate.exec toolate_toolate.c toolate_toolate_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c toolate.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c toolate.lus {}
PASS: ./lus2lic {-2c toto.lus -n toto}
PASS: gcc -o toto.exec toto_toto.c toto_toto_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c toto.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c toto.lus {}
PASS: ./lus2lic {-2c tri.lus -n tri}
PASS: gcc -o tri.exec tri_tri.c tri_tri_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tri.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tri.lus {}
PASS: ./lus2lic {-2c triSel.lus -n triSel}
PASS: gcc -o triSel.exec triSel_triSel.c triSel_triSel_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c triSel.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c triSel.lus {}
PASS: ./lus2lic {-2c trivial.lus -n trivial}
PASS: gcc -o trivial.exec trivial_trivial.c trivial_trivial_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial.lus {}
PASS: ./lus2lic {-2c trivial2.lus -n trivial2}
PASS: gcc -o trivial2.exec trivial2_trivial2.c trivial2_trivial2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial2.lus {}
PASS: ./lus2lic {-2c trivial_array.lus -n trivial_array}
PASS: gcc -o trivial_array.exec trivial_array_trivial_array.c trivial_array_trivial_array_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial_array.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial_array.lus {}
PASS: ./lus2lic {-2c ts01.lus -n ts01}
PASS: gcc -o ts01.exec ts01_ts01.c ts01_ts01_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ts01.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ts01.lus {}
PASS: ./lus2lic {-2c ts04.lus -n ts04}
PASS: gcc -o ts04.exec ts04_ts04.c ts04_ts04_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ts04.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ts04.lus {}
PASS: ./lus2lic {-2c tuple.lus -n tuple}
PASS: gcc -o tuple.exec tuple_tuple.c tuple_tuple_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tuple.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tuple.lus {}
PASS: ./lus2lic {-2c type_decl.lus -n type_decl}
PASS: gcc -o type_decl.exec type_decl_type_decl.c type_decl_type_decl_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c type_decl.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c type_decl.lus {}
PASS: ./lus2lic {-2c uu.lus -n uu}
PASS: gcc -o uu.exec uu_uu.c uu_uu_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c uu.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c uu.lus {}
PASS: ./lus2lic {-2c v1.lus -n v1}
PASS: gcc -o v1.exec v1_v1.c v1_v1_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c v1.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c v1.lus {}
PASS: ./lus2lic {-2c when_tuple.lus -n when_tuple}
PASS: ./lus2lic {-2c xx.lus -n xx}
PASS: gcc -o xx.exec xx_xx.c xx_xx_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c xx.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c xx.lus {}
PASS: ./lus2lic {-2c xxx.lus -n xxx}
PASS: gcc -o xxx.exec xxx_xxx.c xxx_xxx_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c xxx.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c xxx.lus {}
PASS: ./lus2lic {-2c yyy.lus -n yyy}
PASS: gcc -o yyy.exec yyy_yyy.c yyy_yyy_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c yyy.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c yyy.lus {}
PASS: ./lus2lic {-2c zzz.lus -n zzz}
PASS: gcc -o zzz.exec zzz_zzz.c zzz_zzz_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz.lus {}
PASS: ./lus2lic {-2c zzz2.lus -n zzz2}
PASS: gcc -o zzz2.exec zzz2_zzz2.c zzz2_zzz2_loop.c
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus {}
==> lus2lic3.sum <==
-Test Run By jahier on Wed Sep 23 15:48:25
+Test Run By jahier on Thu Jan 14 10:56:28
Native configuration is x86_64-unknown-linux-gnu
=== lus2lic3 tests ===
@@ -754,29 +754,29 @@ Running ./lus2lic.tests/test3.exp ...
PASS: ./lus2lic {-o COUNTER.lic COUNTER.lus}
PASS: ./lus2lic {-ec -o COUNTER.ec COUNTER.lus}
PASS: ./myec2c {-o COUNTER.c COUNTER.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node COUNTER.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node COUNTER.lus {}
PASS: ./lus2lic {-o CURRENT.lic CURRENT.lus}
PASS: ./lus2lic {-ec -o CURRENT.ec CURRENT.lus}
PASS: ./myec2c {-o CURRENT.c CURRENT.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node CURRENT.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node CURRENT.lus {}
PASS: ./lus2lic {-o Condact.lic Condact.lus}
PASS: ./lus2lic {-ec -o Condact.ec Condact.lus}
PASS: ./myec2c {-o Condact.c Condact.ec}
PASS: ./lus2lic {-o EDGE.lic EDGE.lus}
PASS: ./lus2lic {-ec -o EDGE.ec EDGE.lus}
PASS: ./myec2c {-o EDGE.c EDGE.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node EDGE.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node EDGE.lus {}
PASS: ./lus2lic {-o ELMU.lic ELMU.lus}
PASS: ./lus2lic {-ec -o ELMU.ec ELMU.lus}
PASS: ./myec2c {-o ELMU.c ELMU.ec}
PASS: ./lus2lic {-o FALLING_EDGE.lic FALLING_EDGE.lus}
PASS: ./lus2lic {-ec -o FALLING_EDGE.ec FALLING_EDGE.lus}
PASS: ./myec2c {-o FALLING_EDGE.c FALLING_EDGE.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node FALLING_EDGE.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node FALLING_EDGE.lus {}
PASS: ./lus2lic {-o FillFollowedByRed.lic FillFollowedByRed.lus}
PASS: ./lus2lic {-ec -o FillFollowedByRed.ec FillFollowedByRed.lus}
PASS: ./myec2c {-o FillFollowedByRed.c FillFollowedByRed.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node FillFollowedByRed.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node FillFollowedByRed.lus {}
PASS: ./lus2lic {-o Gyroscope.lic Gyroscope.lus}
PASS: ./lus2lic {-ec -o Gyroscope.ec Gyroscope.lus}
PASS: ./myec2c {-o Gyroscope.c Gyroscope.ec}
@@ -788,31 +788,31 @@ FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils
PASS: ./lus2lic {-o aa.lic aa.lus}
PASS: ./lus2lic {-ec -o aa.ec aa.lus}
PASS: ./myec2c {-o aa.c aa.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node aa.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node aa.lus {}
PASS: ./lus2lic {-o access.lic access.lus}
PASS: ./lus2lic {-ec -o access.ec access.lus}
PASS: ./myec2c {-o access.c access.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node access.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node access.lus {}
PASS: ./lus2lic {-o activation1.lic activation1.lus}
PASS: ./lus2lic {-ec -o activation1.ec activation1.lus}
PASS: ./myec2c {-o activation1.c activation1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation1.lus { --expand-nodes}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation1.lus { --expand-nodes}
PASS: ./lus2lic {-o activation2.lic activation2.lus}
PASS: ./lus2lic {-ec -o activation2.ec activation2.lus}
PASS: ./myec2c {-o activation2.c activation2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation2.lus { --expand-nodes}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation2.lus { --expand-nodes}
PASS: ./lus2lic {-o activation_ec.lic activation_ec.lus}
PASS: ./lus2lic {-ec -o activation_ec.ec activation_ec.lus}
PASS: ./myec2c {-o activation_ec.c activation_ec.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation_ec.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation_ec.lus {}
PASS: ./lus2lic {-o after.lic after.lus}
PASS: ./lus2lic {-ec -o after.ec after.lus}
PASS: ./myec2c {-o after.c after.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node after.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node after.lus {}
PASS: ./lus2lic {-o alias.lic alias.lus}
PASS: ./lus2lic {-ec -o alias.ec alias.lus}
PASS: ./myec2c {-o alias.c alias.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node alias.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node alias.lus {}
PASS: ./lus2lic {-o amaury.lic amaury.lus}
PASS: ./lus2lic {-ec -o amaury.ec amaury.lus}
PASS: ./myec2c {-o amaury.c amaury.ec}
@@ -823,55 +823,55 @@ PASS: ./myec2c {-o arbitre.c arbitre.ec}
PASS: ./lus2lic {-o argos.lic argos.lus}
PASS: ./lus2lic {-ec -o argos.ec argos.lus}
PASS: ./myec2c {-o argos.c argos.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node argos.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node argos.lus {}
PASS: ./lus2lic {-o array_concat.lic array_concat.lus}
PASS: ./lus2lic {-ec -o array_concat.ec array_concat.lus}
PASS: ./myec2c {-o array_concat.c array_concat.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_concat.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_concat.lus {}
PASS: ./lus2lic {-o array_concat2.lic array_concat2.lus}
PASS: ./lus2lic {-ec -o array_concat2.ec array_concat2.lus}
PASS: ./myec2c {-o array_concat2.c array_concat2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_concat2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_concat2.lus {}
PASS: ./lus2lic {-o arrays.lic arrays.lus}
PASS: ./lus2lic {-ec -o arrays.ec arrays.lus}
PASS: ./myec2c {-o arrays.c arrays.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node arrays.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node arrays.lus {}
PASS: ./lus2lic {-o asservi.lic asservi.lus}
PASS: ./lus2lic {-ec -o asservi.ec asservi.lus}
PASS: ./myec2c {-o asservi.c asservi.ec}
PASS: ./lus2lic {-o bad_call03.lic bad_call03.lus}
PASS: ./lus2lic {-ec -o bad_call03.ec bad_call03.lus}
PASS: ./myec2c {-o bad_call03.c bad_call03.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bad_call03.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bad_call03.lus {}
PASS: ./lus2lic {-o bascule.lic bascule.lus}
PASS: ./lus2lic {-ec -o bascule.ec bascule.lus}
PASS: ./myec2c {-o bascule.c bascule.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bascule.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bascule.lus {}
PASS: ./lus2lic {-o bob.lic bob.lus}
PASS: ./lus2lic {-ec -o bob.ec bob.lus}
PASS: ./myec2c {-o bob.c bob.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bob.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bob.lus {}
PASS: ./lus2lic {-o bred.lic bred.lus}
PASS: ./lus2lic {-ec -o bred.ec bred.lus}
PASS: ./myec2c {-o bred.c bred.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bred.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bred.lus {}
PASS: ./lus2lic {-o bred_lv4.lic bred_lv4.lus}
PASS: ./lus2lic {-ec -o bred_lv4.ec bred_lv4.lus}
PASS: ./myec2c {-o bred_lv4.c bred_lv4.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bred_lv4.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bred_lv4.lus {}
PASS: ./lus2lic {-o bug.lic bug.lus}
PASS: ./lus2lic {-ec -o bug.ec bug.lus}
PASS: ./myec2c {-o bug.c bug.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bug.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bug.lus {}
PASS: ./lus2lic {-o bug2.lic bug2.lus}
PASS: ./lus2lic {-ec -o bug2.ec bug2.lus}
PASS: ./myec2c {-o bug2.c bug2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bug2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bug2.lus {}
FAIL: without any option: ./lus2lic {-o bug_map_fby.lic bug_map_fby.lus}
PASS: ./lus2lic {-o calculs_max.lic calculs_max.lus}
PASS: ./lus2lic {-ec -o calculs_max.ec calculs_max.lus}
PASS: ./myec2c {-o calculs_max.c calculs_max.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node calculs_max.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node calculs_max.lus {}
PASS: ./lus2lic {-o call.lic call.lus}
PASS: ./lus2lic {-ec -o call.ec call.lus}
PASS: ./myec2c {-o call.c call.ec}
@@ -881,14 +881,14 @@ PASS: ./myec2c {-o call01.c call01.ec}
PASS: ./lus2lic {-o call02.lic call02.lus}
PASS: ./lus2lic {-ec -o call02.ec call02.lus}
PASS: ./myec2c {-o call02.c call02.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call02.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call02.lus {}
PASS: ./lus2lic {-o call03.lic call03.lus}
PASS: ./lus2lic {-ec -o call03.ec call03.lus}
PASS: ./myec2c {-o call03.c call03.ec}
PASS: ./lus2lic {-o call04.lic call04.lus}
PASS: ./lus2lic {-ec -o call04.ec call04.lus}
PASS: ./myec2c {-o call04.c call04.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call04.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call04.lus {}
PASS: ./lus2lic {-o call05.lic call05.lus}
PASS: ./lus2lic {-ec -o call05.ec call05.lus}
PASS: ./myec2c {-o call05.c call05.ec}
@@ -898,7 +898,7 @@ PASS: ./myec2c {-o call06.c call06.ec}
PASS: ./lus2lic {-o call07.lic call07.lus}
PASS: ./lus2lic {-ec -o call07.ec call07.lus}
PASS: ./myec2c {-o call07.c call07.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call07.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call07.lus {}
PASS: ./lus2lic {-o carV2.lic carV2.lus}
PASS: ./lus2lic {-ec -o carV2.ec carV2.lus}
PASS: ./myec2c {-o carV2.c carV2.ec}
@@ -909,45 +909,45 @@ FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils
PASS: ./lus2lic {-o ck2.lic ck2.lus}
PASS: ./lus2lic {-ec -o ck2.ec ck2.lus}
PASS: ./myec2c {-o ck2.c ck2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck2.lus {}
PASS: ./lus2lic {-o ck3.lic ck3.lus}
PASS: ./lus2lic {-ec -o ck3.ec ck3.lus}
PASS: ./myec2c {-o ck3.c ck3.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck3.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck3.lus {}
PASS: ./lus2lic {-o ck4.lic ck4.lus}
PASS: ./lus2lic {-ec -o ck4.ec ck4.lus}
PASS: ./myec2c {-o ck4.c ck4.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck4.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck4.lus {}
PASS: ./lus2lic {-o ck5.lic ck5.lus}
PASS: ./lus2lic {-ec -o ck5.ec ck5.lus}
PASS: ./myec2c {-o ck5.c ck5.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck5.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck5.lus {}
PASS: ./lus2lic {-o ck6.lic ck6.lus}
PASS: ./lus2lic {-ec -o ck6.ec ck6.lus}
PASS: ./myec2c {-o ck6.c ck6.ec}
PASS: ./lus2lic {-o ck7.lic ck7.lus}
PASS: ./lus2lic {-ec -o ck7.ec ck7.lus}
PASS: ./myec2c {-o ck7.c ck7.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck7.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck7.lus {}
PASS: ./lus2lic {-o clock1_2ms.lic clock1_2ms.lus}
PASS: ./lus2lic {-ec -o clock1_2ms.ec clock1_2ms.lus}
PASS: ./myec2c {-o clock1_2ms.c clock1_2ms.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node clock1_2ms.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node clock1_2ms.lus {}
PASS: ./lus2lic {-o clock_ite.lic clock_ite.lus}
PASS: ./lus2lic {-ec -o clock_ite.ec clock_ite.lus}
PASS: ./myec2c {-o clock_ite.c clock_ite.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node clock_ite.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node clock_ite.lus {}
PASS: ./lus2lic {-o cminus.lic cminus.lus}
PASS: ./lus2lic {-ec -o cminus.ec cminus.lus}
PASS: ./myec2c {-o cminus.c cminus.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cminus.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cminus.lus {}
PASS: ./lus2lic {-o complex.lic complex.lus}
PASS: ./lus2lic {-ec -o complex.ec complex.lus}
PASS: ./myec2c {-o complex.c complex.ec}
PASS: ./lus2lic {-o compteur.lic compteur.lus}
PASS: ./lus2lic {-ec -o compteur.ec compteur.lus}
PASS: ./myec2c {-o compteur.c compteur.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node compteur.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node compteur.lus {}
PASS: ./lus2lic {-o cond01.lic cond01.lus}
PASS: ./lus2lic {-ec -o cond01.ec cond01.lus}
PASS: ./myec2c {-o cond01.c cond01.ec}
@@ -955,34 +955,34 @@ FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils
PASS: ./lus2lic {-o consensus.lic consensus.lus}
PASS: ./lus2lic {-ec -o consensus.ec consensus.lus}
PASS: ./myec2c {-o consensus.c consensus.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node consensus.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node consensus.lus {}
PASS: ./lus2lic {-o consensus2.lic consensus2.lus}
PASS: ./lus2lic {-ec -o consensus2.ec consensus2.lus}
PASS: ./myec2c {-o consensus2.c consensus2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node consensus2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node consensus2.lus {}
PASS: ./lus2lic {-o contractForElementSelectionInArray.lic contractForElementSelectionInArray.lus}
PASS: ./lus2lic {-ec -o contractForElementSelectionInArray.ec contractForElementSelectionInArray.lus}
PASS: ./myec2c {-o contractForElementSelectionInArray.c contractForElementSelectionInArray.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node contractForElementSelectionInArray.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node contractForElementSelectionInArray.lus {}
PASS: ./lus2lic {-o count.lic count.lus}
PASS: ./lus2lic {-ec -o count.ec count.lus}
PASS: ./myec2c {-o count.c count.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node count.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node count.lus {}
PASS: ./lus2lic {-o cpt.lic cpt.lus}
PASS: ./lus2lic {-ec -o cpt.ec cpt.lus}
PASS: ./myec2c {-o cpt.c cpt.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cpt.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cpt.lus {}
PASS: ./lus2lic {-o cst.lic cst.lus}
PASS: ./lus2lic {-ec -o cst.ec cst.lus}
PASS: ./myec2c {-o cst.c cst.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cst.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cst.lus {}
FAIL: without any option: ./lus2lic {-o dadic_x5_a.lic dadic_x5_a.lus}
FAIL: without any option: ./lus2lic {-o dadic_x5_b.lic dadic_x5_b.lus}
FAIL: without any option: ./lus2lic {-o dadic_x5_c.lic dadic_x5_c.lus}
PASS: ./lus2lic {-o deSimone.lic deSimone.lus}
PASS: ./lus2lic {-ec -o deSimone.ec deSimone.lus}
PASS: ./myec2c {-o deSimone.c deSimone.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node deSimone.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node deSimone.lus {}
PASS: ./lus2lic {-o decl.lic decl.lus}
PASS: ./lus2lic {-ec -o decl.ec decl.lus}
PASS: ./myec2c {-o decl.c decl.ec}
@@ -995,38 +995,38 @@ PASS: ./myec2c {-o deconne.c deconne.ec}
PASS: ./lus2lic {-o dep.lic dep.lus}
PASS: ./lus2lic {-ec -o dep.ec dep.lus}
PASS: ./myec2c {-o dep.c dep.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dep.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dep.lus {}
PASS: ./lus2lic {-o dependeur.lic dependeur.lus}
PASS: ./lus2lic {-ec -o dependeur.ec dependeur.lus}
PASS: ./myec2c {-o dependeur.c dependeur.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dependeur.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dependeur.lus {}
PASS: ./lus2lic {-o dependeur_struct.lic dependeur_struct.lus}
PASS: ./lus2lic {-ec -o dependeur_struct.ec dependeur_struct.lus}
PASS: ./myec2c {-o dependeur_struct.c dependeur_struct.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dependeur_struct.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dependeur_struct.lus {}
PASS: ./lus2lic {-o double_delay.lic double_delay.lus}
PASS: ./lus2lic {-ec -o double_delay.ec double_delay.lus}
PASS: ./myec2c {-o double_delay.c double_delay.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node double_delay.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node double_delay.lus {}
PASS: ./lus2lic {-o ec.lic ec.lus}
PASS: ./lus2lic {-ec -o ec.ec ec.lus}
PASS: ./myec2c {-o ec.c ec.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ec.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ec.lus {}
PASS: ./lus2lic {-o enum0.lic enum0.lus}
PASS: ./lus2lic {-ec -o enum0.ec enum0.lus}
PASS: ./myec2c {-o enum0.c enum0.ec}
PASS: ./lus2lic {-o ex.lic ex.lus}
PASS: ./lus2lic {-ec -o ex.ec ex.lus}
PASS: ./myec2c {-o ex.c ex.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ex.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ex.lus {}
PASS: ./lus2lic {-o exclusion.lic exclusion.lus}
PASS: ./lus2lic {-ec -o exclusion.ec exclusion.lus}
PASS: ./myec2c {-o exclusion.c exclusion.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node exclusion.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node exclusion.lus {}
PASS: ./lus2lic {-o filliter.lic filliter.lus}
PASS: ./lus2lic {-ec -o filliter.ec filliter.lus}
PASS: ./myec2c {-o filliter.c filliter.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node filliter.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node filliter.lus {}
PASS: ./lus2lic {-o filter.lic filter.lus}
PASS: ./lus2lic {-ec -o filter.ec filter.lus}
PASS: ./myec2c {-o filter.c filter.ec}
@@ -1034,73 +1034,73 @@ FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils
PASS: ./lus2lic {-o flo.lic flo.lus}
PASS: ./lus2lic {-ec -o flo.ec flo.lus}
PASS: ./myec2c {-o flo.c flo.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node flo.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node flo.lus {}
PASS: ./lus2lic {-o followed_by.lic followed_by.lus}
PASS: ./lus2lic {-ec -o followed_by.ec followed_by.lus}
PASS: ./myec2c {-o followed_by.c followed_by.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node followed_by.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node followed_by.lus {}
PASS: ./lus2lic {-o fresh_name.lic fresh_name.lus}
PASS: ./lus2lic {-ec -o fresh_name.ec fresh_name.lus}
PASS: ./myec2c {-o fresh_name.c fresh_name.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node fresh_name.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node fresh_name.lus {}
PASS: ./lus2lic {-o func_with_body.lic func_with_body.lus}
PASS: ./lus2lic {-ec -o func_with_body.ec func_with_body.lus}
PASS: ./myec2c {-o func_with_body.c func_with_body.ec}
PASS: ./lus2lic {-o hanane.lic hanane.lus}
PASS: ./lus2lic {-ec -o hanane.ec hanane.lus}
PASS: ./myec2c {-o hanane.c hanane.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node hanane.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node hanane.lus {}
PASS: ./lus2lic {-o heater_control.lic heater_control.lus}
PASS: ./lus2lic {-ec -o heater_control.ec heater_control.lus}
PASS: ./myec2c {-o heater_control.c heater_control.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node heater_control.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node heater_control.lus {}
PASS: ./lus2lic {-o impl_priority.lic impl_priority.lus}
PASS: ./lus2lic {-ec -o impl_priority.ec impl_priority.lus}
PASS: ./myec2c {-o impl_priority.c impl_priority.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node impl_priority.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node impl_priority.lus {}
PASS: ./lus2lic {-o import1.lic import1.lus}
PASS: ./lus2lic {-ec -o import1.ec import1.lus}
PASS: ./myec2c {-o import1.c import1.ec}
PASS: ./lus2lic {-o initial.lic initial.lus}
PASS: ./lus2lic {-ec -o initial.ec initial.lus}
PASS: ./myec2c {-o initial.c initial.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node initial.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node initial.lus {}
PASS: ./lus2lic {-o integrator.lic integrator.lus}
PASS: ./lus2lic {-ec -o integrator.ec integrator.lus}
PASS: ./myec2c {-o integrator.c integrator.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node integrator.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node integrator.lus {}
PASS: ./lus2lic {-o is_stable.lic is_stable.lus}
PASS: ./lus2lic {-ec -o is_stable.ec is_stable.lus}
PASS: ./myec2c {-o is_stable.c is_stable.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node is_stable.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node is_stable.lus {}
PASS: ./lus2lic {-o iter.lic iter.lus}
PASS: ./lus2lic {-ec -o iter.ec iter.lus}
PASS: ./myec2c {-o iter.c iter.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iter.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iter.lus {}
PASS: ./lus2lic {-o iterFibo.lic iterFibo.lus}
PASS: ./lus2lic {-ec -o iterFibo.ec iterFibo.lus}
PASS: ./myec2c {-o iterFibo.c iterFibo.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterFibo.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterFibo.lus {}
PASS: ./lus2lic {-o iterate.lic iterate.lus}
PASS: ./lus2lic {-ec -o iterate.ec iterate.lus}
PASS: ./myec2c {-o iterate.c iterate.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterate.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterate.lus {}
PASS: ./lus2lic {-o left.lic left.lus}
PASS: ./lus2lic {-ec -o left.ec left.lus}
PASS: ./myec2c {-o left.c left.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node left.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node left.lus {}
PASS: ./lus2lic {-o long_et_stupide_nom_de_noeud.lic long_et_stupide_nom_de_noeud.lus}
PASS: ./lus2lic {-ec -o long_et_stupide_nom_de_noeud.ec long_et_stupide_nom_de_noeud.lus}
PASS: ./myec2c {-o long_et_stupide_nom_de_noeud.c long_et_stupide_nom_de_noeud.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node long_et_stupide_nom_de_noeud.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node long_et_stupide_nom_de_noeud.lus {}
PASS: ./lus2lic {-o lucky.lic lucky.lus}
PASS: ./lus2lic {-ec -o lucky.ec lucky.lus}
PASS: ./myec2c {-o lucky.c lucky.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node lucky.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node lucky.lus {}
PASS: ./lus2lic {-o lustre_test1_ok.lic lustre_test1_ok.lus}
PASS: ./lus2lic {-ec -o lustre_test1_ok.ec lustre_test1_ok.lus}
PASS: ./myec2c {-o lustre_test1_ok.c lustre_test1_ok.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node lustre_test1_ok.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node lustre_test1_ok.lus {}
PASS: ./lus2lic {-o map.lic map.lus}
PASS: ./lus2lic {-ec -o map.ec map.lus}
PASS: ./myec2c {-o map.c map.ec}
@@ -1111,47 +1111,47 @@ PASS: ./myec2c {-o map_red_iter.c map_red_iter.ec}
PASS: ./lus2lic {-o mapdeRed.lic mapdeRed.lus}
PASS: ./lus2lic {-ec -o mapdeRed.ec mapdeRed.lus}
PASS: ./myec2c {-o mapdeRed.c mapdeRed.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapdeRed.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapdeRed.lus {}
PASS: ./lus2lic {-o mapinf.lic mapinf.lus}
PASS: ./lus2lic {-ec -o mapinf.ec mapinf.lus}
PASS: ./myec2c {-o mapinf.c mapinf.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapinf.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapinf.lus {}
PASS: ./lus2lic {-o mapiter.lic mapiter.lus}
PASS: ./lus2lic {-ec -o mapiter.ec mapiter.lus}
PASS: ./myec2c {-o mapiter.c mapiter.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapiter.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapiter.lus {}
PASS: ./lus2lic {-o mappredef.lic mappredef.lus}
PASS: ./lus2lic {-ec -o mappredef.ec mappredef.lus}
PASS: ./myec2c {-o mappredef.c mappredef.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mappredef.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mappredef.lus {}
PASS: ./lus2lic {-o matrice.lic matrice.lus}
PASS: ./lus2lic {-ec -o matrice.ec matrice.lus}
PASS: ./myec2c {-o matrice.c matrice.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice.lus {}
PASS: ./lus2lic {-o matrice2.lic matrice2.lus}
PASS: ./lus2lic {-ec -o matrice2.ec matrice2.lus}
PASS: ./myec2c {-o matrice2.c matrice2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice2.lus {}
PASS: ./lus2lic {-o minmax1.lic minmax1.lus}
PASS: ./lus2lic {-ec -o minmax1.ec minmax1.lus}
PASS: ./myec2c {-o minmax1.c minmax1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax1.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax1.lus {}
PASS: ./lus2lic {-o minmax2.lic minmax2.lus}
PASS: ./lus2lic {-ec -o minmax2.ec minmax2.lus}
PASS: ./myec2c {-o minmax2.c minmax2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax2.lus {}
PASS: ./lus2lic {-o minmax3.lic minmax3.lus}
PASS: ./lus2lic {-ec -o minmax3.ec minmax3.lus}
PASS: ./myec2c {-o minmax3.c minmax3.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax3.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax3.lus {}
PASS: ./lus2lic {-o minmax4.lic minmax4.lus}
PASS: ./lus2lic {-ec -o minmax4.ec minmax4.lus}
PASS: ./myec2c {-o minmax4.c minmax4.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax4.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax4.lus {}
PASS: ./lus2lic {-o minmax4_bis.lic minmax4_bis.lus}
PASS: ./lus2lic {-ec -o minmax4_bis.ec minmax4_bis.lus}
PASS: ./myec2c {-o minmax4_bis.c minmax4_bis.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax4_bis.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax4_bis.lus {}
PASS: ./lus2lic {-o minmax5.lic minmax5.lus}
PASS: ./lus2lic {-ec -o minmax5.ec minmax5.lus}
PASS: ./myec2c {-o minmax5.c minmax5.ec}
@@ -1161,34 +1161,34 @@ PASS: ./myec2c {-o minmax5_random.c minmax5_random.ec}
PASS: ./lus2lic {-o minmax6.lic minmax6.lus}
PASS: ./lus2lic {-ec -o minmax6.ec minmax6.lus}
PASS: ./myec2c {-o minmax6.c minmax6.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax6.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax6.lus {}
PASS: ./lus2lic {-o minus.lic minus.lus}
PASS: ./lus2lic {-ec -o minus.ec minus.lus}
PASS: ./myec2c {-o minus.c minus.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minus.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minus.lus {}
PASS: ./lus2lic {-o mm.lic mm.lus}
PASS: ./lus2lic {-ec -o mm.ec mm.lus}
PASS: ./myec2c {-o mm.c mm.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm.lus {}
PASS: ./lus2lic {-o mm1.lic mm1.lus}
PASS: ./lus2lic {-ec -o mm1.ec mm1.lus}
PASS: ./myec2c {-o mm1.c mm1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm1.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm1.lus {}
PASS: ./lus2lic {-o mm22.lic mm22.lus}
PASS: ./lus2lic {-ec -o mm22.ec mm22.lus}
PASS: ./myec2c {-o mm22.c mm22.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm22.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm22.lus {}
PASS: ./lus2lic {-o mm3.lic mm3.lus}
PASS: ./lus2lic {-ec -o mm3.ec mm3.lus}
PASS: ./myec2c {-o mm3.c mm3.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm3.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm3.lus {}
PASS: ./lus2lic {-o modelInst.lic modelInst.lus}
PASS: ./lus2lic {-ec -o modelInst.ec modelInst.lus}
PASS: ./myec2c {-o modelInst.c modelInst.ec}
PASS: ./lus2lic {-o modes3x2_v2.lic modes3x2_v2.lus}
PASS: ./lus2lic {-ec -o modes3x2_v2.ec modes3x2_v2.lus}
PASS: ./myec2c {-o modes3x2_v2.c modes3x2_v2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node modes3x2_v2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node modes3x2_v2.lus {}
PASS: ./lus2lic {-o modes3x2_v3.lic modes3x2_v3.lus}
PASS: ./lus2lic {-ec -o modes3x2_v3.ec modes3x2_v3.lus}
PASS: ./lus2lic {-o modes3x2_v4.lic modes3x2_v4.lus}
@@ -1196,54 +1196,54 @@ PASS: ./lus2lic {-ec -o modes3x2_v4.ec modes3x2_v4.lus}
PASS: ./lus2lic {-o morel.lic morel.lus}
PASS: ./lus2lic {-ec -o morel.ec morel.lus}
PASS: ./myec2c {-o morel.c morel.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel.lus {}
PASS: ./lus2lic {-o morel2.lic morel2.lus}
PASS: ./lus2lic {-ec -o morel2.ec morel2.lus}
PASS: ./myec2c {-o morel2.c morel2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel2.lus {}
PASS: ./lus2lic {-o morel3.lic morel3.lus}
PASS: ./lus2lic {-ec -o morel3.ec morel3.lus}
PASS: ./myec2c {-o morel3.c morel3.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel3.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel3.lus {}
PASS: ./lus2lic {-o morel4.lic morel4.lus}
PASS: ./lus2lic {-ec -o morel4.ec morel4.lus}
PASS: ./myec2c {-o morel4.c morel4.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel4.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel4.lus {}
PASS: ./lus2lic {-o morel5.lic morel5.lus}
PASS: ./lus2lic {-ec -o morel5.ec morel5.lus}
PASS: ./myec2c {-o morel5.c morel5.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel5.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel5.lus {}
PASS: ./lus2lic {-o mouse.lic mouse.lus}
PASS: ./lus2lic {-ec -o mouse.ec mouse.lus}
PASS: ./myec2c {-o mouse.c mouse.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse.lus {}
PASS: ./lus2lic {-o mouse1.lic mouse1.lus}
PASS: ./lus2lic {-ec -o mouse1.ec mouse1.lus}
PASS: ./myec2c {-o mouse1.c mouse1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse1.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse1.lus {}
PASS: ./lus2lic {-o mouse2.lic mouse2.lus}
PASS: ./lus2lic {-ec -o mouse2.ec mouse2.lus}
PASS: ./myec2c {-o mouse2.c mouse2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse2.lus {}
PASS: ./lus2lic {-o mouse3.lic mouse3.lus}
PASS: ./lus2lic {-ec -o mouse3.ec mouse3.lus}
PASS: ./myec2c {-o mouse3.c mouse3.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse3.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse3.lus {}
PASS: ./lus2lic {-o moyenne.lic moyenne.lus}
PASS: ./lus2lic {-ec -o moyenne.ec moyenne.lus}
PASS: ./myec2c {-o moyenne.c moyenne.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node moyenne.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node moyenne.lus {}
PASS: ./lus2lic {-o multiclock.lic multiclock.lus}
PASS: ./lus2lic {-ec -o multiclock.ec multiclock.lus}
PASS: ./myec2c {-o multiclock.c multiclock.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multiclock.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multiclock.lus {}
PASS: ./lus2lic {-o multipar.lic multipar.lus}
PASS: ./lus2lic {-ec -o multipar.ec multipar.lus}
PASS: ./myec2c {-o multipar.c multipar.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
==> lus2lic4.sum <==
-Test Run By jahier on Wed Sep 23 15:48:38
+Test Run By jahier on Thu Jan 14 10:56:33
Native configuration is x86_64-unknown-linux-gnu
=== lus2lic4 tests ===
@@ -1256,151 +1256,151 @@ Running ./lus2lic.tests/test4.exp ...
PASS: ./lus2lic {-o PCOND.lic PCOND.lus}
PASS: ./lus2lic {-ec -o PCOND.ec PCOND.lus}
PASS: ./myec2c {-o PCOND.c PCOND.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node PCOND.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node PCOND.lus {}
PASS: ./lus2lic {-o PCOND1.lic PCOND1.lus}
PASS: ./lus2lic {-ec -o PCOND1.ec PCOND1.lus}
PASS: ./myec2c {-o PCOND1.c PCOND1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node PCOND1.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node PCOND1.lus {}
PASS: ./lus2lic {-o SOURIS.lic SOURIS.lus}
PASS: ./lus2lic {-ec -o SOURIS.ec SOURIS.lus}
PASS: ./myec2c {-o SOURIS.c SOURIS.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SOURIS.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SOURIS.lus {}
PASS: ./lus2lic {-o STABLE.lic STABLE.lus}
PASS: ./lus2lic {-ec -o STABLE.ec STABLE.lus}
PASS: ./myec2c {-o STABLE.c STABLE.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node STABLE.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node STABLE.lus {}
PASS: ./lus2lic {-o SWITCH.lic SWITCH.lus}
PASS: ./lus2lic {-ec -o SWITCH.ec SWITCH.lus}
PASS: ./myec2c {-o SWITCH.c SWITCH.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SWITCH.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SWITCH.lus {}
PASS: ./lus2lic {-o SWITCH1.lic SWITCH1.lus}
PASS: ./lus2lic {-ec -o SWITCH1.ec SWITCH1.lus}
PASS: ./myec2c {-o SWITCH1.c SWITCH1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SWITCH1.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SWITCH1.lus {}
PASS: ./lus2lic {-o TIME_STABLE.lic TIME_STABLE.lus}
PASS: ./lus2lic {-ec -o TIME_STABLE.ec TIME_STABLE.lus}
PASS: ./myec2c {-o TIME_STABLE.c TIME_STABLE.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node TIME_STABLE.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node TIME_STABLE.lus {}
PASS: ./lus2lic {-o TIME_STABLE1.lic TIME_STABLE1.lus}
PASS: ./lus2lic {-ec -o TIME_STABLE1.ec TIME_STABLE1.lus}
PASS: ./myec2c {-o TIME_STABLE1.c TIME_STABLE1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node TIME_STABLE1.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node TIME_STABLE1.lus {}
PASS: ./lus2lic {-o Watch.lic Watch.lus}
PASS: ./lus2lic {-ec -o Watch.ec Watch.lus}
PASS: ./myec2c {-o Watch.c Watch.ec}
PASS: ./lus2lic {-o X.lic X.lus}
PASS: ./lus2lic {-ec -o X.ec X.lus}
PASS: ./myec2c {-o X.c X.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X.lus {}
PASS: ./lus2lic {-o X2.lic X2.lus}
PASS: ./lus2lic {-ec -o X2.ec X2.lus}
PASS: ./myec2c {-o X2.c X2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X2.lus {}
PASS: ./lus2lic {-o X6.lic X6.lus}
PASS: ./lus2lic {-ec -o X6.ec X6.lus}
PASS: ./myec2c {-o X6.c X6.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X6.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X6.lus {}
PASS: ./lus2lic {-o Xr.lic Xr.lus}
PASS: ./lus2lic {-ec -o Xr.ec Xr.lus}
PASS: ./myec2c {-o Xr.c Xr.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Xr.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Xr.lus {}
PASS: ./lus2lic {-o nc1.lic nc1.lus}
PASS: ./lus2lic {-ec -o nc1.ec nc1.lus}
PASS: ./myec2c {-o nc1.c nc1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc1.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc1.lus {}
PASS: ./lus2lic {-o nc10.lic nc10.lus}
PASS: ./lus2lic {-ec -o nc10.ec nc10.lus}
PASS: ./myec2c {-o nc10.c nc10.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc10.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc10.lus {}
PASS: ./lus2lic {-o nc2.lic nc2.lus}
PASS: ./lus2lic {-ec -o nc2.ec nc2.lus}
PASS: ./myec2c {-o nc2.c nc2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc2.lus {}
PASS: ./lus2lic {-o nc3.lic nc3.lus}
PASS: ./lus2lic {-ec -o nc3.ec nc3.lus}
PASS: ./myec2c {-o nc3.c nc3.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc3.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc3.lus {}
PASS: ./lus2lic {-o nc4.lic nc4.lus}
PASS: ./lus2lic {-ec -o nc4.ec nc4.lus}
PASS: ./myec2c {-o nc4.c nc4.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc4.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc4.lus {}
PASS: ./lus2lic {-o nc5.lic nc5.lus}
PASS: ./lus2lic {-ec -o nc5.ec nc5.lus}
PASS: ./myec2c {-o nc5.c nc5.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc5.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc5.lus {}
PASS: ./lus2lic {-o nc6.lic nc6.lus}
PASS: ./lus2lic {-ec -o nc6.ec nc6.lus}
PASS: ./myec2c {-o nc6.c nc6.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc6.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc6.lus {}
PASS: ./lus2lic {-o nc7.lic nc7.lus}
PASS: ./lus2lic {-ec -o nc7.ec nc7.lus}
PASS: ./myec2c {-o nc7.c nc7.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc7.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc7.lus {}
PASS: ./lus2lic {-o nc8.lic nc8.lus}
PASS: ./lus2lic {-ec -o nc8.ec nc8.lus}
PASS: ./myec2c {-o nc8.c nc8.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc8.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc8.lus {}
PASS: ./lus2lic {-o nc9.lic nc9.lus}
PASS: ./lus2lic {-ec -o nc9.ec nc9.lus}
PASS: ./myec2c {-o nc9.c nc9.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc9.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc9.lus {}
PASS: ./lus2lic {-o nested.lic nested.lus}
PASS: ./lus2lic {-ec -o nested.ec nested.lus}
PASS: ./myec2c {-o nested.c nested.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nested.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nested.lus {}
PASS: ./lus2lic {-o newpacks.lic newpacks.lus}
PASS: ./lus2lic {-ec -o newpacks.ec newpacks.lus}
PASS: ./myec2c {-o newpacks.c newpacks.ec}
PASS: ./lus2lic {-o noAlarm.lic noAlarm.lus}
PASS: ./lus2lic {-ec -o noAlarm.ec noAlarm.lus}
PASS: ./myec2c {-o noAlarm.c noAlarm.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node noAlarm.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node noAlarm.lus {}
PASS: ./lus2lic {-o node_caller1.lic node_caller1.lus}
PASS: ./lus2lic {-ec -o node_caller1.ec node_caller1.lus}
PASS: ./myec2c {-o node_caller1.c node_caller1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node node_caller1.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node node_caller1.lus {}
PASS: ./lus2lic {-o nodeparam.lic nodeparam.lus}
PASS: ./lus2lic {-ec -o nodeparam.ec nodeparam.lus}
PASS: ./myec2c {-o nodeparam.c nodeparam.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nodeparam.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nodeparam.lus {}
PASS: ./lus2lic {-o noeudsIndependants.lic noeudsIndependants.lus}
PASS: ./lus2lic {-ec -o noeudsIndependants.ec noeudsIndependants.lus}
PASS: ./myec2c {-o noeudsIndependants.c noeudsIndependants.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node noeudsIndependants.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node noeudsIndependants.lus {}
PASS: ./lus2lic {-o normal.lic normal.lus}
PASS: ./lus2lic {-ec -o normal.ec normal.lus}
PASS: ./myec2c {-o normal.c normal.ec}
PASS: ./lus2lic {-o notTwo.lic notTwo.lus}
PASS: ./lus2lic {-ec -o notTwo.ec notTwo.lus}
PASS: ./myec2c {-o notTwo.c notTwo.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node notTwo.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node notTwo.lus {}
PASS: ./lus2lic {-o o2l_feux_compl.lic o2l_feux_compl.lus}
PASS: ./lus2lic {-ec -o o2l_feux_compl.ec o2l_feux_compl.lus}
PASS: ./myec2c {-o o2l_feux_compl.c o2l_feux_compl.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node o2l_feux_compl.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node o2l_feux_compl.lus {}
PASS: ./lus2lic {-o oneq.lic oneq.lus}
PASS: ./lus2lic {-ec -o oneq.ec oneq.lus}
PASS: ./myec2c {-o oneq.c oneq.ec}
PASS: ./lus2lic {-o onlyroll.lic onlyroll.lus}
PASS: ./lus2lic {-ec -o onlyroll.ec onlyroll.lus}
PASS: ./myec2c {-o onlyroll.c onlyroll.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node onlyroll.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node onlyroll.lus {}
PASS: ./lus2lic {-o onlyroll2.lic onlyroll2.lus}
PASS: ./lus2lic {-ec -o onlyroll2.ec onlyroll2.lus}
PASS: ./myec2c {-o onlyroll2.c onlyroll2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node onlyroll2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node onlyroll2.lus {}
PASS: ./lus2lic {-o over2.lic over2.lus}
PASS: ./lus2lic {-ec -o over2.ec over2.lus}
PASS: ./myec2c {-o over2.c over2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node over2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node over2.lus {}
PASS: ./lus2lic {-o over3.lic over3.lus}
PASS: ./lus2lic {-ec -o over3.ec over3.lus}
PASS: ./myec2c {-o over3.c over3.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node over3.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node over3.lus {}
PASS: ./lus2lic {-o overload.lic overload.lus}
PASS: ./lus2lic {-ec -o overload.ec overload.lus}
PASS: ./myec2c {-o overload.c overload.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node overload.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node overload.lus {}
PASS: ./lus2lic {-o p.lic p.lus}
PASS: ./lus2lic {-ec -o p.ec p.lus}
PASS: ./myec2c {-o p.c p.ec}
@@ -1419,104 +1419,104 @@ PASS: ./myec2c {-o packs.c packs.ec}
PASS: ./lus2lic {-o param_node.lic param_node.lus}
PASS: ./lus2lic {-ec -o param_node.ec param_node.lus}
PASS: ./myec2c {-o param_node.c param_node.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node.lus {}
PASS: ./lus2lic {-o param_node2.lic param_node2.lus}
PASS: ./lus2lic {-ec -o param_node2.ec param_node2.lus}
PASS: ./myec2c {-o param_node2.c param_node2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node2.lus {}
PASS: ./lus2lic {-o param_node3.lic param_node3.lus}
PASS: ./lus2lic {-ec -o param_node3.ec param_node3.lus}
PASS: ./myec2c {-o param_node3.c param_node3.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node3.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node3.lus {}
PASS: ./lus2lic {-o param_node4.lic param_node4.lus}
PASS: ./lus2lic {-ec -o param_node4.ec param_node4.lus}
PASS: ./myec2c {-o param_node4.c param_node4.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node4.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node4.lus {}
PASS: ./lus2lic {-o param_struct.lic param_struct.lus}
PASS: ./lus2lic {-ec -o param_struct.ec param_struct.lus}
PASS: ./myec2c {-o param_struct.c param_struct.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_struct.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_struct.lus {}
PASS: ./lus2lic {-o pilote.lic pilote.lus}
PASS: ./lus2lic {-ec -o pilote.ec pilote.lus}
PASS: ./myec2c {-o pilote.c pilote.ec}
PASS: ./lus2lic {-o pipeline.lic pipeline.lus}
PASS: ./lus2lic {-ec -o pipeline.ec pipeline.lus}
PASS: ./myec2c {-o pipeline.c pipeline.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pipeline.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pipeline.lus {}
PASS: ./lus2lic {-o plus.lic plus.lus}
PASS: ./lus2lic {-ec -o plus.ec plus.lus}
PASS: ./myec2c {-o plus.c plus.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node plus.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node plus.lus {}
PASS: ./lus2lic {-o ply01.lic ply01.lus}
PASS: ./lus2lic {-ec -o ply01.ec ply01.lus}
PASS: ./myec2c {-o ply01.c ply01.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply01.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply01.lus {}
PASS: ./lus2lic {-o ply02.lic ply02.lus}
PASS: ./lus2lic {-ec -o ply02.ec ply02.lus}
PASS: ./myec2c {-o ply02.c ply02.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply02.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply02.lus {}
PASS: ./lus2lic {-o ply03.lic ply03.lus}
PASS: ./lus2lic {-ec -o ply03.ec ply03.lus}
PASS: ./myec2c {-o ply03.c ply03.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply03.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply03.lus {}
PASS: ./lus2lic {-o polymorphic_pack.lic polymorphic_pack.lus}
PASS: ./lus2lic {-ec -o polymorphic_pack.ec polymorphic_pack.lus}
PASS: ./myec2c {-o polymorphic_pack.c polymorphic_pack.ec}
PASS: ./lus2lic {-o poussoir.lic poussoir.lus}
PASS: ./lus2lic {-ec -o poussoir.ec poussoir.lus}
PASS: ./myec2c {-o poussoir.c poussoir.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node poussoir.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node poussoir.lus {}
PASS: ./lus2lic {-o pplus.lic pplus.lus}
PASS: ./lus2lic {-ec -o pplus.ec pplus.lus}
PASS: ./myec2c {-o pplus.c pplus.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pplus.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pplus.lus {}
PASS: ./lus2lic {-o pre_x.lic pre_x.lus}
PASS: ./lus2lic {-ec -o pre_x.ec pre_x.lus}
PASS: ./myec2c {-o pre_x.c pre_x.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pre_x.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pre_x.lus {}
PASS: ./lus2lic {-o predef01.lic predef01.lus}
PASS: ./lus2lic {-ec -o predef01.ec predef01.lus}
PASS: ./myec2c {-o predef01.c predef01.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef01.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef01.lus {}
PASS: ./lus2lic {-o predef02.lic predef02.lus}
PASS: ./lus2lic {-ec -o predef02.ec predef02.lus}
PASS: ./myec2c {-o predef02.c predef02.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef02.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef02.lus {}
PASS: ./lus2lic {-o predef03.lic predef03.lus}
PASS: ./lus2lic {-ec -o predef03.ec predef03.lus}
PASS: ./myec2c {-o predef03.c predef03.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef03.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef03.lus {}
PASS: ./lus2lic {-o predefOp.lic predefOp.lus}
PASS: ./lus2lic {-ec -o predefOp.ec predefOp.lus}
PASS: ./myec2c {-o predefOp.c predefOp.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predefOp.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predefOp.lus {}
PASS: ./lus2lic {-o produitBool.lic produitBool.lus}
PASS: ./lus2lic {-ec -o produitBool.ec produitBool.lus}
PASS: ./myec2c {-o produitBool.c produitBool.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node produitBool.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node produitBool.lus {}
PASS: ./lus2lic {-o real_ex.lic real_ex.lus}
PASS: ./lus2lic {-ec -o real_ex.ec real_ex.lus}
PASS: ./myec2c {-o real_ex.c real_ex.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node real_ex.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node real_ex.lus {}
PASS: ./lus2lic {-o redIf.lic redIf.lus}
PASS: ./lus2lic {-ec -o redIf.ec redIf.lus}
PASS: ./myec2c {-o redIf.c redIf.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redIf.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redIf.lus {}
PASS: ./lus2lic {-o rediter.lic rediter.lus}
PASS: ./lus2lic {-ec -o rediter.ec rediter.lus}
PASS: ./myec2c {-o rediter.c rediter.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rediter.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rediter.lus {}
PASS: ./lus2lic {-o redoptest.lic redoptest.lus}
PASS: ./lus2lic {-ec -o redoptest.ec redoptest.lus}
PASS: ./myec2c {-o redoptest.c redoptest.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redoptest.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redoptest.lus {}
PASS: ./lus2lic {-o remplissage.lic remplissage.lus}
PASS: ./lus2lic {-ec -o remplissage.ec remplissage.lus}
PASS: ./myec2c {-o remplissage.c remplissage.ec}
PASS: ./lus2lic {-o rs.lic rs.lus}
PASS: ./lus2lic {-ec -o rs.ec rs.lus}
PASS: ./myec2c {-o rs.c rs.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rs.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rs.lus {}
PASS: ./lus2lic {-o sample_time_change.lic sample_time_change.lus}
PASS: ./lus2lic {-ec -o sample_time_change.ec sample_time_change.lus}
PASS: ./myec2c {-o sample_time_change.c sample_time_change.ec}
@@ -1524,64 +1524,64 @@ FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils
PASS: ./lus2lic {-o sample_time_change_MainNode.lic sample_time_change_MainNode.lus}
PASS: ./lus2lic {-ec -o sample_time_change_MainNode.ec sample_time_change_MainNode.lus}
PASS: ./myec2c {-o sample_time_change_MainNode.c sample_time_change_MainNode.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node sample_time_change_MainNode.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node sample_time_change_MainNode.lus {}
PASS: ./lus2lic {-o shiftFill_ludic.lic shiftFill_ludic.lus}
PASS: ./lus2lic {-ec -o shiftFill_ludic.ec shiftFill_ludic.lus}
PASS: ./myec2c {-o shiftFill_ludic.c shiftFill_ludic.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node shiftFill_ludic.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node shiftFill_ludic.lus {}
PASS: ./lus2lic {-o shift_ludic.lic shift_ludic.lus}
PASS: ./lus2lic {-ec -o shift_ludic.ec shift_ludic.lus}
PASS: ./myec2c {-o shift_ludic.c shift_ludic.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node shift_ludic.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node shift_ludic.lus {}
PASS: ./lus2lic {-o simple.lic simple.lus}
PASS: ./lus2lic {-ec -o simple.ec simple.lus}
PASS: ./myec2c {-o simple.c simple.ec}
PASS: ./lus2lic {-o simpleRed.lic simpleRed.lus}
PASS: ./lus2lic {-ec -o simpleRed.ec simpleRed.lus}
PASS: ./myec2c {-o simpleRed.c simpleRed.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node simpleRed.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node simpleRed.lus {}
PASS: ./lus2lic {-o sincos.lic sincos.lus}
PASS: ./lus2lic {-ec -o sincos.ec sincos.lus}
PASS: ./myec2c {-o sincos.c sincos.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node sincos.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node sincos.lus {}
PASS: ./lus2lic {-o speedcontrol.lic speedcontrol.lus}
PASS: ./lus2lic {-ec -o speedcontrol.ec speedcontrol.lus}
PASS: ./myec2c {-o speedcontrol.c speedcontrol.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node speedcontrol.lus { --expand-nodes}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node speedcontrol.lus { --expand-nodes}
PASS: ./lus2lic {-o stopwatch.lic stopwatch.lus}
PASS: ./lus2lic {-ec -o stopwatch.ec stopwatch.lus}
PASS: ./myec2c {-o stopwatch.c stopwatch.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node stopwatch.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node stopwatch.lus {}
PASS: ./lus2lic {-o struct0.lic struct0.lus}
PASS: ./lus2lic {-ec -o struct0.ec struct0.lus}
PASS: ./myec2c {-o struct0.c struct0.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct0.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct0.lus {}
PASS: ./lus2lic {-o struct_with.lic struct_with.lus}
PASS: ./lus2lic {-ec -o struct_with.ec struct_with.lus}
PASS: ./myec2c {-o struct_with.c struct_with.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct_with.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct_with.lus {}
PASS: ./lus2lic {-o t0.lic t0.lus}
PASS: ./lus2lic {-ec -o t0.ec t0.lus}
PASS: ./myec2c {-o t0.c t0.ec}
PASS: ./lus2lic {-o t1.lic t1.lus}
PASS: ./lus2lic {-ec -o t1.ec t1.lus}
PASS: ./myec2c {-o t1.c t1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node t1.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node t1.lus {}
PASS: ./lus2lic {-o t2.lic t2.lus}
PASS: ./lus2lic {-ec -o t2.ec t2.lus}
PASS: ./myec2c {-o t2.c t2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node t2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node t2.lus {}
PASS: ./lus2lic {-o test.lic test.lus}
PASS: ./lus2lic {-ec -o test.ec test.lus}
PASS: ./myec2c {-o test.c test.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test.lus {}
PASS: ./lus2lic {-o testBoite.lic testBoite.lus}
PASS: ./lus2lic {-ec -o testBoite.ec testBoite.lus}
PASS: ./myec2c {-o testBoite.c testBoite.ec}
PASS: ./lus2lic {-o testCA.lic testCA.lus}
PASS: ./lus2lic {-ec -o testCA.ec testCA.lus}
PASS: ./myec2c {-o testCA.c testCA.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node testCA.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node testCA.lus {}
PASS: ./lus2lic {-o testCapt.lic testCapt.lus}
PASS: ./lus2lic {-ec -o testCapt.ec testCapt.lus}
PASS: ./myec2c {-o testCapt.c testCapt.ec}
@@ -1594,26 +1594,26 @@ PASS: ./myec2c {-o test_Int.c test_Int.ec}
PASS: ./lus2lic {-o test_arrow.lic test_arrow.lus}
PASS: ./lus2lic {-ec -o test_arrow.ec test_arrow.lus}
PASS: ./myec2c {-o test_arrow.c test_arrow.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_arrow.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_arrow.lus {}
PASS: ./lus2lic {-o test_boolred.lic test_boolred.lus}
PASS: ./lus2lic {-ec -o test_boolred.ec test_boolred.lus}
PASS: ./myec2c {-o test_boolred.c test_boolred.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_boolred.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_boolred.lus {}
PASS: ./lus2lic {-o test_clash.lic test_clash.lus}
PASS: ./lus2lic {-ec -o test_clash.ec test_clash.lus}
PASS: ./myec2c {-o test_clash.c test_clash.ec}
PASS: ./lus2lic {-o test_condact.lic test_condact.lus}
PASS: ./lus2lic {-ec -o test_condact.ec test_condact.lus}
PASS: ./myec2c {-o test_condact.c test_condact.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_condact.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_condact.lus {}
PASS: ./lus2lic {-o test_const.lic test_const.lus}
PASS: ./lus2lic {-ec -o test_const.ec test_const.lus}
PASS: ./myec2c {-o test_const.c test_const.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_const.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_const.lus {}
PASS: ./lus2lic {-o test_diese.lic test_diese.lus}
PASS: ./lus2lic {-ec -o test_diese.ec test_diese.lus}
PASS: ./myec2c {-o test_diese.c test_diese.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_diese.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_diese.lus {}
PASS: ./lus2lic {-o test_enum.lic test_enum.lus}
PASS: ./lus2lic {-ec -o test_enum.ec test_enum.lus}
PASS: ./myec2c {-o test_enum.c test_enum.ec}
@@ -1626,7 +1626,7 @@ PASS: ./myec2c {-o test_lustre.c test_lustre.ec}
PASS: ./lus2lic {-o test_map.lic test_map.lus}
PASS: ./lus2lic {-ec -o test_map.ec test_map.lus}
PASS: ./myec2c {-o test_map.c test_map.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_map.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_map.lus {}
PASS: ./lus2lic {-o test_merge.lic test_merge.lus}
PASS: ./lus2lic {-ec -o test_merge.ec test_merge.lus}
PASS: ./lus2lic {-o test_model.lic test_model.lus}
@@ -1640,94 +1640,94 @@ FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils
PASS: ./lus2lic {-o test_node_expand2.lic test_node_expand2.lus}
PASS: ./lus2lic {-ec -o test_node_expand2.ec test_node_expand2.lus}
PASS: ./myec2c {-o test_node_expand2.c test_node_expand2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_node_expand2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_node_expand2.lus {}
PASS: ./lus2lic {-o test_poly.lic test_poly.lus}
PASS: ./lus2lic {-ec -o test_poly.ec test_poly.lus}
PASS: ./myec2c {-o test_poly.c test_poly.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_poly.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_poly.lus {}
PASS: ./lus2lic {-o test_struct.lic test_struct.lus}
PASS: ./lus2lic {-ec -o test_struct.ec test_struct.lus}
PASS: ./myec2c {-o test_struct.c test_struct.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_struct.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_struct.lus {}
PASS: ./lus2lic {-o titi.lic titi.lus}
PASS: ./lus2lic {-ec -o titi.ec titi.lus}
PASS: ./myec2c {-o titi.c titi.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node titi.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node titi.lus {}
PASS: ./lus2lic {-o toolate.lic toolate.lus}
PASS: ./lus2lic {-ec -o toolate.ec toolate.lus}
PASS: ./myec2c {-o toolate.c toolate.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node toolate.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node toolate.lus {}
PASS: ./lus2lic {-o toto.lic toto.lus}
PASS: ./lus2lic {-ec -o toto.ec toto.lus}
PASS: ./myec2c {-o toto.c toto.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node toto.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node toto.lus {}
FAIL: without any option: ./lus2lic {-o tranche.lic tranche.lus}
PASS: ./lus2lic {-o tri.lic tri.lus}
PASS: ./lus2lic {-ec -o tri.ec tri.lus}
PASS: ./myec2c {-o tri.c tri.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tri.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tri.lus {}
PASS: ./lus2lic {-o triSel.lic triSel.lus}
PASS: ./lus2lic {-ec -o triSel.ec triSel.lus}
PASS: ./myec2c {-o triSel.c triSel.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node triSel.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node triSel.lus {}
PASS: ./lus2lic {-o trivial.lic trivial.lus}
PASS: ./lus2lic {-ec -o trivial.ec trivial.lus}
PASS: ./myec2c {-o trivial.c trivial.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial.lus {}
PASS: ./lus2lic {-o trivial2.lic trivial2.lus}
PASS: ./lus2lic {-ec -o trivial2.ec trivial2.lus}
PASS: ./myec2c {-o trivial2.c trivial2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial2.lus {}
PASS: ./lus2lic {-o trivial_array.lic trivial_array.lus}
PASS: ./lus2lic {-ec -o trivial_array.ec trivial_array.lus}
PASS: ./myec2c {-o trivial_array.c trivial_array.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial_array.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial_array.lus {}
PASS: ./lus2lic {-o ts01.lic ts01.lus}
PASS: ./lus2lic {-ec -o ts01.ec ts01.lus}
PASS: ./myec2c {-o ts01.c ts01.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ts01.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ts01.lus {}
PASS: ./lus2lic {-o ts04.lic ts04.lus}
PASS: ./lus2lic {-ec -o ts04.ec ts04.lus}
PASS: ./myec2c {-o ts04.c ts04.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ts04.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ts04.lus {}
PASS: ./lus2lic {-o tuple.lic tuple.lus}
PASS: ./lus2lic {-ec -o tuple.ec tuple.lus}
PASS: ./myec2c {-o tuple.c tuple.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tuple.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tuple.lus {}
PASS: ./lus2lic {-o type_decl.lic type_decl.lus}
PASS: ./lus2lic {-ec -o type_decl.ec type_decl.lus}
PASS: ./myec2c {-o type_decl.c type_decl.ec}
PASS: ./lus2lic {-o uu.lic uu.lus}
PASS: ./lus2lic {-ec -o uu.ec uu.lus}
PASS: ./myec2c {-o uu.c uu.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node uu.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node uu.lus {}
PASS: ./lus2lic {-o v1.lic v1.lus}
PASS: ./lus2lic {-ec -o v1.ec v1.lus}
PASS: ./myec2c {-o v1.c v1.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node v1.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node v1.lus {}
PASS: ./lus2lic {-o when_tuple.lic when_tuple.lus}
PASS: ./lus2lic {-ec -o when_tuple.ec when_tuple.lus}
PASS: ./myec2c {-o when_tuple.c when_tuple.ec}
PASS: ./lus2lic {-o xx.lic xx.lus}
PASS: ./lus2lic {-ec -o xx.ec xx.lus}
PASS: ./myec2c {-o xx.c xx.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node xx.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node xx.lus {}
PASS: ./lus2lic {-o xxx.lic xxx.lus}
PASS: ./lus2lic {-ec -o xxx.ec xxx.lus}
PASS: ./myec2c {-o xxx.c xxx.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node xxx.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node xxx.lus {}
PASS: ./lus2lic {-o yyy.lic yyy.lus}
PASS: ./lus2lic {-ec -o yyy.ec yyy.lus}
PASS: ./myec2c {-o yyy.c yyy.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node yyy.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node yyy.lus {}
PASS: ./lus2lic {-o zzz.lic zzz.lus}
PASS: ./lus2lic {-ec -o zzz.ec zzz.lus}
PASS: ./myec2c {-o zzz.c zzz.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz.lus {}
PASS: ./lus2lic {-o zzz2.lic zzz2.lus}
PASS: ./lus2lic {-ec -o zzz2.ec zzz2.lus}
PASS: ./myec2c {-o zzz2.c zzz2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
==> lus2lic0.sum <==
=== lus2lic0 Summary ===
@@ -1739,39 +1739,39 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
=== lus2lic1 Summary ===
-# of expected passes 315
-# of unexpected failures 5
+# of expected passes 217
+# of unexpected failures 103
==> lus2lic2.sum <==
=== lus2lic2 Summary ===
-# of expected passes 330
-# of unexpected failures 3
+# of expected passes 228
+# of unexpected failures 105
==> lus2lic3.sum <==
=== lus2lic3 Summary ===
-# of expected passes 479
-# of unexpected failures 11
+# of expected passes 382
+# of unexpected failures 108
==> lus2lic4.sum <==
=== lus2lic4 Summary ===
-# of expected passes 471
-# of unexpected failures 4
+# of expected passes 374
+# of unexpected failures 101
===============================
-# Total number of failures: 23
+# Total number of failures: 417
lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 0 seconds
-lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 15 seconds
-lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 46 seconds
-lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 13 seconds
-lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 49 seconds
+lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 13 seconds
+lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 15 seconds
+lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 5 seconds
+lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 16 seconds
* Ref time:
-0.06user 0.01system 2:03.56elapsed 0%CPU (0avgtext+0avgdata 5100maxresident)k
-0inputs+0outputs (0major+5541minor)pagefaults 0swaps
+0.05user 0.04system 0:49.41elapsed 0%CPU (0avgtext+0avgdata 5104maxresident)k
+32inputs+0outputs (0major+5567minor)pagefaults 0swaps
* Quick time (-j 4):
-0.04user 0.02system 0:52.88elapsed 0%CPU (0avgtext+0avgdata 5104maxresident)k
-32inputs+0outputs (0major+5550minor)pagefaults 0swaps
+0.04user 0.03system 0:55.44elapsed 0%CPU (0avgtext+0avgdata 5068maxresident)k
+32inputs+0outputs (0major+5569minor)pagefaults 0swaps