From 5e84188372605d10175a289bba6e90f2bfe82dda Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Thu, 16 May 2019 09:18:12 +0200
Subject: [PATCH] Fix: inline / when generating c code

---
 lv6-ref-man/lv6-ref-man.pdf | Bin 323624 -> 323628 bytes
 src/soc2cPredef.ml          |   5 ++++-
 test/lus2lic.sum            |  28 ++++++++++++++--------------
 3 files changed, 18 insertions(+), 15 deletions(-)

diff --git a/lv6-ref-man/lv6-ref-man.pdf b/lv6-ref-man/lv6-ref-man.pdf
index 2cbb09837af552a476de6a429c1667e701b5811f..cfce6fbfa1f7555ca0b86bcbdc2792070823f591 100644
GIT binary patch
delta 3734
zcmai#c{mj8`p0L%G-Ef`>|-0EW-Mi`v6f{-MzYmlrc}0U#Y;0|88akgnQSqYr7WR0
zI)tH-wVFgtAroE(gS;sub?SG{b$-`%{yBf#-{*UMp8I~DKkn<g?^+(bo(Ip>W%Qsx
z2Bf%LTURzpDt&ENF2;>TFmcv<mneIZ=qW9JI##lI;=Nrs^Ig@}S~&Iq;?~)DoB8As
z<Q72qQ1Q2#)7xP&<rg_Fes$0!@ne3sUtwTX`YKymPmHH=0ih=Zt18E}`i=Y-6iS!8
zynUS4hR53_cP(PS^EQv{8L1j<I4uQwq)lqk7&zu53vE`e;nX}&4t;O&{4W6lnxk11
zgF~c0c*#7{_`=>_B9M0evG~-E?2zt$j{(ueYv7<`5k@)#pFJw7KP>~U)9UwzSZy!@
z6mcUiWs&`J-S@VowPm4(^J)zKk;utyfwKCx4+BPwAjHH*6NAEkyU5@RFk_8WEHDEL
z{2icQ0dB(rg*Y5TGqf4{keQj8`974f9tx$W4?BR3Bsc`c5;c$xmc}Tw1?oR3ZO)@Y
zTaum!O>I%eW{$Qdj>aY?_J_>P&CqrZwoZ0-roXMd?O_e;|Ctg9JK#o)I2RkLVPcBP
z&)d*vbj%2ek($fd@d9=mn;xR~W0p%_VLJ=B*Ymg9<7KSi3&DCX`feL(xTKHS`A2w9
zBZ;`Xf2Y&}ptd_FPNli1`>mg#z5sJZ5txGe$M&S*C{k_GDaO--_FaOqz@Hsf3#ISg
zJ@hRisu#4>7dY!?Ep{7@6t)Zn(DYr{^YrF69Prow)_qF{Lr<m{1T$z;RsVp7>Bbjx
zRZGSzsa%8R3Db)`^1&C`5w9j;tyQiihSL5uzK|t)xL$nzSuodK0BBY=RknpU9}d1~
zdYN3#cA_<mhKU%lo#=rz?_lp~+0q?O4^;(-cq-Ssq{H@T=JwuTpU_p{AM|j|R=bCA
z0ZFShl}juMtSseT3ND(z8b#(B1v5gwlB4x^>kzGOpEdY8@daF&=k}F3T+`+()1986
z;JJoX&~q(3nQPqq*%Z<vg?>JPcz%bch<^SG^gJl4?B+bOCIM9DhOV(Fsj&b#(Y>Wg
z?<BykNiS<3bd6DQld^IPqt2g4IlJwUu9nOzMHMN!zrnt;hE&t;`Me)XJx80;jxVad
z6?&Z;9{kNKF>i6n)$>8Zjp`3P1bXFMr`SrFDElN0%Ne^Kh-h_pi?q$Z(cU=IbB(Kr
z#qx>4OOy{?Ls98B+Yh>UIkr0qWYH^@g{ZiW<_>!K-FqOthuBNGH{&~oy4~wZ4DO{8
z%cxif^qAe=7rx~Zr&P0*Ro;RnT;i9yEnmdpP0GNthiC+E(wHjs%rhoAjgqGlt8H>M
z_4*m7aE|BjDe(z_mgyMy8IdcYn9YQuM4q~{21Jd>>+<gbcMJufYYiNrqG!+nyh?g9
z`4zk!7^2H}G&Zm+BrM9jvm^nAChte6iVUcW0ERL&$^4Ism^F-^Na7*R3MENMMs5JF
z@rY6edFIat*UBX7Oq{s4P|hnzOnxk%i_$oIv!H(UK;oVjs{ZwT57QHaoLZjM#I4m6
z%5#?G8-<-Nv&x!~zRNG;AicuFk^<pU*5S&Ki<11mq=Y2IcF1Qbbdn*;in{Mc-1zeG
zKt|ZchjguDcr{5rd=>R}QHbQ#($$t=>}HTwaqdki?)=Tdr$&Rfl231*q+s!)wFP0{
zh*Ql<xYWHKqOlPVz}fgZg6o;F)Md}e)CQ3zFrPgIE7A71Y3Mftmv>H3Uc4-?#I{T*
zCk{k#ddy5F+%GJIlH590rThain_tPvH*7uy?oRCTH2A_tF}^JsC9w~FgdZ^%6X}ss
z6an8zzVDc01-njx<0VE?^`in>^rqj=x<}h44te2K+{mx-GG)RG7zue6!d!AcISUUp
zOm$_Y4C93ZfIdBDQL6PRW>Mftp=F-@WAQOs2YKX5<2z9jk^;kHbXedV$Z7Zy@Y(ZA
zF>!t^2fq8009w|@TMfU|>B_D3TY^7s3Dj(@U&iD>Zn6K6S@ZY&OP*8wNtcrloeddB
z`MXs)%IxmsEb4!ucS86vd(S*MT)xg)HYql|k}MOFb^vVs=?c&J$r_k2ou8bed=<c>
z^n;Jj*pTR(w8iEZ$5Z16Z*|;%n_{45^xYW+astA(&}4|3q_x@=>rdwZ##acREEyY@
z7;jnLQNs1)VOEMOUda%MTffO~9t_Fv*UiDIl|E5R`K8te6T<%H&iz0B54iX>L56|u
zt%0tkKL}N?Ebd3;kb=~nei!K{VlYq~0Bq2s8}SijE-BxWLRg#Hd1!>+#}!$^*n|Qm
zY_&o`RxEdpm>*_eD0l_0z!kS-sWmCYrX*L2#-{G_0DNG3lGUErSMhuJCmPiGpp`uw
z;yaC6;3J-CZIPhx=$F>m!s=n;z>IQ0eb<l{+018K7Eh}3R)fGdTqWiyx@5Bx3GyS-
zrNSoo60Q;}y6y>JG-mmWpUt)ftE6sZ=3bI`8KgdMh+&)Pv@1}u*+Sr%xK<wQF)V^C
zH~3+7bha@yE=qJ#<T5Le47on5lJg}xQFeE}^u2><hM0s>fE;H5-#svSLoEd)A*=#3
zmyJR)`uIXJBo7voY!A%%O&2fS?azy0jDB9w+bDSaG3x0@s=es{-M}87mcDa&wTT@>
z*IH=wZ|Oc#Z6(Flq}fYlC`XVt+$b>^pQnWP*|f3vr3%f|*Hz}Dk2MDmBV#l6_vQ60
z2JawQnuo-s2C-R!AAhR3-6-E*KiE|&dp^m5beZ3~_xz+a2AE;s{($I9;4u<a=$ExW
zXwv*;^`{?L?FSN~_5rk1oXl0C&F4-6;cfQ7%Yg*kc+9ccCiY^TbjY)hPK3xwhtG`z
zzN*^NhY$}P9db|U|NSYZJ+;8`Pg<z-E5vO_hb)@Bv=PG3;lBXsUu5vA_D=I&yfcB_
z{~R&AxhPlZNEo6$mVTvYOmra72Bg+?W?b2fD`l}2z<i!52W=zqjHQo)-4sTY!}D~F
znGSQABg%Q~qcZAwnh1M`!hxNW+KjvaCs`U&s#p?1&(S_?oZ!H|MpOC{mf`RQ_k)I&
zhR!-Sk{p@XB>K0m^b?-bEdvQ-m-i*nYgLN>M0~bYk$bn5{-d_*f)RLw&W9JDM|^YG
zpnn^A9Wh$7i;j{Nqu5reQhcQI5GL3Fxoz&b4V6Q{-oB0}wDl%>o8#dhm8(-4)mb03
z5NE8)UYS<Pgn{G`6+8D=YeD0cB4NV%I~62n(&n2KOApDtJqPpjK8$vX<E^;B_>{98
zke{t`D5QfG!2y0HcUHm$;J`{{0R)1PM5d-zDyV>xE7es*j<NuXLiRkQxd^rAQWU66
zD4!>0F8YF^j}kx2GQ0`?tN{_lOP4_uSdL9XMU*aI|H`%3`!LhD`!V?gUd!)ES|pwU
zXLE5GFIP`d=INe-w6VgYAfYo})x{_op#qFB4|{W|h}ll8J+GAMMV%>NY7>#pN-$5V
zT><ku0eM6z)17)dpE*WAnkm8DsGxjiJps8-Dbtx6e1n-rKx!(%j#7K`m;nT&f>Ndf
z6_Lj@B_PF>V0P4$T&5U-gaj*P9-+?UFy}&$+lnxo>bw6a1B~eC6vhS24M+0J^?c9h
z$7X3d2oHE{qQ{cO#?|Z}^?S^s$F7JKs@fC#Jzk>6V%(fb#oL+hvzhTBwOmDmgH*o?
z=9_cKH#bjY4_yBCrNFO!bRV(D4*Sd_AB_tZD^#@K?eid^ae-n-y%p>m`aCY8ai_%O
z<n06dJbchNuWKj0YMF`+Ob-jRp9S-Da4kb|Nr!4cXSxI%DiGFLGn77X7DQgsQ0<g;
zQ>m?4Es&8V5Yklk&6{aUR1!y!60vO_L$?cb>RLVLzAVH+Bzzfz0wIL>M)R?dVwV+D
zMX3ZYZ^o8DNJmbZ-J<bmgR0{h?=<)J$Sbc43p{Ec!)QfFophl}{E%V9scTJ&L3urm
zSx<JtZ7fpw93<y9=X(V0`w!LZAZLnB`kUuXcUd>=roDb2AXk{7{+}pwWEEY17x>G5
zqDVU??*INJqdnEPibYHDt-?@1!mu!drhBaF+uqt;cS*KiMO)6~a&8CCslVh)5Rkb{
z3>BmVBmLXu!F2C{N;7Q`Kb2p1J3hXB+@<tq6?PKIueRIytFhodDcAX)uJ+guqo9jE
zy{)d$I7z*+?p)5Ny0n!wZBrvX!6{d+MG5CS#%}nE-EyqmM3UXkR9fJ)3wQTR+I4ju
zL4r}x+Ay>{Qb(|3Z@1Z+wp#~<9M0pAK6j?2VxgT4&<r&!f7a(4sU&J^Dorb35ujkY
z<<ZMYh91p;U(ePS6WzMhyIuo#w=Rl`Mg+}0h2A;iV*V%>^_7{ne)Q3N9mmnmd8F>=
zShak&c&(84i4rvz656B?^#`eU@*I4Ad;9wxsAxiOaB}bVywHbkSA~o4qC^=|k(JE;
zFM8YvDfr3z8xFtv%vqCqgjeu*+L{us5y&f4+RaMTx6yAO*QkobExn1??@Y9B+gr6!
zVbwmaEmvMK)}VS~Jx?L-VhzrEvn#^PwJ&S4vC`3?SF3&8pnBG9>H_@pR_E385PM9w
zj|%u{@CO19H$TRU`DRe_Ao?50phl$Pvn3-Y(qgmdU*d1kRv6=-pjrzNC$HHh{924j
z(Sw)&Jui5p(Z34EZh7gA=u6MzATdMtEYioH{9cjdH8+d6jWSq_yYt~+kE(-`E)DGf
zr_KJ>!UM!WmWUdyXiJ2;ND_GHI3Sa3QBf1!B|UdANp@gc=0*-Ub9nna3c4j*SRuRs
zAXb*03q1@zOS#(j`el4l&9DOd$$FUXeCIUrCj{JHjAHy;6Vlvs5T>K!c-#s0PevE2
A3jhEB

delta 3751
zcmai1X*d*YxSow+jGf8Yja{}8nGqVxSSB(lOB7=)sU-VWnlWmS$zFUCGg%Wcm3?W{
zv?&Zyd>@&l45@6{+K$fko%7?Ib6w}hbHDd>Klji3dY<QP;LFzWW%G1^7RAfbAbm=F
zp8El=sTBR|Px)9kPRNOsu}0@0FNFLsAHN~h)oAnzQF{FH@3*hlP%|fO13soELEnL;
zBF%o(25d#do{`fl8q^o-6~0R-@FwL~8OJO+Cx!OjY9}Hlrm*Es2mM<IO^nBC>+g*8
zn)uAyuFdh5)2Dx{KXW-#<|jofy8oJz*6jBYpD)!F4NL8u%&56B74yh=WCqQRX(d!G
zeZ#Ij^-2zZ!4gA@x3SJu*iUeUU^RIigLdJ&+Xi)>tr9D0mUaVlQQlYBD%%H)%{5{R
zJ}wrmS>CTZ#FRer(#GgD<!$@wgr!=HPa!NcG9)%GCN${GA9j{}3TCEmn(hJ2@BscP
z&`yEdJb;iPo}u|3Q}iB-y%uJ>P0e&oO?CBQChliL9E0LQ)%6^$%uLZ()Bm=#5k?@J
zl7}oY4(52w9(z+u2Q$aLj^=1I-qO_6(ZS5Z)ZWR#aj&hq_5W)*4l{8JjXV(-uD)jv
zw$L<5zqoq_0;jafK22EMRD4=I`D?RaJm<!ys%~%74elWK;0!mXkmu=TAe42ph^Duo
zWK;?p-c^P0ve#R}&C>{hegT)Aj*H6s89?NS()J==B3dv8u4wC^+Dho$;`a0ucKYRD
zxqE@uR$ZRfB}bW~Ilr~H$Qt_Ymr8EpBC-_DiD`4B4p4#{wv7ioiB5}V?0x2mX)$D<
z%&D5AK!dC^GXJnTlomA-(#MTTy+~)ftL8!MGo@op`nWCG-~4o+E!jD1s_H0oA?uq=
zmtE}saP_@}h{7<<aMWI>MXP}@o_z#u+@iFR4`9b~?~Fu%p}{YGWd31JNLXcl)@VI=
zPc}~aABx8!Y`}qU${yt!4rucA*#2DOQETDLmo}Ri<B9|Cnb*hl$+ykV;Y`?Aa&h>2
znk@I3|2KT8uHAmN1$kGv1l5jQ+9qFG%aKA444VxEMU|F()T>SwW^hYJm5qj#g@U<+
zOrsHHs4Uki%ZOJ7Im|sMb-gwj;U+uUTTw|#mMGJu7mnRCKfy6Xe<NH^S+Zsuk>^e>
zWFfLXON~~HWHWpMMN$Sv&A$ozWS-prDKvcUm{#k-h|4tziw5j7<P@>eqVag`3PPqk
z@72WsjT%+K=i6{4?yDAbslkW^`91gkry~!?KR;=eR$|=(Ip1?nC@V?m>VM$gaDDtF
zrPL}a&Jq1;1yfddN~PIK@oUT^I_g-#^6v%Ao3w$bLF9uD7teLwsi4hJ<^Fur6Iydt
z1v^?!pwpQ<mDkv%UxgUFZedg7)l}+m$s6z!(p!K+a<VL``-2hn&^0vxqw$A2$?<~<
zHM%Gf=;U!h!89zU$HfUBpyS#h7*nGN;Um4;4gzL}z61N`(gDM(8q~Mg8zrM%*s1cu
z+%m@xA*Q-5SnLq;Y_bXNYPWxZjnmM+$NJy4ql}y%Dx+6Vy4L@$&rm;Y`yv|ON;Ih`
zuKI$U>QZ-|n~N8F6XTSagWbBUHE?!b;^GUV{XAeonlUr@wn|*A2xt!eU3q{KqjR@x
z0zI8Kn|CTdusCG#y_j=eS+ccr#gDzQHx4fO7p(oF={~w|znL7?bMh+vDE5K&^Vp5}
zv&eCwb*iW9$AB@F4@}Sz+7xbX{S*;euXQxlPx6jkPglek?I%w6OBm7Q`NtyFHzINC
zkwRAc6KM$7gf9Y(Gko<oFC+FfQf^eDKX<CON&u(M!Q)(4cn7xIoH@}v@q@IRS`~Lj
zd$!wB`49y_I!R&eKupu2+<iiH4zgL~8pjZ0^!%`zAX@WSUU`hN8%;k7;g-Hi60Ra4
z8>nJ@R6E4GPq7_t*baK#C)^IZllF-uI|;DtLyQZzaU_VEUjSzBJHjX?OaOrjtOiJ0
zt0uYsu=Zu%8XCj8_O6)x1TvPM@oxj1k{C<Y?`<YFtS4+}N#%2@lGa%pT5l~Y`;C};
z-XVC&E5efXL9Hc(dwScFs&5W2$abj+Vig0sZEq}dKJEF-Fez0g_@W8OdMSzT+Wl21
zWV$dlSE*NxpY{~&G2?BMwUIf`9vn*Zb`2Qkowk$DMO=U|XlN?v0_cw=7pf}x151Ug
zBD)8*dnP|vM9D``<D-OpqmT`0UQ`2BS)0Ad5i8@f?B~ISZycI;@TpF2an2lM7iGZK
zV+Q54iFud0f&C0NUsd>sei>Zy;6=2k6cM1!p?WrF`?rf2Q{|ftpMQV4HndJPXx?=s
zU6ClZo@PaqTu&F~iIn2@gadbGNH`d3w@(1L!4y*lW%Nl$$ti<7&+n6n8-5LryY(6x
zmzE$SxElf32?F1+E^oHwT#7%XlQ0_k*PTa$0Pn!Zhd8CTF%rHf<#qeyeiqQQnWCgC
zM~(rqxd@JRiDrUC^Q3`s`sQTHJx>o?uy3sVQEU08G%>1$=Q1pFsIIMiEZqc%AmGLJ
za=fBs8xE{Q7ON(zM5OzZpp(Lh098y*><9Drm4Y`Wr(}(k%`hQRp*WF>^i))K@tRa|
zhXA5ZfnnsL^!P5hnl?FQT_xoYtZ&tF#WR#7ES3HKvqR*>XDjr?W@t+sP{t-^Xm34z
z-wC!;rePq_?eDf-hYU-Aor*f6kw-!jGkzh>Fvl-zUQsHVtt^huFn*lhH&6a9$I-Ba
zOFbXRx^KgR7KYS{oxc0E2EU*>s?yo)L{V&m5IL;Nqo<F`&QpAHHJ5X^`ykP~QIDbV
zPeZBjNEOn>M<N*x5*d>^q?rUg{+(>btrUrq%GWTd7UY+hNs&eIuJE_g*rs$Xz7wfc
zL_~&wS3MVyn0J?o02+b(AooSWrFkeO9+&-p2^1sHgk;G6BLG8D#wOAD?m9I9=m)7`
zP?dnGpu<i$Iu#BK1ocABi`KesU`@pbK`Nt#BoHGV%`ub`lu^yoM77m@NN+{7Z1XmE
zyhu<z<ZT<M13qiU#NpC7=cQcEt1qWL*HjO~y=0#FB;CPUfkwbw6r9=-m-a4eQv}};
z1fkRys5!go#wBfL3~2=R5*p+-`{keQ%I*3VVV*A2gH$6bkmczL_IPx;R;)Yl<rE-b
z+&)kf2qhF&+N{6wY}cByKj7U%l>lzi_(hd`XSLy;#H{(78&%I%Q$^jugg#>;YNh(D
zAjgadG_aG;oS>}8PjxBngqlKxu3tXCr84EelkT5PpgB#42lvD6#sL22*zqK+aJm9e
z1}7*AqAc_jC#?*fVnWwwwo#xm$WIagPCHBzfv1o1;R?V}zA{EKjAK{=UL^qyY1(<T
z&}NV^HJdNvD|8w+-C)Gqn2%?k9hPMV%+4EqesCyCUhsV_p3*EDNxe=I`!}<tn<Xc8
z7$QI+A}C3=rZcoI5_!sxK2yZPgzC8>37&NOB9>IB-hO1i2mNLtOAw-Gfh4%oL4_<%
zh~92wKY>mzV3maEX&?zM^oRMZs1Utf$bLK>mCtes(Gy1!9O$$>mU@UD7}<}b&*ZWw
zo56Zp3ItoaeXf4EaV;R$)h_gg+}7ViYlD>yO+5|%a18?-y)&2fCAe-~q27kBn9F(+
zT(_uTu#cXS!zvGkZNGTw^C}YFqU7-S36YI{wGD5vbznb{Gr)h@SkP~YtM=)qT`Fa;
zbb{-+3I=HUb~fu5xvo>8-k9!}&9Zw<u4`5>Fr;^0X5Asz)hIO95FOBd4y+jR{TTZm
zF3|-2>HyqJ#^Ea0*ZA2?+GB7w6d`G->TBJcM0#N-R0k=}S%he)2<0zYrXX8TlnV}R
z#QvK_+P7N|&JKL<1ZNm-`xf^vLQvvWY`5wJiM8zR#(G~!@zx?ln{qVIFXd5z-aeC+
z-A%Qx2K&Ubl@OMOk-n47?LpCxX6TRqr!YoP`qNbiLO(>MPa(E`wtbrwDPUh^;cK>f
zcCTb?nA5e9*FyX(9~Hn4n5BC3{do+ZH*1YP<WuEp!q%XFDAXxrxnrqKjWRD0b``E^
zwgW<Da?hIeAJxFG-wn%Oy8KIMV(8fgC;NNe`H~f5D$nvX9O!VQS;)Tx73$`M+#C8C
z^;_x91AKdf5A4J5S2~d)affSu#yG>|_q$aQx5Btz9ylL~$1fhwuKN|?IFN`sMM1K^
z_GE64W&XS_EnX>2xl+LhFU<@uzY>0w5#FN`&G(l+GtIzkzRz5@L|Fw~5uDe(`6*XA
z<2EYiST1J!ugu`-Tui{O;VHS{Sd*K@f%D%_a<iuKWwV6u9n3UmO<}c6jD;N9Tn1f6
zt#B;6pfmIGy|iYbbfqMou`{l$uas;$a%XKCw+!O)iBhYS?To))&9nilnQpLH@UqFr
z6DWi#!}kZ7E3?1CR+-%`$M#f-W@*gabUaqi@U>B7zeYrNSUyw*{m$_<8I!%54r5O5
zoWfw7_-)WRyKc@E?9XgPee0_N??$-*^Uf9zSkpAG(Mtcv3Fo$j>Z;Y)&Xz!e>aX%h
z3zz3&Y66OPWl{Iqvb?#g>#veXi)`#BJ+dV;ncNiFLbGE|@1}E_OWKf_YJH2%qF%!M
z?H#z)SKB>UJ?Y=y^DlV!pQ)bo_7gvaGvap<{h$lLien@HwIPrB5dy1={yw~LQD6IE
z(E^EpwWw|`RsFLnIf*qz6sr`%C2X};g=f0QIY409h%G1a%9@q{3Z~|`%x4zmxMTpQ
zsUv%+C{q92t)jCKeKjG^-iuX*)R~wRgd5lvUp?0cXTpnC;O=vMAYN0__C(ItxcR#!
q6%-rk)n8`|e}navN{avYH!L<TC?+ncSZN6&Dq;cC*2a4{!Ttl{V5S2A

diff --git a/src/soc2cPredef.ml b/src/soc2cPredef.ml
index eb351ce6..0c5cf7eb 100644
--- a/src/soc2cPredef.ml
+++ b/src/soc2cPredef.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 10/07/2017 (at 13:12) by Erwan Jahier> *)
+(* Time-stamp: <modified the 16/05/2019 (at 09:22) by Erwan Jahier> *)
 
 (* A local exception used to check if a predef is supported. 
    The idea is that when gen_call_do is called  with empty lists,
@@ -82,6 +82,9 @@ let (gen_call_do :  Soc.key -> string list -> string list -> string) =
   | "Lustre::div",_,_    -> lstdbin "/"
   | "Lustre::idiv",_,_   -> lstdbin "/"
   | "Lustre::rdiv",_,_   -> lstdbin "/"
+  | "Lustre::slash",_,_  -> lstdbin "/"
+  | "Lustre::islash",_,_ -> lstdbin "/"
+  | "Lustre::rslash",_,_ -> lstdbin "/"
   | "Lustre::minus",_,_  -> lstdbin "-"
   | "Lustre::iminus",_,_ -> lstdbin "-"
   | "Lustre::rminus",_,_ -> lstdbin "-"
diff --git a/test/lus2lic.sum b/test/lus2lic.sum
index 3d51207e..a9f89a59 100644
--- a/test/lus2lic.sum
+++ b/test/lus2lic.sum
@@ -1,5 +1,5 @@
 ==> lus2lic0.sum <==
-Test run by jahier on Tue Apr 30 09:25:01 
+Test run by jahier on Wed May 15 18:03:06 
 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 Tue Apr 30 09:25:02 
+Test run by jahier on Wed May 15 18:03:06 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic1 tests ===
@@ -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 Tue Apr 30 09:25:25 
+Test run by jahier on Thu May 16 09:16:36 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic2 tests ===
@@ -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 Tue Apr 30 09:25:55 
+Test run by jahier on Thu May 16 09:17:14 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic3 tests ===
@@ -1259,7 +1259,7 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
 
 
 ==> lus2lic4.sum <==
-Test run by jahier on Tue Apr 30 09:26:34 
+Test run by jahier on Thu May 16 09:17:54 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic4 tests ===
@@ -1776,14 +1776,14 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
 # of unexpected failures	7
 ===============================
 # 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 30 seconds
-lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 39 seconds
-lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 16 seconds
+lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 0 seconds
+lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 54810 seconds
+lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 38 seconds
+lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 40 seconds
+lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 18 seconds
 * Ref time: 
-56.68user 19.96system 1:49.30elapsed 70%CPU (0avgtext+0avgdata 276932maxresident)k
-0inputs+143192outputs (0major+10996907minor)pagefaults 0swaps
+64.08user 21.45system 15:15:06elapsed 0%CPU (0avgtext+0avgdata 277032maxresident)k
+0inputs+143192outputs (0major+10998297minor)pagefaults 0swaps
 * Quick time (-j 4):
-63.45user 21.52system 1:09.21elapsed 122%CPU (0avgtext+0avgdata 276588maxresident)k
-1896inputs+139552outputs (0major+10753810minor)pagefaults 0swaps
+59.54user 19.53system 1:06.89elapsed 118%CPU (0avgtext+0avgdata 276536maxresident)k
+0inputs+141296outputs (0major+10861295minor)pagefaults 0swaps
-- 
GitLab