From 6fe97fdbc2986487eac688b0adedef3cc584ed57 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Tue, 10 Dec 2019 10:27:22 +0100
Subject: [PATCH] Fix: the src info in the rdbg plugin was wrong at exit events
---
lib/socExecDbg.ml | 8 +-
lv6-ref-man/lv6-ref-man.pdf | Bin 323614 -> 323618 bytes
test/lus2lic.sum | 148 ++++++++++++++++++------------------
3 files changed, 78 insertions(+), 78 deletions(-)
diff --git a/lib/socExecDbg.ml b/lib/socExecDbg.ml
index 6d196250..96c9c231 100644
--- a/lib/socExecDbg.ml
+++ b/lib/socExecDbg.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 29/08/2019 (at 16:41) by Erwan Jahier> *)
+(* Time-stamp: <modified the 10/12/2019 (at 10:20) by Erwan Jahier> *)
open Soc
open Data
open SocExecValue
@@ -588,9 +588,9 @@ and (do_soc_step : Lxm.t -> int option -> step_method -> SocExecValue.ctx ->
Event.kind = Event.Exit;
Event.lang = "lustre";
Event.name = step_name;
- Event.inputs = nectx.Event.inputs;
- Event.outputs = nectx.Event.outputs;
- Event.locals = nectx.Event.locals;
+ Event.inputs = fst soc.profile;
+ Event.outputs = snd soc.profile;
+ Event.locals = locals;
Event.sinfo = sinfo;
Event.data = datal;
Event.next = (fun () -> cont3 nectx val_ctx);
diff --git a/lv6-ref-man/lv6-ref-man.pdf b/lv6-ref-man/lv6-ref-man.pdf
index ecb257d593f10ac617b2de8a302c39a686d283dc..95fcfcbe8570ecbea97a175eb80891b56fafa2c5 100644
GIT binary patch
delta 3644
zcmai0c{CJm+cq;8Gp3PkOj#Sou8f^5!yrqR$eLxW`B{h2WNpS0gBDwqeXm4KWUVwp
zBx*23B|>JhCMrwn)%SkqegFB+`Tn@C`+BZ(o%`J9Ip?{~Q#LDDH7l5n2CAzTZX5?H
zkS}B#TlcBL`q%e_bX)Nud5zPHXJQojgh%Gg446-c4+Vmk<6+O9mQI`XI_8oG{uG*a
zgXP;_GmSPz16eLy0EK^G|IoxMWHWS=oaHw=IpZlJfqMnKqnXoX&m$LIA2wdnQZQ`w
zERLQDZ9K`c3txyJ{YjylEMBe@K9*fGLFP_<9pLsB@~~KhHMa2aJ1$y@msF4n7AXq4
zVX?MM{FdHGG}0Jjn<$2V*zRht<5Lo{LMvrvd%PNCbH)~R&d*&Er}O8u5RtOv?#sve
zyqunR_My2ZF#Y4JZ&)O)J?`h>PSVhTaDQTSRDe&|Ul!pT3{{g-mHOLLYyjytfWHMi
zC{UXXfb$iD2cwEnRl}&N7D|nBivH)+h8yMF=5x?7HPbZL)zZ<>!Ks;H4y-t16I~1r
zXRd3aZLFcAW+<iq|5`kuCr$^1pN|fbQdig2&I25lC!=qj3zaw}O!@gs;$)Xhm)r)L
z<ja~fx+XXy{@zlIHD^8Xy6@IxhaSoIn3M1$v#?4B$#zQ$yGN?VipLmm11x`|K71zo
z9V%5L`moB`WCySMZw^@f{9?u(VV|zC^n@wh$G<OLe68Kwe7;%vl|+71L%yZ#=9g#6
z$^}h>9#pb|Rqye`ei3(pNZ;5@&CrnsPN&}c0*~#8qIYCTS0@dMG%E@wReXyzmgywl
zwu~^w2f)%8dbof(T|32bG(%JH-0dmOq6~2qDLs%k2(5)((Hbtri#$~DZ3|lC4(qMU
zn68<E>rqQ(NGXAGleiVw!)1-f*o&Dv?!F-!Kgr37y{&@hYNtSP8LKj+tBaQilu1sE
z^`?}LX=uu%Q&D1tht;2YY9m7*wwrNP;IYXj4^m3&)QZ}0^(+$eZGw=oD1}6|nyjFP
zeN;_OZ?>K$3SHqJ6H^%x0}J+QoYEbh$E)>~EV6;a3aT~@$&;vI!C9Gy6280|c1cHk
z$^F#fG5te<8UM_@8PNy57U+4IwyE(ZX|tE96t>j8**lR@T6<T{U8dFYG}-EenrEWI
zlIELHrl^N(-F`!1WhpUZQt{!DqIVBnsMF}WwhBv2PnQh~^A#Bz8@8tJQqsq+L7Mq#
z&*HkfsA(xu@=a2y)y>Z7$>Y9x8cwtRtz-qb;8?iJ&bq*|oR+a8_}Vr3G<S<0-4F)g
zUUg*F{4U++rR^`5{tkF(8WI1CJEvhOaoT4)Kn!YuM7}gWr8ck4-VR`Li?>`Ex93Av
zR`RPJ$Eo8r(wyl?*kcaq6ORBd&apYJG||ASttQ%d)60pJNTE1DwVW8om0J}e<d=7N
zoN~kVTp#>CEKj`Gc>yLxMgrv}%{i*lF_e!<wy>@6iua%$9vQ{#Zfr0}m+wlODu+FK
z%i8%T_RYy2h3~rr6)7L=kgAefkN5Y({)bq)_lFQmmt$YLch$v<$SlV?v=LNPJ3))7
z0WaUBtYO>nJ4uOnQ8t%e>yPA1WVrDxoyHf0xH$l9_H)e(B{%+N+PthY>>zMLhUNi@
z&kYv!N@w4qMPst$dKyf&V*{VM-AHrO4Yl~Ovf0@N4F$b7uJtEAU|$Qi2L&68Gdi9E
z9#O<|J$LFQK2YP%g=!|1V&&FI48^HN1%q&H#?)g$_OA~hJ(>3&Z*iSutoGZX(3AH{
zt1+vc(xI#1&NjX+s~-&B-8OKy4}*`}*sZC5>B58Gt7ix>SPH)?JWVFP-tD?5m*1?8
zE2juOR`uAFiy>oPwnNI`GlT#gqKx4YC0r~lynwFO&T~BJ)hyH%;F84kmagaudfR=7
zAou~;)-6thuO%O%LC8$%9%U%z{uHl#5)_X`(?Qq4UV=t^h@d6n1>2^GUyfuBX??YA
z@dGrEDcdMpi7#7`FxG!VybdnwjTcyde<lFLKHUzFE_*VZ5?rEEH;T&mJt!DwmFT<9
zwOjH+<bmCJ{ja;HWqG~Idy$`Baq#I�ac|Ii`O4&&;QhC4n)s8}z&wyEy~jxQ0z)
zg<})TdCT3tuljO1rz8Go1;q&Rl|G-;f3VnZ7?%4w%!`!^So_A^4xgYawsR}DL!Ifu
z6h#R^1FhK5Z<7lTU;5>}#nBG1U-r6<M6v#V<^Kr7hIVsm=Gz*do|3=Xtb#N)k&Boi
zzne32?J%By-^1h!6%U|Dx0-A2%D&fr^C}*E2Yjf4Un41y0d()SrSYzChgFD2Q*3GA
z=%jF($O_1yLSzLDrW+G@wg8@8;@q7<CxOv-NkVL3*kN{4D3Y11M>xu~_^~t}cdpZF
zEa2Ato@*dyviD~NdeOZEAZ=8!9H_o!4L{Cd!x2*R4d^P<%CXoj_E4Sj**O+c!<rDi
z5%-Nq(R8`h=eWb&&f_Y5<3ZBamAK_22HR@*%CoKbLmuFZ^m_ki>!b7G$&c}%(B$}8
zLprEG@_tcZoY4N4$L~ye(_!!<9>NUP?3tWC4?bf6S2_^RC01C^=9DB~+tL}GALy|D
zvh#i{&gui9{S%?5@-hza*W&SvI&$)&>m02&hj<a&L^i5CdARo&6?ZsYG@QCs0%lR}
zr@eesEO2+3X@ujxZ5>$?DV=K&bLJx3LF`D$@zzrSct<3~BHXrSnHZ;PN$RA@?u9$o
ze8x;y@`ltzif}-6$Y&$tRFqJ-XXEo0Poy{C#vht2cFNY;q1oMyz$*mgC&Iv|?8jU;
z+r^>n#i+6RGThO0w5|75q&i$16+f?4^waG1l2k@J|1A|%a<5g6+_T1$7H+0lR0O{Y
z%H8x4HHd!%Rb}>n3OOsMn#htN90jK42@MFhDW(!OYapLLQo72{e~>zGIOo`$b#Ec{
zL}YSwIiPt~gMmqemT=0^HSh>(w5@5;K&n8Fl3IkRfTU%DX&M#A?}S=Em*Zg`b>xgx
z71rO7Dr1<tJ+Q#fuZ{|2HjDFjG=4i3nrVTQ>p)!A+CVSuA*{^EiLX$sGc%1}(N$6Y
zqnShCNO%8b?cM6#`W7HV?qHF+47T8i+>*N8W6Sa%et4lP6rT$5Bp3c1l)B9m^tW4Y
zmUSlp&-?bCP&a59#i;9sHSulKFI5-q7vlBv6(ukg0-+#bly{8t#j{CA?RiO*{QVPM
z4e`rZP!Oj|g%^3jI%4UgECWVL_QY!kfmSO((a8oCywNF7@se!7Q@oK52Rs>9!I%Fx
zn66O(1R*g{3ZCb0DnVb+b#8L>cgx)5I!|{az)QeHyo55vi~v}`LzGjpW(C?|_bI{^
z5fcdZ-j*Vxjh$EFv~WxG9ocbKkMZ+M@hqYpacGTlfgln}u_5pU%{kWHQWfCL$8r^V
zEptYaYdT5*LumAk@A(65ml`jY`6qrioA%{715jfo!Y)YSTKer*G0Yg4rUWja-+l_i
zB*MOnIgWY<c2$x5?o1;UwbC-LR!*G1^ZiJsX5Cq(Z}Wx*wFURLtlVh!c^IZY>;@8t
zeqm3>Fuh?;BDnEB`w$G%9VU#xUGB4Y!H}6wuyLX4aiL&&^AP#7wpW~O?-U}J&}nfQ
zl~%rYa*?mN-1KQN_zn78QXeP_jNl8^yaQ;V#5aE^Hanapg)ml5cKxs6o&*h9trO6o
z_ejd&m+^^e%Y_pUmJwEN`Az=gt<)zQPuA$ivJ4T4%Db*x57~Yr{e_GbP9Z+Y1MMGW
z$GfE<94g|TV&UcrCrbE#Mk8tpKGI|cUuQkp<29%y!3*VA4<0l^yTSP#p=U0wk0*;C
zab(3a=jWw6a;LJB8-Xg&;q`)n@|h82fsm_1&@{{%s;sbO!1cG$YUsHpyeT~nMYl#I
z|58chnHtvf^zxFcZnbo3vRf@S3CINvRixde*HwASbTyETfABVWXEUlC7mVJp;r{a3
zmDn^O`3UrXSq@aT8d#k96!oW=@yx8<7i%^Chanp-6zy2KALVVOc_P4}em}rudPa~G
zjb@&Z)6g$sY*(k&wFwr@SO$4oO?DK~LX>@e?x(iSLsoAK>b*usf3%$3+)ur~E))Gn
z*=Kzjvgc*Vj#aPx`7{+Y4go(vi|vx5O=j!_;cw-(+GNCH^?fMby1VyM{nlk+QMEV^
z#@8N*bTOnl1>#pdTb;U5E_XUX<<qtxBrgx*cn&h=ZKs1NBt%JnV$Qp7I<ZleGK(#I
zEqD7OK#ImU@)x;By@%e&D1WeaO;G#<G%6=6`g}=v9u@YyPxfo%^Us5+N(N+zQW(T#
zPasr#+vRz1om@S)CiWSQnPh-H^d7Ke+(~b7+s`srNZgU04$d9rlVCeH=X;$SYeXm{
zMxSeQudQM=ceXexO8m|UU(L;A88RBD9X3YgTo|&#pD@$GB4hiV;TNc}o#t(N-8_tS
zVL!ab(0f?PV9C)0Tkp?XPUHh*&Jw*?QEMu!kN<{nC01)xxKaei)e6X0Px%NyBgO9c
z&T*RPqa+do(Eg~TYfzzu#e@*8Qgz3>OQM2peKcqI;FJ`~`f1$@TP0AUt)<~@?s7>$
zLge6eU{}b(-vj{Zp>9h@>7gXS382C2piGKx`R%AKZT^J>p@AKN+;X5$;pV}&<g0?B
z5$|ijAXfJcBSAu$V?XnD`RcZ9;fai$(pSAt{`9Z>sk%^-SNMIMQwpM`3Pq#M?98G6
E0w<V+kpKVy
delta 3655
zcmah}X*d+_+a0qQTNvxu2E!03`#u=P5TQvFNf;@6BTJSv1~IZEVh|dYEK!Jv)X2z^
zWkONJh?t}-5kvI)UGMMu|G&J~^?ta|eeUy|`+B}S&$-7EEoF&jqkuZbxm?0(q{!?J
zr(}#k$}$>v6Z<72#D{yuzah{dFvICZW$G=6Vuzwn6!vOd#|$B(;u&e=Z&3OQ7ta{)
zo~UNX<!gDmTI#-TNg-stLw#_)oW5${64$xpA4M(=Heqpm-D>5|!5dH0R_g=qRPMwE
zeKsat#%^EOwBYG;&6ha`%W(?`Az>CB#9hT<Z2?i{PCq@zG(&Mm2Jfw~tlHghIXm03
zyFTA1H#dx0gwtgVUkp9|`I_%K(6yIed8As;#H#eoZ=*IZ=mTrzBDMAVua1`ch&`!<
z#ke~=H_bJ+?s6svRi<BOyDIbfg`N+Oxa{W>@(;U22;|dI&{FuPqmzzvr5@+{r-1tf
zYCg^d?ql+3>1gZe=<6F$6^Fqx|CySthrwGy&R9zuBW)dPOB~i1r)Oh;!|7RDS=s0t
z;S6y$x`sAd<_hTl*W$^i>EIW7F~VO#SJzmNT4n%LBNciCBW%SJHvb@|XSbxMOBhaH
z{;ckbm_8FV9qeju${m+7l~k=S0jJ&Zf0PeQgofTbYDrKATk)K5{aW7W?3%BNkWP+<
zN8+l^RDE3o+)k}dgz^C&1eE7<oaER17M8ZBKO0Z?50*OSD03>am9JZixKsY3IF}XG
z9IqGLBVmHC!{hi-bm3#ZHNVXVobfhG>h*DYZ!ID9j)W@#rxMi(6O7;fr;_3sp|FW^
zchK+dV?~<66J_rFixhp~HtbV`p73{6)SU}T{zwDNlEeUrRyeL#A5wIfmNza?e@AZu
zV_L7v2xTq-N*IH%Hm9fjvKiW5xFzWUEK7@2AJ2H^AC-h4Kq(=^XkeDe9pwuF2v9pC
zD$TPzMple})k~`WK#?j&zCMibU2mrYP!A!T_7_Z4B+S+R)*0~8vI<TbM-|=o&M24<
z$(%PbvU3P;v=0Y5h>XaV>m4Uo!NZI0ix-V}r?~Of`xRAmND)3W^8E)BjR{zW1Sy~t
z@{7^9Ea_hgT1cBY{{vSfNyiZu^9(jvIKmZ5Nkx_F8I@<Y4kUX`opbSuZ2h5;QJJ$!
z4|i**WhLQ-;}Z48MW5=wGomQp4*NS3#`4fP!lu}hqOEogX3UAxQjcLL$1eC+A2p<u
zs66zn5P1`7_$+-~%u(E^D5OD@L28_E-IF84GgJZ=>F;1&__wn}r@%=1qW_Dbu<j0C
zJEy<LyPpdNr-Tn~4d8MbUM&iCYR=-bl8u#&$8Pm+4MhIY2@IEO%6Na(!aI3BG9j$c
z5Mbjw1%@ZZ=z7n6txZ_XZwA@8Pw~P%IF@uupAhKHi761=jB|os(7S;oNr}f4Du0z{
zzu!zmHdlLK0i0j3gf$Kvv;IdJvs~=d|Lt>e=uoe%)4j_&1-YM!ix)DQuL5ZHQ>u0w
zsj*YWPE}*6LB=BUl)|B7&O470i8UNt)}e;$v7CF#na96Pq3l{Mo_Mt6>$ZmX_l_wC
z#Nn<eoDJoWJ881(067m*Dn>q4fjC$<^iJa<@@=8qub>>+s?ocxYQ5{-l35DIzoN6u
zIiB+-C9LJ6IxD870>AiX7791!U8OI4y?Q!F9{nipEyj2pYL9a7iLixKf?a9S?8$Td
z(w3RZ-=~L@zT=n8JvLYXW?I_;J-Y_8^6n-;NxNyn;LvB9XHGk5BKD}HQIEdv#9+{Z
zzeC&OyR}M~O$5{|=j!6c?dEPeFB6(#c_ODfFyhJH4+S{zzPErw0?h8E%aiWRq+FJm
z8}}g=vf%dIon>~|$+Ov|YkCEcaF#{^bfE*1o#<M}eT4j$#pec<VX4=7iw2W}SSBr8
zp@|_x{z>jDbV1TMBo33=0`19IC~8jt9^~S_4MeX*v-DTfz0)3=pO#dPS<&3(%2?@P
z1p#cLGgi>EW*;}vAI%b@OBWDA=(J7csphi2Bh11TL1xUFgitl_vjY342e&m#nI{)T
zcZ8V>dM~5nO=ihs7j@iMww2%Tc!8r?tMuGx3qa3HRniW^@DC3ibQ4<2h!a_cjrf*$
z0pxPf?T^P2)e(pPh!t?_0w8~+5}^B+A)?VM3jm$y^D8D)0V36q9!We9Om_6{aINF|
zz*QaXus%Ll-|L&(t#Z@xoKVL;BJQ9KVuIKHEB{B(-$AFP!)Hjd$(t`m%rUw*eGr}K
z6wZz;6~G0-0|gF3zD~aOBl6aeUG1iRez2H;2GXzL`4=%}{(wvxuPk7I25C$*U<#UG
zRM|jihawRkk%S<EWg*=dO(VewP85)RuU4Mz93spHhQQek!D24tK%#_;{o2}WtVgT;
zh+pC3PA3xADX*>odeNh3>AGR{{ZQCOK@MR=>C#m#;QX}1WLzC)N!I(h>siR^^Nkzt
za=idG&u?gy-Y}%2{_*gB(OqnU#;%Cdt*ZPx^oeql+#WeEK2~*q2Ag_IE|J?<2s%hZ
zt%a{>^~8FGe30m2SskPEL_f^kq$K3qL$N&6Cv31hwVe%yk{)#5Lf8&^It)#}s;OWc
zNR<&Zls#i4Mm)&E(>K!K?cu2?!DF(<S8P$7A<<TlrEH=RIILyH=I9WP$i)sUaA*s-
zwHURld!E=TW-D!|(rc^97WBNKlr+-y+la1c$R*r+m=a-D1<gHQ!5`GHJdcx>e=pZs
zXCvJV#M8@2H%5X!3QNT}-c(x6Vwi%%f{<NipToozk|u!g8Lihd*`12b2MSu`_*(8D
zb*oFU(y1sXuS~eEpdm00YdjE#T!_pDPxACja9LVa_2gQN%01Aa;V|h55?qIYXTXg-
z{xBx;{}eF4K_7)kd4OX;C36=_@Y13<4d>m*(*k3vYWacB^YjR>pjgM~R4u#KA#w~+
zf?ZGwxkwMt0u?}jC8F6XT4mrlzJ3`p11ch)t*C&-<k5FdDNxC0xy5)63Ks|g(}a}G
zwPL^w0gBXm@Gi31WiP>zi?>s3>>g9)B{+WCs)}}r<UWUHw~4<5y9hd*A#)V^DU*L|
z_bOioh5*)i*`fsjz-{n4?{@!4=y1iZotEGm`axzE{ZYbEa-m9a`qiKOv00{onb&6L
z7}4X&X18oDs^XSKM{vt^J;$?D^$zU6XPWigqv<g@KbnXOSz7q%-zI9rCH+cBBn`GC
z$=N17YHdd7C4gvBjR~ii+@CC=Y_KOw!3Zpv6v_l;CERDh*^q8aSTP`;CNGd+sRd5y
z;DJMYy=9BRqTV9Kz?0sHV$go-5Mde#xH@ot2j9^SbvF=|?ni{wBpsk#`XIsHS(jio
zvvp~9bEacWe;;;4(w0XII}BPNp-G~q-q58)Goqyb7vG14T1c=MhL`H~9UMlYJue3J
zqab;ar{?0GPsQBc_$nEZu4oPE!Eb7h#tXbhV4J$}v)ZH40(o*+zi#}H_Gq|+C8>~e
z<5Ol?lyBuYT-_k$%-ymN7Y}|Yu*&NRZ;!P<?D;LP!MjYwx3U+muAO3^QMN~@d<CyQ
zl2V;s_JL5@1XtHc;Y%-jOsFJ1f>*2AJW?CQXMDg{7Q<_c@tWGB#{@P+uz3tTN;{vw
zA=-PD{)OBHN{31aX&}b=@VwQ4%?r;B(-kBvH4@#x_5U@TGV|893F~u<^tV%vJE?j9
z+}!8X*6Yp^<r?lynaC&TN2bJ{dpB|N>E;sg8ryE`^=#_o5||JE@8J8cd;e7WtxKRJ
zozf#yeS^BU1eTTu*Ygly3?v07oUV`$sVX<rNNY$(lKwQ6I-5cbHK+%FfaOW24u!P%
zgmn^<yLi$CqHO0hhuFQa<TEL~OytO)DM`+RhjeF-z%iZLJ3e+PsKS>O-uq1||GZmH
zfDh4yFZ}5?XrIo2lp40qMlUb4Cb^?JDH-l4ELi}e6Wmv)*7>l;QTfFKlI3sRhP$_z
zHQ2dVLJ?4%^F7&$*c1Vh)W7VgRPKos$B&A)gjClr!H&peTXn^KVq|87_BDF_v@2Wd
zvgUJrl~%cDYwdWEvG<<x$ribIP5Q*&SnEy?m}3BgJV2RWrR2B4YI9*B;jkYIN+zMW
z2y?l28}}(muQH6*wZ0G~-t7ij58YMD%D0t$3TwZcX|zYW%1A4syiB3&bt`di<yp#W
zucuOc9!DheOYcT7#zPrfct)@G$~6Y#2~y?m4WkWf#%LAgTO3SxI?E_t`%AwQV`=ux
zFIP6QOksY;qN%Fu63E`NP)uTb)=Oj1M&k!ggQQKke)qTqtUgweP^<IBS#C?=%Z)TQ
z3)%X2B4MN^!`D${l5Oy{2ddS8Jj^SsOOg{U<$c1g!Z}vc({0H}=dCw8t*)BaFPe|m
za;u>yhih%ruGZChI64pS7KF-W=M14MJO-TC)=gXABT<^yu0m>^b1bSoLI{HU8&TR`
zRm@sJE$;QWE;}v7`2*Ze0rm&X%bz%JtM5Y~X+`ZxxY}m^<xBqy&3TtS)SB}?B%0ub
zwvOC3NK~P#QXBvM{an=i;nQm6zi*rP*r#cgn-n-ZIjYq>w56XQ3apf<m1mVY`#7of
zR*bSnuF)kcB7|2wmE^dUyv3L>HMv{Euy0_N3_g|*4|d?7^VTvIzTU^^_EEDVB=BdQ
zh7x1w6_xAg7QjJJIT|~%9~SF}O0PYeHT7&&pWj$kAx!PXuaR1%OSY(-Wv~LTzA+yP
Jg*$G;_dggmiLn3x
diff --git a/test/lus2lic.sum b/test/lus2lic.sum
index c8aa111b..92ac5231 100644
--- a/test/lus2lic.sum
+++ b/test/lus2lic.sum
@@ -1,5 +1,5 @@
==> lus2lic0.sum <==
-Test run by jahier on Mon Dec 2 14:30:17
+Test run by jahier on Tue Dec 10 10:25:29
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 Mon Dec 2 14:30:18
+Test run by jahier on Tue Dec 10 10:25:29
Native configuration is x86_64-pc-linux-gnu
=== lus2lic1 tests ===
@@ -94,13 +94,13 @@ PASS: sh FALLING_EDGE.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FALLING_EDGE.lus {}
PASS: ./lus2lic {-2c FillFollowedByRed.lus -n FillFollowedByRed}
PASS: sh FillFollowedByRed.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FillFollowedByRed.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FillFollowedByRed.lus {}
PASS: ./lus2lic {-2c Gyroscope.lus -n Gyroscope}
PASS: sh Gyroscope.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope.lus {}
PASS: ./lus2lic {-2c Gyroscope2.lus -n Gyroscope2}
PASS: sh Gyroscope2.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope2.lus {}
PASS: ./lus2lic {-2c aa.lus -n aa}
PASS: sh aa.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c aa.lus {}
@@ -121,7 +121,7 @@ PASS: sh after.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c after.lus {}
PASS: ./lus2lic {-2c alias.lus -n alias}
PASS: sh alias.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c alias.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c alias.lus {}
PASS: ./lus2lic {-2c amaury.lus -n amaury}
PASS: sh amaury.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c amaury.lus {}
@@ -140,7 +140,7 @@ PASS: sh array_equals.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_equals.lus {}
PASS: ./lus2lic {-2c arrays.lus -n arrays}
PASS: sh arrays.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c arrays.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c arrays.lus {}
PASS: ./lus2lic --expand-nodes {-2c asservi.lus -n asservi}
PASS: ./lus2lic {-2c bad_call03.lus -n bad_call03}
PASS: sh bad_call03.sh
@@ -165,7 +165,7 @@ PASS: sh bug2.sh
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
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c calculs_max.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c calculs_max.lus {}
PASS: ./lus2lic {-2c call.lus -n call}
PASS: ./lus2lic {-2c call01.lus -n call01}
PASS: ./lus2lic {-2c call02.lus -n call02}
@@ -238,7 +238,7 @@ PASS: sh cst.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cst.lus {}
PASS: ./lus2lic {-2c deSimone.lus -n deSimone}
PASS: sh deSimone.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c deSimone.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c deSimone.lus {}
PASS: ./lus2lic {-2c decl.lus -n decl}
PASS: ./lus2lic {-2c declaration.lus -n declaration}
PASS: ./lus2lic {-2c deconne.lus -n deconne}
@@ -271,7 +271,7 @@ PASS: sh exclusion.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c exclusion.lus {}
PASS: ./lus2lic {-2c filliter.lus -n filliter}
PASS: sh filliter.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c filliter.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c filliter.lus {}
PASS: ./lus2lic {-2c filter.lus -n filter}
PASS: sh filter.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c filter.lus {}
@@ -303,16 +303,16 @@ PASS: sh integrator.sh
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
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c is_stable.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c is_stable.lus {}
PASS: ./lus2lic {-2c iter.lus -n iter}
PASS: sh iter.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iter.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iter.lus {}
PASS: ./lus2lic {-2c iterFibo.lus -n iterFibo}
PASS: sh iterFibo.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterFibo.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterFibo.lus {}
PASS: ./lus2lic {-2c iterate.lus -n iterate}
PASS: sh iterate.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterate.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterate.lus {}
PASS: ./lus2lic {-2c long_et_stupide_nom_de_noeud.lus -n long_et_stupide_nom_de_noeud}
PASS: sh long_et_stupide_nom_de_noeud.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c long_et_stupide_nom_de_noeud.lus {}
@@ -327,7 +327,7 @@ PASS: sh map_red_iter.sh
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
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapdeRed.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapdeRed.lus {}
PASS: ./lus2lic {-2c mapinf.lus -n mapinf}
PASS: sh mapinf.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapinf.lus {}
@@ -339,10 +339,10 @@ PASS: sh mappredef.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mappredef.lus {}
PASS: ./lus2lic {-2c matrice.lus -n matrice}
PASS: sh matrice.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice.lus {}
PASS: ./lus2lic {-2c matrice2.lus -n matrice2}
PASS: sh matrice2.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice2.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice2.lus {}
PASS: ./lus2lic {-2c minmax1.lus -n minmax1}
PASS: sh minmax1.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax1.lus {}
@@ -365,7 +365,7 @@ PASS: sh minmax6.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax6.lus {}
PASS: ./lus2lic {-2c minus.lus -n minus}
PASS: sh minus.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minus.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minus.lus {}
PASS: ./lus2lic {-2c mm.lus -n mm}
PASS: sh mm.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm.lus {}
@@ -400,7 +400,7 @@ PASS: sh mouse3.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse3.lus {}
PASS: ./lus2lic {-2c moyenne.lus -n moyenne}
PASS: sh moyenne.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c moyenne.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c moyenne.lus {}
PASS: ./lus2lic {-2c multiclock.lus -n multiclock}
PASS: sh multiclock.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multiclock.lus {}
@@ -409,7 +409,7 @@ PASS: sh multipar.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus {}
==> lus2lic2.sum <==
-Test run by jahier on Mon Dec 2 14:30:43
+Test run by jahier on Tue Dec 10 10:25:55
Native configuration is x86_64-pc-linux-gnu
=== lus2lic2 tests ===
@@ -546,7 +546,7 @@ 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
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pipeline.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pipeline.lus {}
PASS: ./lus2lic {-2c plus.lus -n plus}
PASS: sh plus.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c plus.lus {}
@@ -574,13 +574,13 @@ PASS: sh predef01.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef01.lus {}
PASS: ./lus2lic {-2c predef02.lus -n predef02}
PASS: sh predef02.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef02.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef02.lus {}
PASS: ./lus2lic {-2c predef03.lus -n predef03}
PASS: sh predef03.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef03.lus {}
PASS: ./lus2lic {-2c predefOp.lus -n predefOp}
PASS: sh predefOp.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predefOp.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predefOp.lus {}
PASS: ./lus2lic {-2c produitBool.lus -n produitBool}
PASS: sh produitBool.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c produitBool.lus {}
@@ -589,13 +589,13 @@ PASS: sh real_ex.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c real_ex.lus {}
PASS: ./lus2lic {-2c redIf.lus -n redIf}
PASS: sh redIf.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redIf.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redIf.lus {}
PASS: ./lus2lic {-2c rediter.lus -n rediter}
PASS: sh rediter.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rediter.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rediter.lus {}
PASS: ./lus2lic {-2c redoptest.lus -n redoptest}
PASS: sh redoptest.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redoptest.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redoptest.lus {}
PASS: ./lus2lic {-2c remplissage.lus -n remplissage}
PASS: ./lus2lic {-2c rs.lus -n rs}
PASS: sh rs.sh
@@ -615,7 +615,7 @@ 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
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c simpleRed.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c simpleRed.lus {}
PASS: ./lus2lic {-2c sincos.lus -n sincos}
PASS: sh sincos.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sincos.lus {}
@@ -703,10 +703,10 @@ PASS: sh toto.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c toto.lus {}
PASS: ./lus2lic {-2c tri.lus -n tri}
PASS: sh tri.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tri.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tri.lus {}
PASS: ./lus2lic {-2c triSel.lus -n triSel}
PASS: sh triSel.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c triSel.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c triSel.lus {}
PASS: ./lus2lic {-2c trivial.lus -n trivial}
PASS: sh trivial.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial.lus {}
@@ -737,10 +737,10 @@ 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
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c xx.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c xx.lus {}
PASS: ./lus2lic {-2c yyy.lus -n yyy}
PASS: sh yyy.sh
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c yyy.lus {}
+FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c yyy.lus {}
PASS: ./lus2lic {-2c zzz.lus -n zzz}
PASS: sh zzz.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz.lus {}
@@ -749,7 +749,7 @@ PASS: sh zzz2.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus {}
==> lus2lic3.sum <==
-Test run by jahier on Mon Dec 2 14:31:14
+Test run by jahier on Tue Dec 10 10:26:26
Native configuration is x86_64-pc-linux-gnu
=== lus2lic3 tests ===
@@ -784,11 +784,11 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node FillFollowedByRed.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node FillFollowedByRed.lus {}
PASS: ./lus2lic {} {-lic -o Gyroscope.lic Gyroscope.lus}
PASS: ./lus2lic {-ec -o Gyroscope.ec Gyroscope.lus}
PASS: ./myec2c {-o Gyroscope.c Gyroscope.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /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}
@@ -820,7 +820,7 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node alias.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node alias.lus {}
PASS: ./lus2lic {} {-lic -o amaury.lic amaury.lus}
PASS: ./lus2lic {-ec -o amaury.ec amaury.lus}
PASS: ./myec2c {-o amaury.c amaury.ec}
@@ -847,7 +847,7 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node arrays.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node arrays.lus {}
PASS: ./lus2lic { --expand-nodes} {-lic -o asservi.lic asservi.lus}
PASS: ./lus2lic {-ec -o asservi.ec asservi.lus}
PASS: ./myec2c {-o asservi.c asservi.ec}
@@ -883,7 +883,7 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node calculs_max.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node calculs_max.lus {}
PASS: ./lus2lic {} {-lic -o call.lic call.lus}
PASS: ./lus2lic {-ec -o call.ec call.lus}
PASS: ./myec2c {-o call.c call.ec}
@@ -996,7 +996,7 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node deSimone.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node deSimone.lus {}
PASS: ./lus2lic {} {-lic -o decl.lic decl.lus}
PASS: ./lus2lic {-ec -o decl.ec decl.lus}
PASS: ./myec2c {-o decl.c decl.ec}
@@ -1044,7 +1044,7 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node filliter.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node filliter.lus {}
PASS: ./lus2lic {} {-lic -o filter.lic filter.lus}
PASS: ./lus2lic {-ec -o filter.ec filter.lus}
PASS: ./myec2c {-o filter.c filter.ec}
@@ -1090,7 +1090,7 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node is_stable.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node is_stable.lus {}
PASS: ./lus2lic {} {-lic -o iter.lic iter.lus}
PASS: ./lus2lic {-ec -o iter.ec iter.lus}
PASS: ./myec2c {-o iter.c iter.ec}
@@ -1098,11 +1098,11 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterFibo.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterFibo.lus {}
PASS: ./lus2lic {} {-lic -o iterate.lic iterate.lus}
PASS: ./lus2lic {-ec -o iterate.ec iterate.lus}
PASS: ./myec2c {-o iterate.c iterate.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterate.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterate.lus {}
PASS: ./lus2lic { "--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}
@@ -1126,7 +1126,7 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapdeRed.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapdeRed.lus {}
PASS: ./lus2lic {} {-lic -o mapinf.lic mapinf.lus}
PASS: ./lus2lic {-ec -o mapinf.ec mapinf.lus}
PASS: ./myec2c {-o mapinf.c mapinf.ec}
@@ -1142,11 +1142,11 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice.lus {}
PASS: ./lus2lic {} {-lic -o matrice2.lic matrice2.lus}
PASS: ./lus2lic {-ec -o matrice2.ec matrice2.lus}
PASS: ./myec2c {-o matrice2.c matrice2.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice2.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice2.lus {}
PASS: ./lus2lic {} {-lic -o minmax1.lic minmax1.lus}
PASS: ./lus2lic {-ec -o minmax1.ec minmax1.lus}
PASS: ./myec2c {-o minmax1.c minmax1.ec}
@@ -1180,7 +1180,7 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minus.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minus.lus {}
PASS: ./lus2lic {} {-lic -o mm.lic mm.lus}
PASS: ./lus2lic {-ec -o mm.ec mm.lus}
PASS: ./myec2c {-o mm.c mm.ec}
@@ -1247,7 +1247,7 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node moyenne.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node moyenne.lus {}
PASS: ./lus2lic {} {-lic -o multiclock.lic multiclock.lus}
PASS: ./lus2lic {-ec -o multiclock.ec multiclock.lus}
PASS: ./myec2c {-o multiclock.c multiclock.ec}
@@ -1259,7 +1259,7 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
==> lus2lic4.sum <==
-Test run by jahier on Mon Dec 2 14:31:54
+Test run by jahier on Tue Dec 10 10:27:06
Native configuration is x86_64-pc-linux-gnu
=== lus2lic4 tests ===
@@ -1451,7 +1451,7 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pipeline.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pipeline.lus {}
PASS: ./lus2lic {} {-lic -o plus.lic plus.lus}
PASS: ./lus2lic {-ec -o plus.ec plus.lus}
PASS: ./myec2c {-o plus.c plus.ec}
@@ -1490,7 +1490,7 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef02.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef02.lus {}
PASS: ./lus2lic {} {-lic -o predef03.lic predef03.lus}
PASS: ./lus2lic {-ec -o predef03.ec predef03.lus}
PASS: ./myec2c {-o predef03.c predef03.ec}
@@ -1498,7 +1498,7 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predefOp.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predefOp.lus {}
PASS: ./lus2lic {} {-lic -o produitBool.lic produitBool.lus}
PASS: ./lus2lic {-ec -o produitBool.ec produitBool.lus}
PASS: ./myec2c {-o produitBool.c produitBool.ec}
@@ -1510,15 +1510,15 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redIf.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redIf.lus {}
PASS: ./lus2lic {} {-lic -o rediter.lic rediter.lus}
PASS: ./lus2lic {-ec -o rediter.ec rediter.lus}
PASS: ./myec2c {-o rediter.c rediter.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rediter.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rediter.lus {}
PASS: ./lus2lic {} {-lic -o redoptest.lic redoptest.lus}
PASS: ./lus2lic {-ec -o redoptest.ec redoptest.lus}
PASS: ./myec2c {-o redoptest.c redoptest.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redoptest.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redoptest.lus {}
PASS: ./lus2lic {} {-lic -o remplissage.lic remplissage.lus}
PASS: ./lus2lic {-ec -o remplissage.ec remplissage.lus}
PASS: ./myec2c {-o remplissage.c remplissage.ec}
@@ -1548,7 +1548,7 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node simpleRed.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node simpleRed.lus {}
PASS: ./lus2lic {} {-lic -o sincos.lic sincos.lus}
PASS: ./lus2lic {-ec -o sincos.ec sincos.lus}
PASS: ./myec2c {-o sincos.c sincos.ec}
@@ -1681,11 +1681,11 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tri.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tri.lus {}
PASS: ./lus2lic {} {-lic -o triSel.lic triSel.lus}
PASS: ./lus2lic {-ec -o triSel.ec triSel.lus}
PASS: ./myec2c {-o triSel.c triSel.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node triSel.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node triSel.lus {}
PASS: ./lus2lic {} {-lic -o trivial.lic trivial.lus}
PASS: ./lus2lic {-ec -o trivial.ec trivial.lus}
PASS: ./myec2c {-o trivial.c trivial.ec}
@@ -1727,11 +1727,11 @@ 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}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node xx.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node xx.lus {}
PASS: ./lus2lic {} {-lic -o yyy.lic yyy.lus}
PASS: ./lus2lic {-ec -o yyy.ec yyy.lus}
PASS: ./myec2c {-o yyy.c yyy.ec}
-PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node yyy.lus {}
+FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node yyy.lus {}
PASS: ./lus2lic {} {-lic -o zzz.lic zzz.lus}
PASS: ./lus2lic {-ec -o zzz.ec zzz.lus}
PASS: ./myec2c {-o zzz.c zzz.ec}
@@ -1751,39 +1751,39 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
=== lus2lic1 Summary ===
-# of expected passes 330
-# of unexpected failures 1
+# of expected passes 313
+# of unexpected failures 18
==> lus2lic2.sum <==
=== lus2lic2 Summary ===
-# of expected passes 326
-# of unexpected failures 2
+# of expected passes 315
+# of unexpected failures 13
==> lus2lic3.sum <==
=== lus2lic3 Summary ===
-# of expected passes 491
-# of unexpected failures 5
+# of expected passes 476
+# of unexpected failures 20
# of unresolved testcases 1
==> lus2lic4.sum <==
=== lus2lic4 Summary ===
-# of expected passes 464
-# of unexpected failures 7
+# of expected passes 453
+# of unexpected failures 18
===============================
-# 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 25 seconds
+# Total number of failures: 69
+lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 0 seconds
+lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 26 seconds
lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 31 seconds
lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 40 seconds
lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 16 seconds
* Ref time:
-60.83user 20.19system 1:53.37elapsed 71%CPU (0avgtext+0avgdata 284112maxresident)k
-0inputs+143424outputs (0major+11159217minor)pagefaults 0swaps
+62.32user 20.37system 1:53.50elapsed 72%CPU (0avgtext+0avgdata 283308maxresident)k
+0inputs+139656outputs (0major+11771660minor)pagefaults 0swaps
* Quick time (-j 4):
-69.13user 22.06system 1:14.18elapsed 122%CPU (0avgtext+0avgdata 284132maxresident)k
-10592inputs+141952outputs (5major+11074425minor)pagefaults 0swaps
+72.81user 24.00system 1:14.69elapsed 129%CPU (0avgtext+0avgdata 283532maxresident)k
+21680inputs+138472outputs (24major+11689754minor)pagefaults 0swaps
--
GitLab