From 6c036c82155e09251ed5a782ea361115c08bfe1c Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Wed, 18 Sep 2019 11:23:50 +0200
Subject: [PATCH] Fix: a bug (behavior of =red= in interpreted mode) introduced
in sha:6437ec67a53b95
---
lib/dune | 2 +-
lib/socExec.ml | 9 +-
lustre-v6.opam | 3 +-
lv6-ref-man/lv6-ref-man.pdf | Bin 323614 -> 323618 bytes
test/lus2lic.sum | 855 ++++++++++++++++++------------------
5 files changed, 435 insertions(+), 434 deletions(-)
diff --git a/lib/dune b/lib/dune
index 9befdb3a..75c5271a 100644
--- a/lib/dune
+++ b/lib/dune
@@ -3,7 +3,7 @@
(public_name lustre-v6)
(libraries num rdbg)
(wrapped false)
- (library_flags (-linkall))
+ ; (library_flags (-linkall))
; (modules
; )
diff --git a/lib/socExec.ml b/lib/socExec.ml
index 0a602d6b..7e404e50 100644
--- a/lib/socExec.ml
+++ b/lib/socExec.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 29/08/2019 (at 16:40) by Erwan Jahier> *)
+(* Time-stamp: <modified the 18/09/2019 (at 11:19) by Erwan Jahier> *)
open Soc
open Data
@@ -47,8 +47,8 @@ let rec (soc_step : Soc.step_method -> Soc.tbl -> Soc.t -> SocExecValue.ctx
let ctx = SocExecEvalPredef.get soc.key ctx in
ctx
with Not_found -> (* Not a predef op *) print_string (
- "*** internal error in "^soc_name^". Is it defined in SocExecEvalPredef?\n");
- flush stdout; assert false
+ "*** internal error in "^soc_name^". Is it defined in SocExecEvalPredef?\n");
+ flush stdout; assert false
)
| Gaol(_vl,gaol) -> List.fold_left (do_gao step.lxm soc_tbl) ctx gaol
| Boolred(i,j,k) -> (
@@ -125,12 +125,11 @@ let rec (soc_step : Soc.step_method -> Soc.tbl -> Soc.t -> SocExecValue.ctx
| "fold" | "red" | "fill"
| "fillred" ->
let a_in = Var (List.hd iter_inputs) in
- let a_out = Var (List.hd iter_outputs) in
(
assert(iter_inputs <> []);
assert(iter_outputs <> []);
a_in::(List.map (array_index i) (List.tl iter_inputs)),
- a_out::(List.map (array_index i) (List.tl iter_outputs)))
+ a_in::(List.map (array_index i) (List.tl iter_outputs)))
| _ -> assert false (* should not occur *)
in
let ctx = { ctx with cpath = inst_name.(i)::ctx.cpath } in
diff --git a/lustre-v6.opam b/lustre-v6.opam
index edd2f1ff..68e24eb0 100644
--- a/lustre-v6.opam
+++ b/lustre-v6.opam
@@ -10,7 +10,8 @@ maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
authors: "Erwan Jahier and Pascal Raymond"
license: "CeCILL"
homepage: "http://www-verimag.imag.fr/lustre-v6.html"
-bug-reports: "http://www-verimag.imag.fr/lustre-v6.html"
+dev-repo: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6"
+bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/issues"
depends: [
"ocaml" {>= "4.05"}
"base-unix"
diff --git a/lv6-ref-man/lv6-ref-man.pdf b/lv6-ref-man/lv6-ref-man.pdf
index 7a21a68885d17d11685d9e9df2bc14fdcc9b420b..0f18d36a246905c5607f856b0212ab09d0994152 100644
GIT binary patch
delta 3605
zcmai0XHXN|wj~J=5@P5fNHrvMgwR1sAb@lbq_<GzlNO3}OejJq7K$LfqatVor78vi
zK?IEu6;vbwLZphI6h*JT`{v$1Z|42j>#Vb8&7M7b=Bzo@Oo4i)z!eNoUA1)UI8eU8
zfrn%>*?94!pEE+}CDY7cC?b?w^Fnax{3C76hm?e*?ci&>SZOAR-Aj00@?q@ozO%eB
zG$NnD)Wa$3DnLA>TswjBWa0UP61AHgJqE)IHg{zzNLuca?`}^V(!&}~NZOrmjEwl5
zK`Xp9IVv>Z5Z!h}wJjki+<a|mIQv1*?xD+-$(F*(Pfs!~+vbj;e}B`xFsRidS^m!s
zwnEgXU#0)^0`!8_7Y`ZA<O3}|e0B3i_nt4<!4$nNmM!n)5Zowr2Q}-X?kDp0^g{Xf
z<(Lz$DWD-UXKaQ#AX^>qw}5{N)TIt!|3v4)>R>fAuo~D>sY!Ox|J=IplkEFEr_@z-
zvAP=SrfS-%YTBlns>WJs>L$i!<~o`t+UmyYhEn?Y|IgwLRj~<*I1?KprLL~4T?F8j
zBVo!s!z4}$k#~PeoajgQ%Wh%f{FmpAE(y$uzq1rup0|Gee7J17M=#F*n6uD5v+z1c
z$!<$BYf!4uipv;q6)bnPC1UQ%TU4e-EU)tEbVr|-uZ}qV;tKi=A;12q?35YZzF+b2
z&$T-`&U7d}lPGR)Ew+@|{`^Qusib|(i$apO8amD!5P1`b^iRyy413wi?mTpxzt28K
z^oC5_#c6|b&DxS_W&a9|Ra%^XS57$nJz!-DGf_gBZJJ>_nxiS;d3}bxJVzWAmmSO<
zg3-dQX-!lSgzw7xcZF<lh7UF8%r?%z^(a;7xQt-gY5W@O?y5!~E<ShP!#`AGmz175
z)G6TEGy_V?Sx3iRTsluAPqSmKx21GU!!o9w%TsH;tbVsp+UWYQgPe=}eJ0ynNGYw8
zYibh>OeFT}Yhuol6cW{GvWA-QQ#G;K?zD*!%;%dDQ+_E178uevsXMViP#dmXVgV=Q
zRc%|-r%@9EO!Qp|e{K!?G!cK&2xVeQ|44AoKXWf$>Vuy14?fM>)_9S&J;YE9Um4gQ
zdYx0%bW_#?-Dzn<vQkm=PL*HLd@;!o^^$2mY%Q&;ipiN)xGPfr_O2^s7Sr5SYia52
zx@BR$hPJh3Y5K3Eedr&fn%j6+G~YzcO2wsLi>tD_);l|W+`mY}nHktgl7|aSMY!&7
z@~_Hj89RY5U6RZ4uo%=0r2}p?MCC0U(EOg-{d67afrn+q5PotNw63Ji`t1dYK`oHT
zr^YAM7PMJ=K@3ju`}waNc#w5<e5%Ls>I97}7a9`Q$0n_E5Aej3#g^Yr1*>+NXcJ5?
zq>`fqlK>5}Vr=<kwZf#QH@KV&!+*Hl`Nb<2bF23pOp1gA%1N5D)n{YLAJXh#I}x?-
zK>J*1g)0NNvmjlb{4P~C2h5JO%P#K4i9z{q2SjBlKis&gqWhrlH{QS_%euG65i1uG
zpL+B+Ckvxj6CJyV%BsDfrOcqGZ!<P<-Gu$LRDvjrL$C9D`gs!Em`S7Zgdnbs0y_fS
zio!^3zZkYpn+<!2?2z#VK<Z<ICA})<8;oc|p6p<&$zEdcL-(s$?z&+X-`BQ#yP#p9
zcg9VDF?U#(&N_h38jI6=9s=%>#S6XnTO{67l03sS)2eW?8*y}nnKpTY2yOaIp8)IU
zdypRbo!1+DFA1mpW<2b~t*Qp>darcYI=HusXUFP0o%^5*Jm5#?;WTz{A6Yqf=hylv
zA`F(nrwY$PC%3p?7Uc+F>bS8B(-KvW&A1xU7i4;*3_d}K&~fq<0a3}ZjDwfZ)VjHj
zr#)jr-2kp>9B*g}ZlE^<M~DLNfn5XQRQN{v5h{elp!^_@C)}RlmP>;Ya2OisGT2AJ
zhzAj}5_8V3J@Tg$iA`ExZBP6UnkQ6mRj(yiuSpo|zlgaEt{zI}-+Xr}2*k4KhR0Sv
zn8-L=soXq?%K0@WkYttWzsYe>`9%1R{Tcl)2R1U?J~czgkI&e6^d%DbH^FQ(yMc2H
zStLnd0&|O2lwdz^;GfjG9aHPnzU;E&;V|5Ap@!XwaI}_e1o=W+NE`Vx*e@84^D@k5
zxe&1Nm9rcEnx@drsniX1p$U-{Bm@k!62rbuFW!9`Q1k{*{evSimu)2~^#3dWN0>0Q
zpI0;A)A;z1^u=}^q_K@$!j1=Ao15>3as7J_(@&JWfWiZ6ZiQ=yK8GFa1n>>;ky<{D
zv|u{WW5ABey~Y_{D;`U>qk?18BB;V^AcI=rH87ZFOyt@Dc=wBQ_J*7Q#@>t*WC6o@
zS?ys+M!FvHD8u6W%0iN7uhmpg+3mqgAQzJFCwW@=trQ@2QlSQ@zGDqP&SuLN+V~ad
zhVEor8W6jyPX6SQ2x(k?EqXQSYYbV_wQSgFpR=3GP5SDcw4MB<RS|<dHA3C#PQno{
za6GLg@X_YvLPUBW0Th;=%rvBdMxt()2PX+0e(rl~%AE~^i+Bmqmzk#uhP`-<0UX&t
zIEPqi3yWQnbZJLta$&T``t$y~sU)lS#O{y8!MY20z+a2kBg)GY@ow|fp@NurTsz6A
z?ga19F$$hHTQq{QQwd%s-_Ck^uY&*PD#HlRdEGjyF-p47AmLOz%TY|E@_6S-0K6xP
zY!PACxEhnBY8lr{mH83j()bBGTgM&R7$wXG)ghgZN>Wxt;UB$Puy`Q71vh@*Zn0mz
z(G9&a&<4yWB0myGKVIqMxYjKW?XEygwN&GeW@GGpFCx|9+Nk6Ot@2&7=POb<-F#)r
zsPrML0@+7xCoJ4e^C$>DWt4~MJxU1QOH{qt|0xu#oopvbhO(8Iny0iP+-DeyxV+I~
zz9{K>`@k{EC~v{BdF!E4ib_;^Yz?4;sX@o4LMz#2X&M9sCDzWgd^D54Kv6BylwZ;^
z#Wafo<8wxBdKP$@M~j@2s>cNyQqYEld!vhdeCnuRMu#|GPutg%VYwDa*&f6Ntu4&T
z4}_H&DfJm@`P5w77fgM0;AHMNILae%Rr{dfpyfW0F8gPY<{Xy5OW755`##H>?*RnC
ze6nAyc$zC;0ZQHW0p@Gji&fp%fXBl>9#FQZITfhOhK<Qxl+X3?4vWe9#R?MGTK+JQ
z5Xv{fCH{2UQ3viga`B-`e{1q84iv(!T<b$xw2oZ)AVY`6rF#>!LqO}bpxAVSTJG44
zhXhF$;32_ChYg;NujMKJ8%&qT0HUB6D1*TDH<h4IXgb%}Mh4K=IL^@AiSSBr3_(JP
zY(@ku5+F($c})Ip*ln^<ZRBeN>&K1)y^B>;>%3Sd`j+Ix)T8fyu3#d%5l1%2=ZL~#
zWLqLn$h=c?nJPbfF^;3uXO%sQ)YwxA7{_3)ek&gBI^Pyw9hmyfY}TLa6hMuU3Ogr>
zzdz!zj%6gkG$rssBMviIMhxtmnA4<haDRPVz>Qg?f>u`U#k$vLZhRBT)oebk_;tb1
zpsD2cj+Hyrp$N+egk44AF;5&wScWgmSs4Fn*dY|l@PG*+@E3+1T(KmEGwhXM!z;nF
za^|6Or|t4x>~54IS1?&gIdxY4Hwux@INbHA34|@$eA+N54~*am)4Tz=PfqT5Utz|Z
zCxtLpN_YFO;g$py*`O2Ds&`My@u#s$gXN;iomGUDdvSZ<t4_*;tp^*lV|j*%RHXyA
zox7}nmm{V0HFiNB$v@gZN=`ScKzLN-ErrtUHFlKH|FlLlmVBV1$DZds_`z+^6bCPr
zTmSQ*5!$UTZ;6BRS;Jg;d<c;>?}FX)H)Ky<NpAxxLnk&%Mr-C?B1;6_97ASd)=(w+
z9RrTP2epw_Xu_Q_=vZF%Qt~gAM4oC~ew<xXdC|RzMoD*X!leN@pkWHso3!S7Z*+ev
z$@n{WyYCfxz0;!63l=<3?n)gl3rG@y{x2(l$}|8gav!38SI{4sb^GJ2Uj3%aL<q(@
z)g4CrT4|~TIkp@Inas`!#KmG5DzX~-<@CLV%;qkE@;S>8Z>#B^a%!lO-|k^%=K^H?
zx`5tuOza2C>FvYJ+neav-%5U)tB@Z)maIhey4{DFpjQy^9gNrkDb{4pUI6|^cBcz1
zmZ<MX_SHSOl^L)p1B-6Ld(poPLZmAo4H=Mt24+L%R*kGpit@)j0Z361#K{vf<!i5l
zEhR=ve`G9pY&)}1b?Bx0Joj%7M}icLuNE(HPWq0&Kr6ksc1uzC2sEl8DfoR(c^n=7
zcv$93)Z<TMnTiG^h+;Uz^#^~L_MYqGv(2(CoSL{tct)B5?#Mg9ig7RPzWZUGxqRxr
z^z7NfNgfH7OGmMf=TsX)J~h^}%cH4&xuf^KlY+#roQU<p++{<0+pOc(q^v7lM(87U
z_N?&KVQ<7aN@A~hm)-yueN!la;5GgZRykIAG{w&M(~dLg4>FiBKFiS?%F7@A4H1gV
zozW4Bk!%-hAz!@ZA^~k=`{Vn^siODN;^=_xdzJlT^7oe+kQl2>-B$yZ(P!=aH0OBW
z<P7qrjqbUfN@$ForQvnX8c9G()YxTUf9T@h1OVxwu1iPjp(Md6ps~xKT(WM>_2_<W
zzQq*5(S82H8lYh5_MdOb7kLFE?&p9pobC&Hii8r|Vea*s^*y^%m7M*mXG0HukF5Q!
XKUY~)`fZb43ZkV7#bC_r&7uDSXO3~y
delta 3615
zcmah}dpHwr|DGMpDa>I;3}a3yb0)*Yh|m(1Q`V%Mo3F#yA<ZZzheXV|spJr4BGPFx
zp&S;9QcT2>atN7IKkxPXUhn(QdtL7zpZmE#_j7-)&p*#|-{MM_bER|8Km+qU0ZHxa
z1PMyf9Y^nLFKcymZnbB`(>}k42aEI_=%ic-iH9w%%=BRv`~@dLlJ^a_9Q1r+F6Hkd
zXw`cN`iP#rp<d5YarBktiZ8zO86j7QHI5y}x|TXU;-4>BVFr~9ORSo-{hFMH?#!%N
z3%#!FulIr_-!OWWjPZhd<V!vYT2l@CnK<I17liNccbjVOicfb^|FdeI+F|l|;d{iQ
ze$ig*rvuM_ei69>45)$AOd6XsY|3A)nQi(($tY5v%%;8%`HXDiNh8{0mJ^|QxasaT
z|5Ja!L`S}dZi<mWnvuZ23b<RK79#=hSB?<INZ-`h*w~D&ItbqT@2<se5X_f2W{)w|
zH?Xt89Ksvn&CTr%?9GfY26%frdqYzjdyK7>3fA_2S$swGoCCtoM+K@F8k!r?D@=ge
zlp^m?q=RhI?=9rS)Vjh%8Qb;C*3!0=#Up8p{?3->yis`zIZb96IK3qBUI8!}8h-1r
z4M`n*Na&cy*UBb0j{;4k!sS>*G`_~G=Ib)xMp|t$R0Mb@sIq|Xs=OR9JHIjU*?gk6
zzuYBPonM`!e#K78llBMA|4UWd<x1f#3NG{tB0&_*l04#Hw`SGnMzEjPVI~;8v4JpM
zNPh>NNY){ZvDX4mq$IM#VPln^ptY_e#d?xs6`rDVG-Jspwhxg;lHbuWCFj%vQ6{)~
zcpr#SG-|{QE8fq@9~EPk7>(g9n1<|d&OD%u-4A=>`cPCcQ{N9iuh3`9#ZZ`u>_>qy
zDM%8O7B+|lW=oZ*p9?~Qp0Q)neJkS>Wki?!<e7VlHF3(!2-0_>&2|72LOK~Jo~%lm
zu3t0gJA*kCnlg$mzD>+5oC(XCF*9>?j%;#@1UgF%DOMUCrPd%Ki*L&o4-r#O2{QwV
ztJ>vBpV<Y0{mJGeTQ-~$R1W#YZd#BFEC<b|PoDjOFP3BBNptxot6V(kZ(3PZji#5z
zBL`=Slb*rpL{*;gz|insAGN#Nb@Ym|$f8j=)4cd2^E*3+_HBQl8)+mTn=5HydtAEB
z(b<wSc2fR6?D)vJz}my6v@(smzEx7M!c8A#jLNvkniYpNO0y|VV;(z7q(rtx&>ZV6
ztdsC&itHL3&6*2*IuOy-F6`*~=V;es@zB)B{`Ee5ZsUtN@eaKyLiS~IHS>|{z3Y9^
zTL!_AO3j(?E?N^W&qOCh6qy3-{l~$GlsH4;^w;{NrGgfaz2~?v!kcfyqP>;?y*f4y
zLRj*Tu?l-uQ51RExFYqh%Di{KlTj_T-nIb#FIdttAAwuhQpYWny7qqiTpB*m<KTMh
zFN4CokENxvnJpIq45x8T$JMm>adX$2k+cwVsTo?)z!A62`^e-vK0bS2<CS>+E%mIU
z-^S67ZPpLGTMG=^B71vA)PoZ6f2;U}^Qj#S#T9^(Hzf_HoTftVZy0#1dmi<sNa<Hd
zu42vb%{J|xl`gq#74u)Q*;ahtnS*8Ag~JAm7Ug2UL?&m8R%bjE&V9XjGFKUUFX0W&
zd=%=0_Uw*wfK-D$7z(^kr$rTPveds%45oZ1ELeH3asiz5Cwq(>8!aolngM0cERy;M
zJ~MoCpHar*56hW#8yk-Ghs*{#Ke>OiUJdsf3AN0<ICp-drHduZfu`CV%k2t|da(0D
z1p&NG6mw33IX-uP(3O>v$CWuHxQ~k}yfIy}z>7HUlT*HIR0xUW>J~z0+aWp09u0yA
zsBgF;r=WYeIt@hWP-+PGV5>lQau`|kli=Shampwp0hiSZ?arJnewGB(5)ixr#4g5i
zjh8Zr>36M8%BjaK>TL^TE_QQ60QRw&i`Xg455KV=ER$o)XOR-v^xx{^Efud1aEcbi
zIdRKyiCW=Dg-#E(HuTCl$LFLsB{{Q3&tnr0PEkkB8+a~msJ{~O1IKcgSb4G5fbQp-
zlue}RmJkbc4O-4lkXnEZ`Iq?tlyb4p?vEtvAop*{6bc#wAY1ZD(A{OoSnT2~z##VQ
z;z7C?nQqF8ChrNQx)9qv8U)@8)W$lmj7~Fq{PVgruDP6+Xx~L-3DzVobooE>zXjt>
zY<dP_k}`Gq_tPOOoZ+=I$PR2Oe^ZeT5P%SXVp@=|pI!!#h3lvuj^jVyTaQ75S(gZ+
zb2!UDKo&z-5zxngG$osG#1G;$c|d5pDj5-#f+T|#Aze5<Gw~>X43KxLUYX|>CdmVa
zA$X0UGVau1GThy1d3h?{yUl4Rpy+;wD@EXhUuO`j_+G3+!=TP?C~Tl1`*6}Mg_>4y
zLHd3wz5zF{NPO(!16g{!di8CdAE55>Ro(KdrY!WoJi=cL=bEAMi?XakHG%EMWTj7n
z-nmad)O39YTM*^usZY2_7D!jSRit?7*h-ahi1dC%1GBT_0Nl-#6x5r2@j~<mJg_qT
z84nDl-08ZGbm;eW9+-GhSH<3wwpZL#(aTJRti>g;R?`vBBGb^~M-<Kfc0lt7q}xC?
zipgf+h}KE_!vlD-057=E`AN|AxtMLkv*b1z2L)4&9tS<1xbIc9l%dWwGnT5UfMm~p
zT9joCH1BMcXh`G23|>L`ol;way+R9+z^b5J9SZp%DIe!@O>HTgZ2^u5L3LVwj*wMJ
z83Q6FF)t@`I#gTs6t*gfw3eU@Ys+mF($KDcSqMXMQ(%Ivd0zr*HaZ9VNvIbtU~{OZ
zJI{Jp>5eV~kIP7c3+xAaft!Q^VI0(d6>w{y4-%Aoz!9LDl{+nTeomHwC%zVHg>f`7
z0pPPj-I9xF?hzIp<JdMpjU&T(h2@a*tRM`i5CSZd&e6bBfTu-z_fpwVDdikh6<b_B
zYx9H(o$4bfBcvr+C;?2DP`ARwf!Sg-`IXRZREzsgl8b<Fhs?+=j>dCv;>4jE#s!M!
zG?w>7_Bq&H+}VrDSLvmF`cuDC{X94fup-QpE(`*0fLDY!dWXUXtF|36;;&d*oNU&;
zq{GxAjnIsXKSkrSEdY}*El;y!M=x7mcd)KWSdbpVFEn%?&DJ#9v-_SIcGLGJMw9{=
zQtng*$%lWM=}{Mqt0B=0*t{HngL1E}1!<H7V#qfoo!|(5w1M)#zFZYEuy{&12b7(3
zn~UH<x@=&jfJBC}Sdt9}oZ2pgfcO&?OTp4asZ!u^BC-^;n>u8eZW6u$T+l9ZxLxNI
zh|UTiL+VoYFfP1@^EOxDoEDxT!*SYTr1{U?_Gre!kZHR~D<nKc+JXq3Pqrk>1%C0r
zTZBP@WpKiDzwh7(3gdAps22^%k3KP-@OV7##_CtOs0>v*NH^iP{&1q$JEU!M7hy_&
zI94oQ$u^*iFrYsi>1;zO;$QukRT1M~J&MpVN%gu}@&3Hl`@%!{-I34Yo%Z{F%WouB
zX!uw6AawLooiZzSNYyV8wFgpbGb-Mbs+$oyx~U==757QilzWI;ZToxL!-UNDgz8d6
zeJMdtfB1;ls+4U$n}F6Y5N(VlF0sB)J3$#xxP&fpRD>X03;2ERv1x`1+(tL~6qxxR
z!wE~GzJ0{&Q_+Er>Iuj7Zl9k1oYr>54PL41*_?%XfW2oy?!I*mubg28Pt@HwwZi1l
zKh1+h5dSp(Z@YGH72dc9%du$Pduy-Kcjmzg%3!7t3C2dz@RAuS1(2FbQ{D8&3>0On
zx!lbHYN|`u`T<s^oY)uEdM2WSbh%R~LoCK&T5o{Y1H0^%+QUH&ZH>$E$GjCfa>b4q
z)R&xbOhp$xuOjXq@&#v4<p!N0yNg6V+yL#;NswCOx=-xFY+H&ax`USKiMFMRK@37)
zH)wa<t#eU-dWT}OX4rW1I;YNd`h`Rk)ZlD)j;d{{7)Aacc33{|SgOkh)$0<PD;Hn~
z_U0VwO!&yo$_#(q<oDCDV!6{!#N$PJ^^Sv`%X#+BJK9GF)Z8V7V}Ii9I=o>nL2POt
zZDxs9@B~($2MddY{g_od7><v!QhK|3o0jq-(`*Ivg$#eY9c(vnQ!Tr|LGdB%+087o
z9m+*^dNJ*JDs87rO>jNmMp=I)jdtdK)MZhH?I`wWID4JI?$KYo#AZK0Y23VOwra;7
zuAzNPfEi9?n<eUh>2+n#PkH_F;Grs1W+tthYdSB0oNS6@;2TqZy8ZULKk&K~ebSYi
zN3CJZcvVup!525Bb(Jqy(@$9|GT%x?P?}9&#!x8^p_lGx)&lZzFKpdYTp6kFlD1V&
zbDJM-$VI!YzuIi`(7STpYPeod8~bUn-d_7+L%p|)+u(L#xKd8;0Jh4z&uw|dqU{|D
zt#|1nq~0ypy4E|4B)&TlqwiP4sTaoxt|W9iVpM1L2)YJ2?XjwS;I^T&3&E5{?FW(C
zzYG4l@c+<~|ChIROaA-hg9M5712;^PHCUSTrhk6F0KH)Fq;}=nje}>L(lM0>3*B5@
zwCnCVu#S<%7R$6Nv&-GixN7%Q4RePsvE-_vBo}?vlmyj?G8~w;()B^uH!ycEAzp+4
zcIIRAm$Ov9-o_cersqV#2|lg^$#JZz>J@A&KnqlfwH?|Gi<N!lmmW=7__pcHtS)Gf
c#&;5zDQya6>vaACSVh>_Tm+5AAGH_xKk3STWB>pF
diff --git a/test/lus2lic.sum b/test/lus2lic.sum
index 28fb5c19..b2970f55 100644
--- a/test/lus2lic.sum
+++ b/test/lus2lic.sum
@@ -1,5 +1,5 @@
==> lus2lic0.sum <==
-Test run by jahier on Wed Sep 4 17:57:00
+Test run by jahier on Wed Sep 18 11:21:58
Native configuration is x86_64-pc-linux-gnu
=== lus2lic0 tests ===
@@ -66,7 +66,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 4 17:57:01
+Test run by jahier on Wed Sep 18 11:21:59
Native configuration is x86_64-pc-linux-gnu
=== lus2lic1 tests ===
@@ -78,338 +78,338 @@ Running target unix
Running ./lus2lic.tests/test1.exp ...
PASS: ./lus2lic {-2c COUNTER.lus -n COUNTER}
PASS: sh COUNTER.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c COUNTER.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c COUNTER.lus {}
PASS: ./lus2lic {-2c CURRENT.lus -n CURRENT}
PASS: sh CURRENT.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c CURRENT.lus {}
+PASS: /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: sh EDGE.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c EDGE.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c EDGE.lus {}
PASS: ./lus2lic {-2c ELMU.lus -n ELMU}
PASS: sh ELMU.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ELMU.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ELMU.lus {}
PASS: ./lus2lic {-2c FALLING_EDGE.lus -n FALLING_EDGE}
PASS: sh FALLING_EDGE.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FALLING_EDGE.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FALLING_EDGE.lus {}
PASS: ./lus2lic {-2c FillFollowedByRed.lus -n FillFollowedByRed}
PASS: sh FillFollowedByRed.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FillFollowedByRed.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FillFollowedByRed.lus {}
PASS: ./lus2lic {-2c Gyroscope.lus -n Gyroscope}
PASS: sh Gyroscope.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope.lus {}
PASS: ./lus2lic {-2c Gyroscope2.lus -n Gyroscope2}
PASS: sh Gyroscope2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope2.lus {}
PASS: ./lus2lic {-2c aa.lus -n aa}
PASS: sh aa.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c aa.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c aa.lus {}
PASS: ./lus2lic {-2c access.lus -n access}
PASS: sh access.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c access.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c access.lus {}
PASS: ./lus2lic --expand-nodes {-2c activation1.lus -n activation1}
PASS: sh activation1.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation1.lus { --expand-nodes}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation1.lus { --expand-nodes}
PASS: ./lus2lic --expand-nodes {-2c activation2.lus -n activation2}
PASS: sh activation2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation2.lus { --expand-nodes}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation2.lus { --expand-nodes}
PASS: ./lus2lic {-2c activation_ec.lus -n activation_ec}
PASS: sh activation_ec.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation_ec.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation_ec.lus {}
PASS: ./lus2lic {-2c after.lus -n after}
PASS: sh after.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c after.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c after.lus {}
PASS: ./lus2lic {-2c alias.lus -n alias}
PASS: sh alias.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c alias.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c alias.lus {}
PASS: ./lus2lic {-2c amaury.lus -n amaury}
PASS: sh amaury.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c amaury.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c amaury.lus {}
PASS: ./lus2lic {-2c arbitre.lus -n arbitre}
PASS: ./lus2lic {-2c argos.lus -n argos}
PASS: sh argos.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c argos.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c argos.lus {}
PASS: ./lus2lic {-2c array_concat.lus -n array_concat}
PASS: sh array_concat.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat.lus {}
PASS: ./lus2lic {-2c array_concat2.lus -n array_concat2}
PASS: sh array_concat2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat2.lus {}
PASS: ./lus2lic {-2c array_equals.lus -n array_equals}
PASS: sh array_equals.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_equals.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_equals.lus {}
PASS: ./lus2lic {-2c arrays.lus -n arrays}
PASS: sh arrays.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c arrays.lus {}
+PASS: /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: sh bad_call03.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bad_call03.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bad_call03.lus {}
PASS: ./lus2lic {-2c bascule.lus -n bascule}
PASS: sh bascule.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bascule.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bascule.lus {}
PASS: ./lus2lic {-2c bob.lus -n bob}
PASS: sh bob.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bob.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bob.lus {}
PASS: ./lus2lic {-2c bred.lus -n bred}
PASS: sh bred.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bred.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bred.lus {}
PASS: ./lus2lic {-2c bred_lv4.lus -n bred_lv4}
PASS: sh bred_lv4.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bred_lv4.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bred_lv4.lus {}
PASS: ./lus2lic {-2c bug.lus -n bug}
PASS: sh bug.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bug.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bug.lus {}
PASS: ./lus2lic {-2c bug2.lus -n bug2}
PASS: sh bug2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bug2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bug2.lus {}
PASS: ./lus2lic {-2c calculs_max.lus -n calculs_max}
PASS: sh calculs_max.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c calculs_max.lus {}
+PASS: /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: sh call02.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call02.lus {}
+PASS: /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: sh call04.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call04.lus {}
+PASS: /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: sh call07.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call07.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call07.lus {}
PASS: ./lus2lic {-2c carV2.lus -n carV2}
PASS: sh carV2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c carV2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c carV2.lus {}
PASS: ./lus2lic {-2c carligths.lus -n carligths}
PASS: sh carligths.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c carligths.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c carligths.lus {}
PASS: ./lus2lic {-2c ck2.lus -n ck2}
PASS: sh ck2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck2.lus {}
PASS: ./lus2lic {-2c ck3.lus -n ck3}
PASS: sh ck3.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck3.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck3.lus {}
PASS: ./lus2lic {-2c ck4.lus -n ck4}
PASS: sh ck4.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck4.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck4.lus {}
PASS: ./lus2lic {-2c ck5.lus -n ck5}
PASS: sh ck5.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck5.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck5.lus {}
PASS: ./lus2lic {-2c ck7.lus -n ck7}
PASS: sh ck7.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck7.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck7.lus {}
PASS: ./lus2lic {-2c clock1_2ms.lus -n clock1_2ms}
PASS: sh clock1_2ms.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c clock1_2ms.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c clock1_2ms.lus {}
PASS: ./lus2lic {-2c clock_ite.lus -n clock_ite}
PASS: sh clock_ite.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c clock_ite.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c clock_ite.lus {}
PASS: ./lus2lic {-2c cminus.lus -n cminus}
PASS: sh cminus.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cminus.lus {}
+PASS: /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: sh compteur.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c compteur.lus {}
+PASS: /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: sh consensus.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c consensus.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c consensus.lus {}
PASS: ./lus2lic {-2c consensus2.lus -n consensus2}
PASS: sh consensus2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c consensus2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c consensus2.lus {}
PASS: ./lus2lic {-2c contractForElementSelectionInArray.lus -n contractForElementSelectionInArray}
PASS: sh contractForElementSelectionInArray.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c contractForElementSelectionInArray.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c contractForElementSelectionInArray.lus {}
PASS: ./lus2lic {-2c convert.lus -n convert}
PASS: sh convert.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c convert.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c convert.lus {}
PASS: ./lus2lic {-2c count.lus -n count}
PASS: sh count.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c count.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c count.lus {}
PASS: ./lus2lic {-2c cpt.lus -n cpt}
PASS: sh cpt.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cpt.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cpt.lus {}
PASS: ./lus2lic {-2c cst.lus -n cst}
PASS: sh cst.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cst.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cst.lus {}
PASS: ./lus2lic {-2c deSimone.lus -n deSimone}
PASS: sh deSimone.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c deSimone.lus {}
+PASS: /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: sh dep.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dep.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dep.lus {}
PASS: ./lus2lic {-2c depend.lus -n depend}
PASS: sh depend.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c depend.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c depend.lus {}
PASS: ./lus2lic {-2c dependeur.lus -n dependeur}
PASS: sh dependeur.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dependeur.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dependeur.lus {}
PASS: ./lus2lic {-2c dependeur_struct.lus -n dependeur_struct}
PASS: sh dependeur_struct.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dependeur_struct.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dependeur_struct.lus {}
PASS: ./lus2lic {-2c double_delay.lus -n double_delay}
PASS: sh double_delay.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c double_delay.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c double_delay.lus {}
PASS: ./lus2lic {-2c ec.lus -n ec}
PASS: sh ec.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ec.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ec.lus {}
PASS: ./lus2lic {-2c enum0.lus -n enum0}
PASS: sh enum0.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c enum0.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c enum0.lus {}
PASS: ./lus2lic {-2c ex.lus -n ex}
PASS: sh ex.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ex.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ex.lus {}
PASS: ./lus2lic {-2c exclusion.lus -n exclusion}
PASS: sh exclusion.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c exclusion.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c exclusion.lus {}
PASS: ./lus2lic {-2c filliter.lus -n filliter}
PASS: sh filliter.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c filliter.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c filliter.lus {}
PASS: ./lus2lic {-2c filter.lus -n filter}
PASS: sh filter.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c filter.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c filter.lus {}
PASS: ./lus2lic {-2c flo.lus -n flo}
PASS: sh flo.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c flo.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c flo.lus {}
PASS: ./lus2lic {-2c followed_by.lus -n followed_by}
PASS: sh followed_by.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c followed_by.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c followed_by.lus {}
PASS: ./lus2lic {-2c fresh_name.lus -n fresh_name}
PASS: sh fresh_name.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c fresh_name.lus {}
+PASS: /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: sh hanane.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c hanane.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c hanane.lus {}
PASS: ./lus2lic {-2c heater_control.lus -n heater_control}
PASS: sh heater_control.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c heater_control.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c heater_control.lus {}
PASS: ./lus2lic {-2c impl_priority.lus -n impl_priority}
PASS: sh impl_priority.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c impl_priority.lus {}
+PASS: /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: sh initial.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c initial.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c initial.lus {}
PASS: ./lus2lic {-2c integrator.lus -n integrator}
PASS: sh integrator.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c integrator.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c integrator.lus {}
PASS: ./lus2lic {-2c is_stable.lus -n is_stable}
PASS: sh is_stable.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c is_stable.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c is_stable.lus {}
PASS: ./lus2lic {-2c iter.lus -n iter}
PASS: sh iter.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iter.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iter.lus {}
PASS: ./lus2lic {-2c iterFibo.lus -n iterFibo}
PASS: sh iterFibo.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterFibo.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterFibo.lus {}
PASS: ./lus2lic {-2c iterate.lus -n iterate}
PASS: sh iterate.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterate.lus {}
+PASS: /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: sh long_et_stupide_nom_de_noeud.sh
-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: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c long_et_stupide_nom_de_noeud.lus {}
PASS: ./lus2lic {-2c lucky.lus -n lucky}
PASS: sh lucky.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c lucky.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c lucky.lus {}
PASS: ./lus2lic {-2c lustre_test1_ok.lus -n lustre_test1_ok}
PASS: sh lustre_test1_ok.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c lustre_test1_ok.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c lustre_test1_ok.lus {}
PASS: ./lus2lic {-2c map_red_iter.lus -n map_red_iter}
PASS: sh map_red_iter.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c map_red_iter.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c map_red_iter.lus {}
PASS: ./lus2lic {-2c mapdeRed.lus -n mapdeRed}
PASS: sh mapdeRed.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapdeRed.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapdeRed.lus {}
PASS: ./lus2lic {-2c mapinf.lus -n mapinf}
PASS: sh mapinf.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapinf.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapinf.lus {}
PASS: ./lus2lic {-2c mapiter.lus -n mapiter}
PASS: sh mapiter.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapiter.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapiter.lus {}
PASS: ./lus2lic {-2c mappredef.lus -n mappredef}
PASS: sh mappredef.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mappredef.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mappredef.lus {}
PASS: ./lus2lic {-2c matrice.lus -n matrice}
PASS: sh matrice.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice.lus {}
PASS: ./lus2lic {-2c matrice2.lus -n matrice2}
PASS: sh matrice2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice2.lus {}
PASS: ./lus2lic {-2c minmax1.lus -n minmax1}
PASS: sh minmax1.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax1.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax1.lus {}
PASS: ./lus2lic {-2c minmax2.lus -n minmax2}
PASS: sh minmax2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax2.lus {}
PASS: ./lus2lic {-2c minmax3.lus -n minmax3}
PASS: sh minmax3.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax3.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax3.lus {}
PASS: ./lus2lic {-2c minmax4.lus -n minmax4}
PASS: sh minmax4.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax4.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax4.lus {}
PASS: ./lus2lic {-2c minmax4_bis.lus -n minmax4_bis}
PASS: sh minmax4_bis.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax4_bis.lus {}
+PASS: /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: sh minmax6.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax6.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax6.lus {}
PASS: ./lus2lic {-2c minus.lus -n minus}
PASS: sh minus.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minus.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minus.lus {}
PASS: ./lus2lic {-2c mm.lus -n mm}
PASS: sh mm.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm.lus {}
PASS: ./lus2lic {-2c mm1.lus -n mm1}
PASS: sh mm1.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm1.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm1.lus {}
PASS: ./lus2lic {-2c mm22.lus -n mm22}
PASS: sh mm22.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm22.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm22.lus {}
PASS: ./lus2lic {-2c mm3.lus -n mm3}
PASS: sh mm3.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm3.lus {}
+PASS: /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: sh modes3x2_v2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c modes3x2_v2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c modes3x2_v2.lus {}
PASS: ./lus2lic {-2c modes3x2_v3.lus -n modes3x2_v3}
PASS: sh modes3x2_v3.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c modes3x2_v3.lus {}
+PASS: /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: sh mouse.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse.lus {}
PASS: ./lus2lic {-2c mouse1.lus -n mouse1}
PASS: sh mouse1.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse1.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse1.lus {}
PASS: ./lus2lic {-2c mouse2.lus -n mouse2}
PASS: sh mouse2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse2.lus {}
PASS: ./lus2lic {-2c mouse3.lus -n mouse3}
PASS: sh mouse3.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse3.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse3.lus {}
PASS: ./lus2lic {-2c moyenne.lus -n moyenne}
PASS: sh moyenne.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c moyenne.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c moyenne.lus {}
PASS: ./lus2lic {-2c multiclock.lus -n multiclock}
PASS: sh multiclock.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multiclock.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multiclock.lus {}
PASS: ./lus2lic {-2c multipar.lus -n multipar}
PASS: sh multipar.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus {}
==> lus2lic2.sum <==
-Test run by jahier on Wed Sep 4 17:57:24
+Test run by jahier on Wed Sep 18 11:22:23
Native configuration is x86_64-pc-linux-gnu
=== lus2lic2 tests ===
@@ -421,108 +421,108 @@ Running target unix
Running ./lus2lic.tests/test2.exp ...
PASS: ./lus2lic {-2c SOURIS.lus -n SOURIS}
PASS: sh SOURIS.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SOURIS.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SOURIS.lus {}
PASS: ./lus2lic {-2c STABLE.lus -n STABLE}
PASS: sh STABLE.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c STABLE.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c STABLE.lus {}
PASS: ./lus2lic {-2c SWITCH.lus -n SWITCH}
PASS: sh SWITCH.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SWITCH.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SWITCH.lus {}
PASS: ./lus2lic {-2c SWITCH1.lus -n SWITCH1}
PASS: sh SWITCH1.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SWITCH1.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SWITCH1.lus {}
PASS: ./lus2lic {-2c TIME_STABLE.lus -n TIME_STABLE}
PASS: sh TIME_STABLE.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c TIME_STABLE.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c TIME_STABLE.lus {}
PASS: ./lus2lic {-2c TIME_STABLE1.lus -n TIME_STABLE1}
PASS: sh TIME_STABLE1.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c TIME_STABLE1.lus {}
+PASS: /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: sh X.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X.lus {}
PASS: ./lus2lic {-2c X2.lus -n X2}
PASS: sh X2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X2.lus {}
PASS: ./lus2lic {-2c Xr.lus -n Xr}
PASS: sh Xr.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Xr.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Xr.lus {}
PASS: ./lus2lic {-2c nc1.lus -n nc1}
PASS: sh nc1.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc1.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc1.lus {}
PASS: ./lus2lic {-2c nc10.lus -n nc10}
PASS: sh nc10.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc10.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc10.lus {}
PASS: ./lus2lic {-2c nc2.lus -n nc2}
PASS: sh nc2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc2.lus {}
PASS: ./lus2lic {-2c nc3.lus -n nc3}
PASS: sh nc3.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc3.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc3.lus {}
PASS: ./lus2lic {-2c nc4.lus -n nc4}
PASS: sh nc4.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc4.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc4.lus {}
PASS: ./lus2lic {-2c nc5.lus -n nc5}
PASS: sh nc5.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc5.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc5.lus {}
PASS: ./lus2lic {-2c nc6.lus -n nc6}
PASS: sh nc6.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc6.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc6.lus {}
PASS: ./lus2lic {-2c nc7.lus -n nc7}
PASS: sh nc7.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc7.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc7.lus {}
PASS: ./lus2lic {-2c nc8.lus -n nc8}
PASS: sh nc8.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc8.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc8.lus {}
PASS: ./lus2lic {-2c nc9.lus -n nc9}
PASS: sh nc9.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc9.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc9.lus {}
PASS: ./lus2lic {-2c nested.lus -n nested}
PASS: sh nested.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nested.lus {}
+PASS: /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: sh noAlarm.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noAlarm.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noAlarm.lus {}
PASS: ./lus2lic {-2c node_caller1.lus -n node_caller1}
PASS: sh node_caller1.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c node_caller1.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c node_caller1.lus {}
PASS: ./lus2lic {-2c nodeparam.lus -n nodeparam}
PASS: sh nodeparam.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nodeparam.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nodeparam.lus {}
PASS: ./lus2lic {-2c noeudsIndependants.lus -n noeudsIndependants}
PASS: sh noeudsIndependants.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noeudsIndependants.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noeudsIndependants.lus {}
PASS: ./lus2lic {-2c noinput.lus -n noinput}
PASS: sh noinput.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noinput.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noinput.lus {}
PASS: ./lus2lic {-2c normal.lus -n normal}
PASS: sh normal.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c normal.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c normal.lus {}
PASS: ./lus2lic {-2c notTwo.lus -n notTwo}
PASS: sh notTwo.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c notTwo.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c notTwo.lus {}
PASS: ./lus2lic {-2c o2l_feux_compl.lus -n o2l_feux_compl}
PASS: sh o2l_feux_compl.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c o2l_feux_compl.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c o2l_feux_compl.lus {}
PASS: ./lus2lic {-2c oneq.lus -n oneq}
PASS: sh oneq.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c oneq.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c oneq.lus {}
PASS: ./lus2lic {-2c onlyroll.lus -n onlyroll}
PASS: sh onlyroll.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c onlyroll.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c onlyroll.lus {}
PASS: ./lus2lic {-2c onlyroll2.lus -n onlyroll2}
PASS: sh onlyroll2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c onlyroll2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c onlyroll2.lus {}
PASS: ./lus2lic {-2c over2.lus -n over2}
PASS: sh over2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c over2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c over2.lus {}
PASS: ./lus2lic {-2c over3.lus -n over3}
PASS: sh over3.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c over3.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c over3.lus {}
PASS: ./lus2lic {-2c overload.lus -n overload}
PASS: sh overload.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c overload.lus {}
+PASS: /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}
@@ -530,226 +530,226 @@ 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: sh param_node.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node.lus {}
PASS: ./lus2lic {-2c param_node2.lus -n param_node2}
PASS: sh param_node2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node2.lus {}
PASS: ./lus2lic {-2c param_node3.lus -n param_node3}
PASS: sh param_node3.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node3.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node3.lus {}
PASS: ./lus2lic {-2c param_node4.lus -n param_node4}
PASS: sh param_node4.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node4.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node4.lus {}
PASS: ./lus2lic {-2c param_struct.lus -n param_struct}
PASS: sh param_struct.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_struct.lus {}
+PASS: /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: sh pipeline.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pipeline.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pipeline.lus {}
PASS: ./lus2lic {-2c plus.lus -n plus}
PASS: sh plus.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c plus.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c plus.lus {}
PASS: ./lus2lic {-2c ply01.lus -n ply01}
PASS: sh ply01.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply01.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply01.lus {}
PASS: ./lus2lic {-2c ply02.lus -n ply02}
PASS: sh ply02.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply02.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply02.lus {}
PASS: ./lus2lic {-2c ply03.lus -n ply03}
PASS: sh ply03.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply03.lus {}
+PASS: /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: sh poussoir.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c poussoir.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c poussoir.lus {}
PASS: ./lus2lic {-2c pplus.lus -n pplus}
PASS: sh pplus.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pplus.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pplus.lus {}
PASS: ./lus2lic {-2c pre_x.lus -n pre_x}
PASS: sh pre_x.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pre_x.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pre_x.lus {}
PASS: ./lus2lic {-2c predef01.lus -n predef01}
PASS: sh predef01.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef01.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef01.lus {}
PASS: ./lus2lic {-2c predef02.lus -n predef02}
PASS: sh predef02.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef02.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef02.lus {}
PASS: ./lus2lic {-2c predef03.lus -n predef03}
PASS: sh predef03.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef03.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef03.lus {}
PASS: ./lus2lic {-2c predefOp.lus -n predefOp}
PASS: sh predefOp.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predefOp.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predefOp.lus {}
PASS: ./lus2lic {-2c produitBool.lus -n produitBool}
PASS: sh produitBool.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c produitBool.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c produitBool.lus {}
PASS: ./lus2lic {-2c real_ex.lus -n real_ex}
PASS: sh real_ex.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c real_ex.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c real_ex.lus {}
PASS: ./lus2lic {-2c redIf.lus -n redIf}
PASS: sh redIf.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redIf.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redIf.lus {}
PASS: ./lus2lic {-2c rediter.lus -n rediter}
PASS: sh rediter.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rediter.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rediter.lus {}
PASS: ./lus2lic {-2c redoptest.lus -n redoptest}
PASS: sh redoptest.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redoptest.lus {}
+PASS: /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: sh rs.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rs.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rs.lus {}
PASS: ./lus2lic {-2c sample_time_change.lus -n sample_time_change}
PASS: sh sample_time_change.sh
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: sh sample_time_change_MainNode.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sample_time_change_MainNode.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sample_time_change_MainNode.lus {}
PASS: ./lus2lic {-2c shiftFill_ludic.lus -n shiftFill_ludic}
PASS: sh shiftFill_ludic.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c shiftFill_ludic.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c shiftFill_ludic.lus {}
PASS: ./lus2lic {-2c shift_ludic.lus -n shift_ludic}
PASS: sh shift_ludic.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c shift_ludic.lus {}
+PASS: /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: sh simpleRed.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c simpleRed.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c simpleRed.lus {}
PASS: ./lus2lic {-2c sincos.lus -n sincos}
PASS: sh sincos.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sincos.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sincos.lus {}
PASS: ./lus2lic --expand-nodes {-2c speedcontrol.lus -n speedcontrol}
PASS: sh speedcontrol.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c speedcontrol.lus { --expand-nodes}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c speedcontrol.lus { --expand-nodes}
PASS: ./lus2lic {-2c sqrt.lus -n sqrt}
PASS: ./lus2lic {-2c stopwatch.lus -n stopwatch}
PASS: sh stopwatch.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c stopwatch.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c stopwatch.lus {}
PASS: ./lus2lic {-2c struct0.lus -n struct0}
PASS: sh struct0.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct0.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct0.lus {}
PASS: ./lus2lic {-2c struct_equality.lus -n struct_equality}
PASS: sh struct_equality.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct_equality.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct_equality.lus {}
PASS: ./lus2lic {-2c struct_with.lus -n struct_with}
PASS: sh struct_with.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct_with.lus {}
+PASS: /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: sh t1.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c t1.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c t1.lus {}
PASS: ./lus2lic {-2c t2.lus -n t2}
PASS: sh t2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c t2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c t2.lus {}
PASS: ./lus2lic {-2c test.lus -n test}
PASS: sh test.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test.lus {}
+PASS: /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: sh testCA.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c testCA.lus {}
+PASS: /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: sh test_arrow.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_arrow.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_arrow.lus {}
PASS: ./lus2lic {-2c test_boolred.lus -n test_boolred}
PASS: sh test_boolred.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_boolred.lus {}
+PASS: /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: sh test_condact.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_condact.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_condact.lus {}
PASS: ./lus2lic {-2c test_const.lus -n test_const}
PASS: sh test_const.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_const.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_const.lus {}
PASS: ./lus2lic {-2c test_diese.lus -n test_diese}
PASS: sh test_diese.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_diese.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_diese.lus {}
PASS: ./lus2lic {-2c test_enum.lus -n test_enum}
PASS: sh test_enum.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_enum.lus {}
+PASS: /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: sh test_map.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_map.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_map.lus {}
PASS: ./lus2lic {-2c test_merge.lus -n test_merge}
PASS: sh test_merge.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_merge.lus {}
+PASS: /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: sh test_node_expand.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_node_expand.lus {}
+PASS: /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: sh test_node_expand2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_node_expand2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_node_expand2.lus {}
PASS: ./lus2lic {-2c test_poly.lus -n test_poly}
PASS: sh test_poly.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_poly.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_poly.lus {}
PASS: ./lus2lic {-2c test_struct.lus -n test_struct}
PASS: sh test_struct.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_struct.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_struct.lus {}
PASS: ./lus2lic {-2c titi.lus -n titi}
PASS: sh titi.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c titi.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c titi.lus {}
PASS: ./lus2lic {-2c toolate.lus -n toolate}
PASS: sh toolate.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c toolate.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c toolate.lus {}
PASS: ./lus2lic {-2c toto.lus -n toto}
PASS: sh toto.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c toto.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c toto.lus {}
PASS: ./lus2lic {-2c tri.lus -n tri}
PASS: sh tri.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tri.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tri.lus {}
PASS: ./lus2lic {-2c triSel.lus -n triSel}
PASS: sh triSel.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c triSel.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c triSel.lus {}
PASS: ./lus2lic {-2c trivial.lus -n trivial}
PASS: sh trivial.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial.lus {}
PASS: ./lus2lic {-2c trivial2.lus -n trivial2}
PASS: sh trivial2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial2.lus {}
PASS: ./lus2lic {-2c trivial_array.lus -n trivial_array}
PASS: sh trivial_array.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial_array.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial_array.lus {}
PASS: ./lus2lic {-2c ts01.lus -n ts01}
PASS: sh ts01.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ts01.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ts01.lus {}
PASS: ./lus2lic {-2c ts04.lus -n ts04}
PASS: sh ts04.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ts04.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ts04.lus {}
PASS: ./lus2lic {-2c tuple.lus -n tuple}
PASS: sh tuple.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tuple.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tuple.lus {}
PASS: ./lus2lic {-2c type_decl.lus -n type_decl}
PASS: sh type_decl.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c type_decl.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c type_decl.lus {}
PASS: ./lus2lic {-2c uu.lus -n uu}
PASS: sh uu.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c uu.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c uu.lus {}
PASS: ./lus2lic {-2c v1.lus -n v1}
PASS: sh v1.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c v1.lus {}
+PASS: /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: sh xx.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c xx.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c xx.lus {}
PASS: ./lus2lic {-2c yyy.lus -n yyy}
PASS: sh yyy.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c yyy.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c yyy.lus {}
PASS: ./lus2lic {-2c zzz.lus -n zzz}
PASS: sh zzz.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz.lus {}
PASS: ./lus2lic {-2c zzz2.lus -n zzz2}
PASS: sh zzz2.sh
-FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus {}
==> lus2lic3.sum <==
-Test run by jahier on Wed Sep 4 17:57:47
+Test run by jahier on Wed Sep 18 11:22:50
Native configuration is x86_64-pc-linux-gnu
=== lus2lic3 tests ===
@@ -762,128 +762,128 @@ Running ./lus2lic.tests/test3.exp ...
PASS: ./lus2lic {} {-lic -o COUNTER.lic COUNTER.lus}
PASS: ./lus2lic {-ec -o COUNTER.ec COUNTER.lus}
PASS: ./myec2c {-o COUNTER.c COUNTER.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node COUNTER.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node COUNTER.lus {}
PASS: ./lus2lic {} {-lic -o CURRENT.lic CURRENT.lus}
PASS: ./lus2lic {-ec -o CURRENT.ec CURRENT.lus}
PASS: ./myec2c {-o CURRENT.c CURRENT.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node CURRENT.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node CURRENT.lus {}
PASS: ./lus2lic {} {-lic -o Condact.lic Condact.lus}
PASS: ./lus2lic {-ec -o Condact.ec Condact.lus}
PASS: ./myec2c {-o Condact.c Condact.ec}
PASS: ./lus2lic {} {-lic -o EDGE.lic EDGE.lus}
PASS: ./lus2lic {-ec -o EDGE.ec EDGE.lus}
PASS: ./myec2c {-o EDGE.c EDGE.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node EDGE.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node EDGE.lus {}
PASS: ./lus2lic {} {-lic -o ELMU.lic ELMU.lus}
PASS: ./lus2lic {-ec -o ELMU.ec ELMU.lus}
PASS: ./myec2c {-o ELMU.c ELMU.ec}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node FALLING_EDGE.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node FALLING_EDGE.lus {}
PASS: ./lus2lic {} {-lic -o FillFollowedByRed.lic FillFollowedByRed.lus}
PASS: ./lus2lic {-ec -o FillFollowedByRed.ec FillFollowedByRed.lus}
PASS: ./myec2c {-o FillFollowedByRed.c FillFollowedByRed.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node FillFollowedByRed.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node FillFollowedByRed.lus {}
PASS: ./lus2lic {} {-lic -o Gyroscope.lic Gyroscope.lus}
PASS: ./lus2lic {-ec -o Gyroscope.ec Gyroscope.lus}
PASS: ./myec2c {-o Gyroscope.c Gyroscope.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope.lus {}
PASS: ./lus2lic {} {-lic -o Gyroscope2.lic Gyroscope2.lus}
PASS: ./lus2lic {-ec -o Gyroscope2.ec Gyroscope2.lus}
PASS: ./myec2c {-o Gyroscope2.c Gyroscope2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope2.lus {}
PASS: ./lus2lic {} {-lic -o aa.lic aa.lus}
PASS: ./lus2lic {-ec -o aa.ec aa.lus}
PASS: ./myec2c {-o aa.c aa.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node aa.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node aa.lus {}
PASS: ./lus2lic {} {-lic -o access.lic access.lus}
PASS: ./lus2lic {-ec -o access.ec access.lus}
PASS: ./myec2c {-o access.c access.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node access.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node access.lus {}
PASS: ./lus2lic { --expand-nodes} {-lic -o activation1.lic activation1.lus}
PASS: ./lus2lic {-ec -o activation1.ec activation1.lus}
PASS: ./myec2c {-o activation1.c activation1.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation1.lus { --expand-nodes}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation1.lus { --expand-nodes}
PASS: ./lus2lic { --expand-nodes} {-lic -o activation2.lic activation2.lus}
PASS: ./lus2lic {-ec -o activation2.ec activation2.lus}
PASS: ./myec2c {-o activation2.c activation2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation2.lus { --expand-nodes}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation2.lus { --expand-nodes}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation_ec.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation_ec.lus {}
PASS: ./lus2lic {} {-lic -o after.lic after.lus}
PASS: ./lus2lic {-ec -o after.ec after.lus}
PASS: ./myec2c {-o after.c after.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node after.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node after.lus {}
PASS: ./lus2lic {} {-lic -o alias.lic alias.lus}
PASS: ./lus2lic {-ec -o alias.ec alias.lus}
PASS: ./myec2c {-o alias.c alias.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node alias.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node alias.lus {}
PASS: ./lus2lic {} {-lic -o amaury.lic amaury.lus}
PASS: ./lus2lic {-ec -o amaury.ec amaury.lus}
PASS: ./myec2c {-o amaury.c amaury.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node amaury.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node amaury.lus {}
PASS: ./lus2lic {} {-lic -o arbitre.lic arbitre.lus}
PASS: ./lus2lic {-ec -o arbitre.ec arbitre.lus}
PASS: ./myec2c {-o arbitre.c arbitre.ec}
PASS: ./lus2lic {} {-lic -o argos.lic argos.lus}
PASS: ./lus2lic {-ec -o argos.ec argos.lus}
PASS: ./myec2c {-o argos.c argos.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node argos.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node argos.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_concat.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_concat.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_concat2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_concat2.lus {}
PASS: ./lus2lic {} {-lic -o array_equals.lic array_equals.lus}
PASS: ./lus2lic {-ec -o array_equals.ec array_equals.lus}
PASS: ./myec2c {-o array_equals.c array_equals.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_equals.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_equals.lus {}
PASS: ./lus2lic {} {-lic -o arrays.lic arrays.lus}
PASS: ./lus2lic {-ec -o arrays.ec arrays.lus}
PASS: ./myec2c {-o arrays.c arrays.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node arrays.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node arrays.lus {}
PASS: ./lus2lic { --expand-nodes} {-lic -o asservi.lic asservi.lus}
PASS: ./lus2lic {-ec -o asservi.ec asservi.lus}
PASS: ./myec2c {-o asservi.c asservi.ec}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bad_call03.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bad_call03.lus {}
PASS: ./lus2lic {} {-lic -o bascule.lic bascule.lus}
PASS: ./lus2lic {-ec -o bascule.ec bascule.lus}
PASS: ./myec2c {-o bascule.c bascule.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bascule.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bascule.lus {}
PASS: ./lus2lic {} {-lic -o bob.lic bob.lus}
PASS: ./lus2lic {-ec -o bob.ec bob.lus}
PASS: ./myec2c {-o bob.c bob.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bob.lus {}
+UNRESOLVED: Time out: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bob.lus {}
PASS: ./lus2lic {} {-lic -o bred.lic bred.lus}
PASS: ./lus2lic {-ec -o bred.ec bred.lus}
PASS: ./myec2c {-o bred.c bred.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bred.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bred.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bred_lv4.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bred_lv4.lus {}
PASS: ./lus2lic {} {-lic -o bug.lic bug.lus}
PASS: ./lus2lic {-ec -o bug.ec bug.lus}
PASS: ./myec2c {-o bug.c bug.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bug.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bug.lus {}
PASS: ./lus2lic {} {-lic -o bug2.lic bug2.lus}
PASS: ./lus2lic {-ec -o bug2.ec bug2.lus}
PASS: ./myec2c {-o bug2.c bug2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bug2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bug2.lus {}
FAIL: without any option: ./lus2lic {} {-lic -o bug_map_fby.lic bug_map_fby.lus}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node calculs_max.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node calculs_max.lus {}
PASS: ./lus2lic {} {-lic -o call.lic call.lus}
PASS: ./lus2lic {-ec -o call.ec call.lus}
PASS: ./myec2c {-o call.c call.ec}
@@ -893,14 +893,14 @@ PASS: ./myec2c {-o call01.c call01.ec}
PASS: ./lus2lic {} {-lic -o call02.lic call02.lus}
PASS: ./lus2lic {-ec -o call02.ec call02.lus}
PASS: ./myec2c {-o call02.c call02.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call02.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call02.lus {}
PASS: ./lus2lic {} {-lic -o call03.lic call03.lus}
PASS: ./lus2lic {-ec -o call03.ec call03.lus}
PASS: ./myec2c {-o call03.c call03.ec}
PASS: ./lus2lic {} {-lic -o call04.lic call04.lus}
PASS: ./lus2lic {-ec -o call04.ec call04.lus}
PASS: ./myec2c {-o call04.c call04.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call04.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call04.lus {}
PASS: ./lus2lic {} {-lic -o call05.lic call05.lus}
PASS: ./lus2lic {-ec -o call05.ec call05.lus}
PASS: ./myec2c {-o call05.c call05.ec}
@@ -910,54 +910,54 @@ PASS: ./myec2c {-o call06.c call06.ec}
PASS: ./lus2lic {} {-lic -o call07.lic call07.lus}
PASS: ./lus2lic {-ec -o call07.ec call07.lus}
PASS: ./myec2c {-o call07.c call07.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call07.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call07.lus {}
PASS: ./lus2lic {} {-lic -o carV2.lic carV2.lus}
PASS: ./lus2lic {-ec -o carV2.ec carV2.lus}
PASS: ./myec2c {-o carV2.c carV2.ec}
PASS: ./lus2lic {} {-lic -o carligths.lic carligths.lus}
PASS: ./lus2lic {-ec -o carligths.ec carligths.lus}
PASS: ./myec2c {-o carligths.c carligths.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node carligths.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node carligths.lus {}
PASS: ./lus2lic {} {-lic -o ck2.lic ck2.lus}
PASS: ./lus2lic {-ec -o ck2.ec ck2.lus}
PASS: ./myec2c {-o ck2.c ck2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck2.lus {}
PASS: ./lus2lic {} {-lic -o ck3.lic ck3.lus}
PASS: ./lus2lic {-ec -o ck3.ec ck3.lus}
PASS: ./myec2c {-o ck3.c ck3.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck3.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck3.lus {}
PASS: ./lus2lic {} {-lic -o ck4.lic ck4.lus}
PASS: ./lus2lic {-ec -o ck4.ec ck4.lus}
PASS: ./myec2c {-o ck4.c ck4.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck4.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck4.lus {}
PASS: ./lus2lic {} {-lic -o ck5.lic ck5.lus}
PASS: ./lus2lic {-ec -o ck5.ec ck5.lus}
PASS: ./myec2c {-o ck5.c ck5.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck5.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck5.lus {}
FAIL: without any option: ./lus2lic {} {-lic -o ck6.lic ck6.lus}
PASS: ./lus2lic {} {-lic -o ck7.lic ck7.lus}
PASS: ./lus2lic {-ec -o ck7.ec ck7.lus}
PASS: ./myec2c {-o ck7.c ck7.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck7.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck7.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node clock1_2ms.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node clock1_2ms.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node clock_ite.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node clock_ite.lus {}
PASS: ./lus2lic {} {-lic -o cminus.lic cminus.lus}
PASS: ./lus2lic {-ec -o cminus.ec cminus.lus}
PASS: ./myec2c {-o cminus.c cminus.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cminus.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cminus.lus {}
PASS: ./lus2lic {} {-lic -o complex.lic complex.lus}
PASS: ./lus2lic {-ec -o complex.ec complex.lus}
PASS: ./myec2c {-o complex.c complex.ec}
PASS: ./lus2lic {} {-lic -o compteur.lic compteur.lus}
PASS: ./lus2lic {-ec -o compteur.ec compteur.lus}
PASS: ./myec2c {-o compteur.c compteur.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node compteur.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node compteur.lus {}
PASS: ./lus2lic {} {-lic -o cond01.lic cond01.lus}
PASS: ./lus2lic {-ec -o cond01.ec cond01.lus}
PASS: ./myec2c {-o cond01.c cond01.ec}
@@ -965,38 +965,38 @@ FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils
PASS: ./lus2lic {} {-lic -o consensus.lic consensus.lus}
PASS: ./lus2lic {-ec -o consensus.ec consensus.lus}
PASS: ./myec2c {-o consensus.c consensus.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node consensus.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node consensus.lus {}
PASS: ./lus2lic {} {-lic -o consensus2.lic consensus2.lus}
PASS: ./lus2lic {-ec -o consensus2.ec consensus2.lus}
PASS: ./myec2c {-o consensus2.c consensus2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node consensus2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node consensus2.lus {}
PASS: ./lus2lic {} {-lic -o contractForElementSelectionInArray.lic contractForElementSelectionInArray.lus}
PASS: ./lus2lic {-ec -o contractForElementSelectionInArray.ec contractForElementSelectionInArray.lus}
PASS: ./myec2c {-o contractForElementSelectionInArray.c contractForElementSelectionInArray.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node contractForElementSelectionInArray.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node contractForElementSelectionInArray.lus {}
PASS: ./lus2lic {} {-lic -o convert.lic convert.lus}
PASS: ./lus2lic {-ec -o convert.ec convert.lus}
PASS: ./myec2c {-o convert.c convert.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node convert.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node convert.lus {}
PASS: ./lus2lic {} {-lic -o count.lic count.lus}
PASS: ./lus2lic {-ec -o count.ec count.lus}
PASS: ./myec2c {-o count.c count.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node count.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node count.lus {}
PASS: ./lus2lic {} {-lic -o cpt.lic cpt.lus}
PASS: ./lus2lic {-ec -o cpt.ec cpt.lus}
PASS: ./myec2c {-o cpt.c cpt.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cpt.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cpt.lus {}
PASS: ./lus2lic {} {-lic -o cst.lic cst.lus}
PASS: ./lus2lic {-ec -o cst.ec cst.lus}
PASS: ./myec2c {-o cst.c cst.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cst.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cst.lus {}
PASS: ./lus2lic { dadic.lv6} {-lic -o dadic_x5_a.lic dadic_x5_a.lus}
PASS: ./lus2lic { dadic.lv6} {-lic -o dadic_x5_b.lic dadic_x5_b.lus}
FAIL: without any option: ./lus2lic {} {-lic -o dadic_x5_c.lic dadic_x5_c.lus}
PASS: ./lus2lic {} {-lic -o deSimone.lic deSimone.lus}
PASS: ./lus2lic {-ec -o deSimone.ec deSimone.lus}
PASS: ./myec2c {-o deSimone.c deSimone.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node deSimone.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node deSimone.lus {}
PASS: ./lus2lic {} {-lic -o decl.lic decl.lus}
PASS: ./lus2lic {-ec -o decl.ec decl.lus}
PASS: ./myec2c {-o decl.c decl.ec}
@@ -1009,88 +1009,88 @@ PASS: ./myec2c {-o deconne.c deconne.ec}
PASS: ./lus2lic {} {-lic -o dep.lic dep.lus}
PASS: ./lus2lic {-ec -o dep.ec dep.lus}
PASS: ./myec2c {-o dep.c dep.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dep.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dep.lus {}
PASS: ./lus2lic {} {-lic -o depend.lic depend.lus}
PASS: ./lus2lic {-ec -o depend.ec depend.lus}
PASS: ./myec2c {-o depend.c depend.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node depend.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node depend.lus {}
PASS: ./lus2lic {} {-lic -o dependeur.lic dependeur.lus}
PASS: ./lus2lic {-ec -o dependeur.ec dependeur.lus}
PASS: ./myec2c {-o dependeur.c dependeur.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dependeur.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dependeur.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dependeur_struct.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dependeur_struct.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node double_delay.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node double_delay.lus {}
PASS: ./lus2lic {} {-lic -o ec.lic ec.lus}
PASS: ./lus2lic {-ec -o ec.ec ec.lus}
PASS: ./myec2c {-o ec.c ec.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ec.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ec.lus {}
PASS: ./lus2lic {} {-lic -o enum0.lic enum0.lus}
PASS: ./lus2lic {-ec -o enum0.ec enum0.lus}
PASS: ./myec2c {-o enum0.c enum0.ec}
PASS: ./lus2lic {} {-lic -o ex.lic ex.lus}
PASS: ./lus2lic {-ec -o ex.ec ex.lus}
PASS: ./myec2c {-o ex.c ex.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ex.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ex.lus {}
PASS: ./lus2lic {} {-lic -o exclusion.lic exclusion.lus}
PASS: ./lus2lic {-ec -o exclusion.ec exclusion.lus}
PASS: ./myec2c {-o exclusion.c exclusion.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node exclusion.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node exclusion.lus {}
PASS: ./lus2lic {} {-lic -o filliter.lic filliter.lus}
PASS: ./lus2lic {-ec -o filliter.ec filliter.lus}
PASS: ./myec2c {-o filliter.c filliter.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node filliter.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node filliter.lus {}
PASS: ./lus2lic {} {-lic -o filter.lic filter.lus}
PASS: ./lus2lic {-ec -o filter.ec filter.lus}
PASS: ./myec2c {-o filter.c filter.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node filter.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node filter.lus {}
PASS: ./lus2lic {} {-lic -o flo.lic flo.lus}
PASS: ./lus2lic {-ec -o flo.ec flo.lus}
PASS: ./myec2c {-o flo.c flo.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node flo.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node flo.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node followed_by.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node followed_by.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node fresh_name.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node fresh_name.lus {}
PASS: ./lus2lic {} {-lic -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 {} {-lic -o hanane.lic hanane.lus}
PASS: ./lus2lic {-ec -o hanane.ec hanane.lus}
PASS: ./myec2c {-o hanane.c hanane.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node hanane.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node hanane.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node heater_control.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node heater_control.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node impl_priority.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node impl_priority.lus {}
PASS: ./lus2lic {} {-lic -o import1.lic import1.lus}
PASS: ./lus2lic {-ec -o import1.ec import1.lus}
PASS: ./myec2c {-o import1.c import1.ec}
PASS: ./lus2lic {} {-lic -o initial.lic initial.lus}
PASS: ./lus2lic {-ec -o initial.ec initial.lus}
PASS: ./myec2c {-o initial.c initial.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node initial.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node initial.lus {}
PASS: ./lus2lic {} {-lic -o integrator.lic integrator.lus}
PASS: ./lus2lic {-ec -o integrator.ec integrator.lus}
PASS: ./myec2c {-o integrator.c integrator.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node integrator.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node integrator.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node is_stable.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node is_stable.lus {}
PASS: ./lus2lic {} {-lic -o iter.lic iter.lus}
PASS: ./lus2lic {-ec -o iter.ec iter.lus}
PASS: ./myec2c {-o iter.c iter.ec}
@@ -1098,75 +1098,75 @@ FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils
PASS: ./lus2lic {} {-lic -o iterFibo.lic iterFibo.lus}
PASS: ./lus2lic {-ec -o iterFibo.ec iterFibo.lus}
PASS: ./myec2c {-o iterFibo.c iterFibo.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterFibo.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterFibo.lus {}
PASS: ./lus2lic {} {-lic -o iterate.lic iterate.lus}
PASS: ./lus2lic {-ec -o iterate.ec iterate.lus}
PASS: ./myec2c {-o iterate.c iterate.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterate.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterate.lus {}
PASS: ./lus2lic { "--expand-nodes -esa"} {-lic -o iterate_on_plus.lic iterate_on_plus.lus}
PASS: ./lus2lic {} {-lic -o left.lic left.lus}
PASS: ./lus2lic {-ec -o left.ec left.lus}
PASS: ./myec2c {-o left.c left.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node left.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node left.lus {}
PASS: ./lus2lic {} {-lic -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}
-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: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node long_et_stupide_nom_de_noeud.lus {}
PASS: ./lus2lic {} {-lic -o lucky.lic lucky.lus}
PASS: ./lus2lic {-ec -o lucky.ec lucky.lus}
PASS: ./myec2c {-o lucky.c lucky.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node lucky.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node lucky.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node lustre_test1_ok.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node lustre_test1_ok.lus {}
PASS: ./lus2lic {} {-lic -o map_red_iter.lic map_red_iter.lus}
PASS: ./lus2lic {-ec -o map_red_iter.ec map_red_iter.lus}
PASS: ./myec2c {-o map_red_iter.c map_red_iter.ec}
PASS: ./lus2lic {} {-lic -o mapdeRed.lic mapdeRed.lus}
PASS: ./lus2lic {-ec -o mapdeRed.ec mapdeRed.lus}
PASS: ./myec2c {-o mapdeRed.c mapdeRed.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapdeRed.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapdeRed.lus {}
PASS: ./lus2lic {} {-lic -o mapinf.lic mapinf.lus}
PASS: ./lus2lic {-ec -o mapinf.ec mapinf.lus}
PASS: ./myec2c {-o mapinf.c mapinf.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapinf.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapinf.lus {}
PASS: ./lus2lic {} {-lic -o mapiter.lic mapiter.lus}
PASS: ./lus2lic {-ec -o mapiter.ec mapiter.lus}
PASS: ./myec2c {-o mapiter.c mapiter.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapiter.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapiter.lus {}
PASS: ./lus2lic {} {-lic -o mappredef.lic mappredef.lus}
PASS: ./lus2lic {-ec -o mappredef.ec mappredef.lus}
PASS: ./myec2c {-o mappredef.c mappredef.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mappredef.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mappredef.lus {}
PASS: ./lus2lic {} {-lic -o matrice.lic matrice.lus}
PASS: ./lus2lic {-ec -o matrice.ec matrice.lus}
PASS: ./myec2c {-o matrice.c matrice.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice.lus {}
PASS: ./lus2lic {} {-lic -o matrice2.lic matrice2.lus}
PASS: ./lus2lic {-ec -o matrice2.ec matrice2.lus}
PASS: ./myec2c {-o matrice2.c matrice2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice2.lus {}
PASS: ./lus2lic {} {-lic -o minmax1.lic minmax1.lus}
PASS: ./lus2lic {-ec -o minmax1.ec minmax1.lus}
PASS: ./myec2c {-o minmax1.c minmax1.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax1.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax1.lus {}
PASS: ./lus2lic {} {-lic -o minmax2.lic minmax2.lus}
PASS: ./lus2lic {-ec -o minmax2.ec minmax2.lus}
PASS: ./myec2c {-o minmax2.c minmax2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax2.lus {}
PASS: ./lus2lic {} {-lic -o minmax3.lic minmax3.lus}
PASS: ./lus2lic {-ec -o minmax3.ec minmax3.lus}
PASS: ./myec2c {-o minmax3.c minmax3.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax3.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax3.lus {}
PASS: ./lus2lic {} {-lic -o minmax4.lic minmax4.lus}
PASS: ./lus2lic {-ec -o minmax4.ec minmax4.lus}
PASS: ./myec2c {-o minmax4.c minmax4.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax4.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax4.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax4_bis.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax4_bis.lus {}
PASS: ./lus2lic {} {-lic -o minmax5.lic minmax5.lus}
PASS: ./lus2lic {-ec -o minmax5.ec minmax5.lus}
PASS: ./myec2c {-o minmax5.c minmax5.ec}
@@ -1176,34 +1176,34 @@ PASS: ./myec2c {-o minmax5_random.c minmax5_random.ec}
PASS: ./lus2lic {} {-lic -o minmax6.lic minmax6.lus}
PASS: ./lus2lic {-ec -o minmax6.ec minmax6.lus}
PASS: ./myec2c {-o minmax6.c minmax6.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax6.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax6.lus {}
PASS: ./lus2lic {} {-lic -o minus.lic minus.lus}
PASS: ./lus2lic {-ec -o minus.ec minus.lus}
PASS: ./myec2c {-o minus.c minus.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minus.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minus.lus {}
PASS: ./lus2lic {} {-lic -o mm.lic mm.lus}
PASS: ./lus2lic {-ec -o mm.ec mm.lus}
PASS: ./myec2c {-o mm.c mm.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm.lus {}
PASS: ./lus2lic {} {-lic -o mm1.lic mm1.lus}
PASS: ./lus2lic {-ec -o mm1.ec mm1.lus}
PASS: ./myec2c {-o mm1.c mm1.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm1.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm1.lus {}
PASS: ./lus2lic {} {-lic -o mm22.lic mm22.lus}
PASS: ./lus2lic {-ec -o mm22.ec mm22.lus}
PASS: ./myec2c {-o mm22.c mm22.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm22.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm22.lus {}
PASS: ./lus2lic {} {-lic -o mm3.lic mm3.lus}
PASS: ./lus2lic {-ec -o mm3.ec mm3.lus}
PASS: ./myec2c {-o mm3.c mm3.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm3.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm3.lus {}
PASS: ./lus2lic {} {-lic -o modelInst.lic modelInst.lus}
PASS: ./lus2lic {-ec -o modelInst.ec modelInst.lus}
PASS: ./myec2c {-o modelInst.c modelInst.ec}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node modes3x2_v2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node modes3x2_v2.lus {}
PASS: ./lus2lic {} {-lic -o modes3x2_v3.lic modes3x2_v3.lus}
PASS: ./lus2lic {-ec -o modes3x2_v3.ec modes3x2_v3.lus}
PASS: ./lus2lic {} {-lic -o modes3x2_v4.lic modes3x2_v4.lus}
@@ -1211,54 +1211,55 @@ PASS: ./lus2lic {-ec -o modes3x2_v4.ec modes3x2_v4.lus}
PASS: ./lus2lic {} {-lic -o morel.lic morel.lus}
PASS: ./lus2lic {-ec -o morel.ec morel.lus}
PASS: ./myec2c {-o morel.c morel.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel.lus {}
PASS: ./lus2lic {} {-lic -o morel2.lic morel2.lus}
PASS: ./lus2lic {-ec -o morel2.ec morel2.lus}
PASS: ./myec2c {-o morel2.c morel2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel2.lus {}
PASS: ./lus2lic {} {-lic -o morel3.lic morel3.lus}
PASS: ./lus2lic {-ec -o morel3.ec morel3.lus}
PASS: ./myec2c {-o morel3.c morel3.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel3.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel3.lus {}
PASS: ./lus2lic {} {-lic -o morel4.lic morel4.lus}
PASS: ./lus2lic {-ec -o morel4.ec morel4.lus}
PASS: ./myec2c {-o morel4.c morel4.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel4.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel4.lus {}
PASS: ./lus2lic {} {-lic -o morel5.lic morel5.lus}
PASS: ./lus2lic {-ec -o morel5.ec morel5.lus}
PASS: ./myec2c {-o morel5.c morel5.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel5.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel5.lus {}
PASS: ./lus2lic {} {-lic -o mouse.lic mouse.lus}
PASS: ./lus2lic {-ec -o mouse.ec mouse.lus}
PASS: ./myec2c {-o mouse.c mouse.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse.lus {}
PASS: ./lus2lic {} {-lic -o mouse1.lic mouse1.lus}
PASS: ./lus2lic {-ec -o mouse1.ec mouse1.lus}
PASS: ./myec2c {-o mouse1.c mouse1.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse1.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse1.lus {}
PASS: ./lus2lic {} {-lic -o mouse2.lic mouse2.lus}
PASS: ./lus2lic {-ec -o mouse2.ec mouse2.lus}
PASS: ./myec2c {-o mouse2.c mouse2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse2.lus {}
PASS: ./lus2lic {} {-lic -o mouse3.lic mouse3.lus}
PASS: ./lus2lic {-ec -o mouse3.ec mouse3.lus}
PASS: ./myec2c {-o mouse3.c mouse3.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse3.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse3.lus {}
PASS: ./lus2lic {} {-lic -o moyenne.lic moyenne.lus}
PASS: ./lus2lic {-ec -o moyenne.ec moyenne.lus}
PASS: ./myec2c {-o moyenne.c moyenne.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node moyenne.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node moyenne.lus {}
PASS: ./lus2lic {} {-lic -o multiclock.lic multiclock.lus}
PASS: ./lus2lic {-ec -o multiclock.ec multiclock.lus}
PASS: ./myec2c {-o multiclock.c multiclock.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multiclock.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multiclock.lus {}
PASS: ./lus2lic {} {-lic -o multipar.lic multipar.lus}
PASS: ./lus2lic {-ec -o multipar.ec multipar.lus}
PASS: ./myec2c {-o multipar.c multipar.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
+
==> lus2lic4.sum <==
-Test run by jahier on Wed Sep 4 17:57:56
+Test run by jahier on Wed Sep 18 11:23:32
Native configuration is x86_64-pc-linux-gnu
=== lus2lic4 tests ===
@@ -1273,106 +1274,106 @@ FAIL: without any option: ./lus2lic {} {-lic -o PCOND1.lic PCOND1.lus}
PASS: ./lus2lic {} {-lic -o SOURIS.lic SOURIS.lus}
PASS: ./lus2lic {-ec -o SOURIS.ec SOURIS.lus}
PASS: ./myec2c {-o SOURIS.c SOURIS.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SOURIS.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SOURIS.lus {}
PASS: ./lus2lic {} {-lic -o STABLE.lic STABLE.lus}
PASS: ./lus2lic {-ec -o STABLE.ec STABLE.lus}
PASS: ./myec2c {-o STABLE.c STABLE.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node STABLE.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node STABLE.lus {}
PASS: ./lus2lic {} {-lic -o SWITCH.lic SWITCH.lus}
PASS: ./lus2lic {-ec -o SWITCH.ec SWITCH.lus}
PASS: ./myec2c {-o SWITCH.c SWITCH.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SWITCH.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SWITCH.lus {}
PASS: ./lus2lic {} {-lic -o SWITCH1.lic SWITCH1.lus}
PASS: ./lus2lic {-ec -o SWITCH1.ec SWITCH1.lus}
PASS: ./myec2c {-o SWITCH1.c SWITCH1.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SWITCH1.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SWITCH1.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node TIME_STABLE.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node TIME_STABLE.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node TIME_STABLE1.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node TIME_STABLE1.lus {}
PASS: ./lus2lic {} {-lic -o Watch.lic Watch.lus}
PASS: ./lus2lic {-ec -o Watch.ec Watch.lus}
PASS: ./myec2c {-o Watch.c Watch.ec}
PASS: ./lus2lic {} {-lic -o X.lic X.lus}
PASS: ./lus2lic {-ec -o X.ec X.lus}
PASS: ./myec2c {-o X.c X.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X.lus {}
PASS: ./lus2lic {} {-lic -o X2.lic X2.lus}
PASS: ./lus2lic {-ec -o X2.ec X2.lus}
PASS: ./myec2c {-o X2.c X2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X2.lus {}
FAIL: without any option: ./lus2lic {} {-lic -o X6.lic X6.lus}
PASS: ./lus2lic {} {-lic -o Xr.lic Xr.lus}
PASS: ./lus2lic {-ec -o Xr.ec Xr.lus}
PASS: ./myec2c {-o Xr.c Xr.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Xr.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Xr.lus {}
PASS: ./lus2lic {} {-lic -o nc1.lic nc1.lus}
PASS: ./lus2lic {-ec -o nc1.ec nc1.lus}
PASS: ./myec2c {-o nc1.c nc1.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc1.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc1.lus {}
PASS: ./lus2lic {} {-lic -o nc10.lic nc10.lus}
PASS: ./lus2lic {-ec -o nc10.ec nc10.lus}
PASS: ./myec2c {-o nc10.c nc10.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc10.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc10.lus {}
PASS: ./lus2lic {} {-lic -o nc2.lic nc2.lus}
PASS: ./lus2lic {-ec -o nc2.ec nc2.lus}
PASS: ./myec2c {-o nc2.c nc2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc2.lus {}
PASS: ./lus2lic {} {-lic -o nc3.lic nc3.lus}
PASS: ./lus2lic {-ec -o nc3.ec nc3.lus}
PASS: ./myec2c {-o nc3.c nc3.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc3.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc3.lus {}
PASS: ./lus2lic {} {-lic -o nc4.lic nc4.lus}
PASS: ./lus2lic {-ec -o nc4.ec nc4.lus}
PASS: ./myec2c {-o nc4.c nc4.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc4.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc4.lus {}
PASS: ./lus2lic {} {-lic -o nc5.lic nc5.lus}
PASS: ./lus2lic {-ec -o nc5.ec nc5.lus}
PASS: ./myec2c {-o nc5.c nc5.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc5.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc5.lus {}
PASS: ./lus2lic {} {-lic -o nc6.lic nc6.lus}
PASS: ./lus2lic {-ec -o nc6.ec nc6.lus}
PASS: ./myec2c {-o nc6.c nc6.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc6.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc6.lus {}
PASS: ./lus2lic {} {-lic -o nc7.lic nc7.lus}
PASS: ./lus2lic {-ec -o nc7.ec nc7.lus}
PASS: ./myec2c {-o nc7.c nc7.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc7.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc7.lus {}
PASS: ./lus2lic {} {-lic -o nc8.lic nc8.lus}
PASS: ./lus2lic {-ec -o nc8.ec nc8.lus}
PASS: ./myec2c {-o nc8.c nc8.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc8.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc8.lus {}
PASS: ./lus2lic {} {-lic -o nc9.lic nc9.lus}
PASS: ./lus2lic {-ec -o nc9.ec nc9.lus}
PASS: ./myec2c {-o nc9.c nc9.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc9.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc9.lus {}
PASS: ./lus2lic {} {-lic -o nested.lic nested.lus}
PASS: ./lus2lic {-ec -o nested.ec nested.lus}
PASS: ./myec2c {-o nested.c nested.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nested.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nested.lus {}
PASS: ./lus2lic {} {-lic -o newpacks.lic newpacks.lus}
PASS: ./lus2lic {-ec -o newpacks.ec newpacks.lus}
PASS: ./myec2c {-o newpacks.c newpacks.ec}
PASS: ./lus2lic {} {-lic -o noAlarm.lic noAlarm.lus}
PASS: ./lus2lic {-ec -o noAlarm.ec noAlarm.lus}
PASS: ./myec2c {-o noAlarm.c noAlarm.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node noAlarm.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node noAlarm.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node node_caller1.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node node_caller1.lus {}
PASS: ./lus2lic {} {-lic -o nodeparam.lic nodeparam.lus}
PASS: ./lus2lic {-ec -o nodeparam.ec nodeparam.lus}
PASS: ./myec2c {-o nodeparam.c nodeparam.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nodeparam.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nodeparam.lus {}
PASS: ./lus2lic {} {-lic -o noeudsIndependants.lic noeudsIndependants.lus}
PASS: ./lus2lic {-ec -o noeudsIndependants.ec noeudsIndependants.lus}
PASS: ./myec2c {-o noeudsIndependants.c noeudsIndependants.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node noeudsIndependants.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node noeudsIndependants.lus {}
PASS: ./lus2lic {} {-lic -o noinput.lic noinput.lus}
FAIL: Generate ec code : ./lus2lic {-ec -o noinput.ec noinput.lus}
PASS: ./lus2lic {} {-lic -o normal.lic normal.lus}
@@ -1381,34 +1382,34 @@ PASS: ./myec2c {-o normal.c normal.ec}
PASS: ./lus2lic {} {-lic -o notTwo.lic notTwo.lus}
PASS: ./lus2lic {-ec -o notTwo.ec notTwo.lus}
PASS: ./myec2c {-o notTwo.c notTwo.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node notTwo.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node notTwo.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node o2l_feux_compl.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node o2l_feux_compl.lus {}
PASS: ./lus2lic {} {-lic -o oneq.lic oneq.lus}
PASS: ./lus2lic {-ec -o oneq.ec oneq.lus}
PASS: ./myec2c {-o oneq.c oneq.ec}
PASS: ./lus2lic {} {-lic -o onlyroll.lic onlyroll.lus}
PASS: ./lus2lic {-ec -o onlyroll.ec onlyroll.lus}
PASS: ./myec2c {-o onlyroll.c onlyroll.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node onlyroll.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node onlyroll.lus {}
PASS: ./lus2lic {} {-lic -o onlyroll2.lic onlyroll2.lus}
PASS: ./lus2lic {-ec -o onlyroll2.ec onlyroll2.lus}
PASS: ./myec2c {-o onlyroll2.c onlyroll2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node onlyroll2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node onlyroll2.lus {}
PASS: ./lus2lic {} {-lic -o over2.lic over2.lus}
PASS: ./lus2lic {-ec -o over2.ec over2.lus}
PASS: ./myec2c {-o over2.c over2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node over2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node over2.lus {}
PASS: ./lus2lic {} {-lic -o over3.lic over3.lus}
PASS: ./lus2lic {-ec -o over3.ec over3.lus}
PASS: ./myec2c {-o over3.c over3.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node over3.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node over3.lus {}
PASS: ./lus2lic {} {-lic -o overload.lic overload.lus}
PASS: ./lus2lic {-ec -o overload.ec overload.lus}
PASS: ./myec2c {-o overload.c overload.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node overload.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node overload.lus {}
PASS: ./lus2lic {} {-lic -o p.lic p.lus}
PASS: ./lus2lic {-ec -o p.ec p.lus}
PASS: ./myec2c {-o p.c p.ec}
@@ -1427,104 +1428,104 @@ PASS: ./myec2c {-o packs.c packs.ec}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node2.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node3.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node3.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node4.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node4.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_struct.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_struct.lus {}
PASS: ./lus2lic { --expand-nodes} {-lic -o pilote.lic pilote.lus}
PASS: ./lus2lic {-ec -o pilote.ec pilote.lus}
PASS: ./myec2c {-o pilote.c pilote.ec}
PASS: ./lus2lic {} {-lic -o pipeline.lic pipeline.lus}
PASS: ./lus2lic {-ec -o pipeline.ec pipeline.lus}
PASS: ./myec2c {-o pipeline.c pipeline.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pipeline.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pipeline.lus {}
PASS: ./lus2lic {} {-lic -o plus.lic plus.lus}
PASS: ./lus2lic {-ec -o plus.ec plus.lus}
PASS: ./myec2c {-o plus.c plus.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node plus.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node plus.lus {}
PASS: ./lus2lic {} {-lic -o ply01.lic ply01.lus}
PASS: ./lus2lic {-ec -o ply01.ec ply01.lus}
PASS: ./myec2c {-o ply01.c ply01.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply01.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply01.lus {}
PASS: ./lus2lic {} {-lic -o ply02.lic ply02.lus}
PASS: ./lus2lic {-ec -o ply02.ec ply02.lus}
PASS: ./myec2c {-o ply02.c ply02.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply02.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply02.lus {}
PASS: ./lus2lic {} {-lic -o ply03.lic ply03.lus}
PASS: ./lus2lic {-ec -o ply03.ec ply03.lus}
PASS: ./myec2c {-o ply03.c ply03.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply03.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply03.lus {}
PASS: ./lus2lic {} {-lic -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 {} {-lic -o poussoir.lic poussoir.lus}
PASS: ./lus2lic {-ec -o poussoir.ec poussoir.lus}
PASS: ./myec2c {-o poussoir.c poussoir.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node poussoir.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node poussoir.lus {}
PASS: ./lus2lic {} {-lic -o pplus.lic pplus.lus}
PASS: ./lus2lic {-ec -o pplus.ec pplus.lus}
PASS: ./myec2c {-o pplus.c pplus.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pplus.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pplus.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pre_x.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pre_x.lus {}
PASS: ./lus2lic {} {-lic -o predef01.lic predef01.lus}
PASS: ./lus2lic {-ec -o predef01.ec predef01.lus}
PASS: ./myec2c {-o predef01.c predef01.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef01.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef01.lus {}
PASS: ./lus2lic {} {-lic -o predef02.lic predef02.lus}
PASS: ./lus2lic {-ec -o predef02.ec predef02.lus}
PASS: ./myec2c {-o predef02.c predef02.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef02.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef02.lus {}
PASS: ./lus2lic {} {-lic -o predef03.lic predef03.lus}
PASS: ./lus2lic {-ec -o predef03.ec predef03.lus}
PASS: ./myec2c {-o predef03.c predef03.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef03.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef03.lus {}
PASS: ./lus2lic {} {-lic -o predefOp.lic predefOp.lus}
PASS: ./lus2lic {-ec -o predefOp.ec predefOp.lus}
PASS: ./myec2c {-o predefOp.c predefOp.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predefOp.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predefOp.lus {}
PASS: ./lus2lic {} {-lic -o produitBool.lic produitBool.lus}
PASS: ./lus2lic {-ec -o produitBool.ec produitBool.lus}
PASS: ./myec2c {-o produitBool.c produitBool.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node produitBool.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node produitBool.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node real_ex.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node real_ex.lus {}
PASS: ./lus2lic {} {-lic -o redIf.lic redIf.lus}
PASS: ./lus2lic {-ec -o redIf.ec redIf.lus}
PASS: ./myec2c {-o redIf.c redIf.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redIf.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redIf.lus {}
PASS: ./lus2lic {} {-lic -o rediter.lic rediter.lus}
PASS: ./lus2lic {-ec -o rediter.ec rediter.lus}
PASS: ./myec2c {-o rediter.c rediter.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rediter.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rediter.lus {}
PASS: ./lus2lic {} {-lic -o redoptest.lic redoptest.lus}
PASS: ./lus2lic {-ec -o redoptest.ec redoptest.lus}
PASS: ./myec2c {-o redoptest.c redoptest.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redoptest.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redoptest.lus {}
PASS: ./lus2lic {} {-lic -o remplissage.lic remplissage.lus}
PASS: ./lus2lic {-ec -o remplissage.ec remplissage.lus}
PASS: ./myec2c {-o remplissage.c remplissage.ec}
PASS: ./lus2lic {} {-lic -o rs.lic rs.lus}
PASS: ./lus2lic {-ec -o rs.ec rs.lus}
PASS: ./myec2c {-o rs.c rs.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rs.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rs.lus {}
PASS: ./lus2lic {} {-lic -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}
@@ -1532,71 +1533,71 @@ FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node sample_time_change_MainNode.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node sample_time_change_MainNode.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node shiftFill_ludic.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node shiftFill_ludic.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node shift_ludic.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node shift_ludic.lus {}
PASS: ./lus2lic {} {-lic -o simple.lic simple.lus}
PASS: ./lus2lic {-ec -o simple.ec simple.lus}
PASS: ./myec2c {-o simple.c simple.ec}
PASS: ./lus2lic {} {-lic -o simpleRed.lic simpleRed.lus}
PASS: ./lus2lic {-ec -o simpleRed.ec simpleRed.lus}
PASS: ./myec2c {-o simpleRed.c simpleRed.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node simpleRed.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node simpleRed.lus {}
PASS: ./lus2lic {} {-lic -o sincos.lic sincos.lus}
PASS: ./lus2lic {-ec -o sincos.ec sincos.lus}
PASS: ./myec2c {-o sincos.c sincos.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node sincos.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node sincos.lus {}
PASS: ./lus2lic { --expand-nodes} {-lic -o speedcontrol.lic speedcontrol.lus}
PASS: ./lus2lic {-ec -o speedcontrol.ec speedcontrol.lus}
PASS: ./myec2c {-o speedcontrol.c speedcontrol.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node speedcontrol.lus { --expand-nodes}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node speedcontrol.lus { --expand-nodes}
PASS: ./lus2lic {} {-lic -o sqrt.lic sqrt.lus}
PASS: ./lus2lic {-ec -o sqrt.ec sqrt.lus}
PASS: ./myec2c {-o sqrt.c sqrt.ec}
PASS: ./lus2lic {} {-lic -o stopwatch.lic stopwatch.lus}
PASS: ./lus2lic {-ec -o stopwatch.ec stopwatch.lus}
PASS: ./myec2c {-o stopwatch.c stopwatch.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node stopwatch.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node stopwatch.lus {}
PASS: ./lus2lic {} {-lic -o struct0.lic struct0.lus}
PASS: ./lus2lic {-ec -o struct0.ec struct0.lus}
PASS: ./myec2c {-o struct0.c struct0.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct0.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct0.lus {}
PASS: ./lus2lic {} {-lic -o struct_equality.lic struct_equality.lus}
PASS: ./lus2lic {-ec -o struct_equality.ec struct_equality.lus}
PASS: ./myec2c {-o struct_equality.c struct_equality.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct_equality.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct_equality.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct_with.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct_with.lus {}
PASS: ./lus2lic {} {-lic -o t0.lic t0.lus}
PASS: ./lus2lic {-ec -o t0.ec t0.lus}
PASS: ./myec2c {-o t0.c t0.ec}
PASS: ./lus2lic {} {-lic -o t1.lic t1.lus}
PASS: ./lus2lic {-ec -o t1.ec t1.lus}
PASS: ./myec2c {-o t1.c t1.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node t1.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node t1.lus {}
PASS: ./lus2lic {} {-lic -o t2.lic t2.lus}
PASS: ./lus2lic {-ec -o t2.ec t2.lus}
PASS: ./myec2c {-o t2.c t2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node t2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node t2.lus {}
PASS: ./lus2lic {} {-lic -o test.lic test.lus}
PASS: ./lus2lic {-ec -o test.ec test.lus}
PASS: ./myec2c {-o test.c test.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test.lus {}
PASS: ./lus2lic {} {-lic -o testBoite.lic testBoite.lus}
PASS: ./lus2lic {-ec -o testBoite.ec testBoite.lus}
PASS: ./myec2c {-o testBoite.c testBoite.ec}
PASS: ./lus2lic {} {-lic -o testCA.lic testCA.lus}
PASS: ./lus2lic {-ec -o testCA.ec testCA.lus}
PASS: ./myec2c {-o testCA.c testCA.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node testCA.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node testCA.lus {}
PASS: ./lus2lic {} {-lic -o testCapt.lic testCapt.lus}
PASS: ./lus2lic {-ec -o testCapt.ec testCapt.lus}
PASS: ./myec2c {-o testCapt.c testCapt.ec}
@@ -1609,26 +1610,26 @@ PASS: ./myec2c {-o test_Int.c test_Int.ec}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_arrow.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_arrow.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_boolred.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_boolred.lus {}
PASS: ./lus2lic {} {-lic -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 {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_condact.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_condact.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_const.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_const.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_diese.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_diese.lus {}
PASS: ./lus2lic {} {-lic -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}
@@ -1641,7 +1642,7 @@ PASS: ./myec2c {-o test_lustre.c test_lustre.ec}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_map.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_map.lus {}
PASS: ./lus2lic {} {-lic -o test_merge.lic test_merge.lus}
PASS: ./lus2lic {-ec -o test_merge.ec test_merge.lus}
PASS: ./lus2lic {} {-lic -o test_model.lic test_model.lus}
@@ -1651,94 +1652,94 @@ FAIL: without any option: ./lus2lic {} {-lic -o test_model2.lic test_model2.lus}
PASS: ./lus2lic {} {-lic -o test_node_expand.lic test_node_expand.lus}
PASS: ./lus2lic {-ec -o test_node_expand.ec test_node_expand.lus}
PASS: ./myec2c {-o test_node_expand.c test_node_expand.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_node_expand.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_node_expand.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_node_expand2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_node_expand2.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_poly.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_poly.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_struct.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_struct.lus {}
PASS: ./lus2lic {} {-lic -o titi.lic titi.lus}
PASS: ./lus2lic {-ec -o titi.ec titi.lus}
PASS: ./myec2c {-o titi.c titi.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node titi.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node titi.lus {}
PASS: ./lus2lic {} {-lic -o toolate.lic toolate.lus}
PASS: ./lus2lic {-ec -o toolate.ec toolate.lus}
PASS: ./myec2c {-o toolate.c toolate.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node toolate.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node toolate.lus {}
PASS: ./lus2lic {} {-lic -o toto.lic toto.lus}
PASS: ./lus2lic {-ec -o toto.ec toto.lus}
PASS: ./myec2c {-o toto.c toto.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node toto.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node toto.lus {}
FAIL: without any option: ./lus2lic {} {-lic -o tranche.lic tranche.lus}
PASS: ./lus2lic {} {-lic -o tri.lic tri.lus}
PASS: ./lus2lic {-ec -o tri.ec tri.lus}
PASS: ./myec2c {-o tri.c tri.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tri.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tri.lus {}
PASS: ./lus2lic {} {-lic -o triSel.lic triSel.lus}
PASS: ./lus2lic {-ec -o triSel.ec triSel.lus}
PASS: ./myec2c {-o triSel.c triSel.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node triSel.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node triSel.lus {}
PASS: ./lus2lic {} {-lic -o trivial.lic trivial.lus}
PASS: ./lus2lic {-ec -o trivial.ec trivial.lus}
PASS: ./myec2c {-o trivial.c trivial.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial.lus {}
PASS: ./lus2lic {} {-lic -o trivial2.lic trivial2.lus}
PASS: ./lus2lic {-ec -o trivial2.ec trivial2.lus}
PASS: ./myec2c {-o trivial2.c trivial2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial2.lus {}
PASS: ./lus2lic {} {-lic -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}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial_array.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial_array.lus {}
PASS: ./lus2lic {} {-lic -o ts01.lic ts01.lus}
PASS: ./lus2lic {-ec -o ts01.ec ts01.lus}
PASS: ./myec2c {-o ts01.c ts01.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ts01.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ts01.lus {}
PASS: ./lus2lic {} {-lic -o ts04.lic ts04.lus}
PASS: ./lus2lic {-ec -o ts04.ec ts04.lus}
PASS: ./myec2c {-o ts04.c ts04.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ts04.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ts04.lus {}
PASS: ./lus2lic {} {-lic -o tuple.lic tuple.lus}
PASS: ./lus2lic {-ec -o tuple.ec tuple.lus}
PASS: ./myec2c {-o tuple.c tuple.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tuple.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tuple.lus {}
PASS: ./lus2lic {} {-lic -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 {} {-lic -o uu.lic uu.lus}
PASS: ./lus2lic {-ec -o uu.ec uu.lus}
PASS: ./myec2c {-o uu.c uu.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node uu.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node uu.lus {}
PASS: ./lus2lic {} {-lic -o v1.lic v1.lus}
PASS: ./lus2lic {-ec -o v1.ec v1.lus}
PASS: ./myec2c {-o v1.c v1.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node v1.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node v1.lus {}
PASS: ./lus2lic {} {-lic -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 {} {-lic -o xx.lic xx.lus}
PASS: ./lus2lic {-ec -o xx.ec xx.lus}
PASS: ./myec2c {-o xx.c xx.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node xx.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node xx.lus {}
PASS: ./lus2lic {} {-lic -o yyy.lic yyy.lus}
PASS: ./lus2lic {-ec -o yyy.ec yyy.lus}
PASS: ./myec2c {-o yyy.c yyy.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node yyy.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node yyy.lus {}
PASS: ./lus2lic {} {-lic -o zzz.lic zzz.lus}
PASS: ./lus2lic {-ec -o zzz.ec zzz.lus}
PASS: ./myec2c {-o zzz.c zzz.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz.lus {}
PASS: ./lus2lic {} {-lic -o zzz2.lic zzz2.lus}
PASS: ./lus2lic {-ec -o zzz2.ec zzz2.lus}
PASS: ./myec2c {-o zzz2.c zzz2.ec}
-FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
+PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
==> lus2lic0.sum <==
=== lus2lic0 Summary ===
@@ -1750,39 +1751,39 @@ FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils
=== lus2lic1 Summary ===
-# of expected passes 226
-# of unexpected failures 105
+# of expected passes 330
+# of unexpected failures 1
==> lus2lic2.sum <==
=== lus2lic2 Summary ===
-# of expected passes 225
-# of unexpected failures 103
+# of expected passes 326
+# of unexpected failures 2
==> lus2lic3.sum <==
-
=== lus2lic3 Summary ===
-# of expected passes 388
-# of unexpected failures 109
+# of expected passes 491
+# of unexpected failures 5
+# of unresolved testcases 1
==> lus2lic4.sum <==
=== lus2lic4 Summary ===
-# of expected passes 369
-# of unexpected failures 102
+# of expected passes 464
+# of unexpected failures 7
===============================
-# Total number of failures: 419
+# Total number of failures: 15
lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 1 seconds
-lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 23 seconds
-lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 23 seconds
-lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 9 seconds
-lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 10 seconds
+lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 24 seconds
+lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 27 seconds
+lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 42 seconds
+lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 17 seconds
* Ref time:
-45.70user 20.78system 1:05.76elapsed 101%CPU (0avgtext+0avgdata 75216maxresident)k
-0inputs+118600outputs (0major+12650113minor)pagefaults 0swaps
+60.08user 21.96system 1:51.64elapsed 73%CPU (0avgtext+0avgdata 285104maxresident)k
+0inputs+141480outputs (0major+15471916minor)pagefaults 0swaps
* Quick time (-j 4):
-60.28user 24.35system 0:32.66elapsed 259%CPU (0avgtext+0avgdata 75248maxresident)k
-8inputs+97368outputs (0major+11005977minor)pagefaults 0swaps
+68.59user 23.86system 1:08.69elapsed 134%CPU (0avgtext+0avgdata 285060maxresident)k
+0inputs+140072outputs (0major+15364481minor)pagefaults 0swaps
--
GitLab