From 755cb41fea6a8d5f61a68b37b2cb4af1bd867fda Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Wikle=20DUBARD?= <loic97429@gmail.com>
Date: Sat, 4 May 2019 15:05:01 +0200
Subject: [PATCH] test make_list_index
---
src/.main.ml.swo | Bin 0 -> 16384 bytes
src/.main.ml.swp | Bin 20480 -> 16384 bytes
src/.tests.ml.swo | Bin 0 -> 20480 bytes
src/.tests.ml.swp | Bin 16384 -> 16384 bytes
src/tests.ml | 117 ++++++++++++++++++++++++++++++++++++++++++++--
5 files changed, 113 insertions(+), 4 deletions(-)
create mode 100644 src/.main.ml.swo
create mode 100644 src/.tests.ml.swo
diff --git a/src/.main.ml.swo b/src/.main.ml.swo
new file mode 100644
index 0000000000000000000000000000000000000000..53a5604a7f95c0e97265fcd4f3943164df02e097
GIT binary patch
literal 16384
zcmeI2TZ|-C8OMu@B6q|XBL+P*tX)0K&d$toon<yF>~dX}WtaP~j5XC~W)53j)mxWg
zLpB&6G%@i-c_4;M@RGpD13ZzS;)AV5qYoxNm<WlOpox<3;EN%K=<hqHs=In-kR?Q8
zOjYLJJzaIK|L=0X@9SQgzUP+P)iqNy9@hn)_u9R`dT?9kBCmUz=cP%K%kB5Ojs}r=
zzc%vxF&S{j-Xtt~I?l5l`{K+Py`!Hd59@q~=`Sy4vpcdh+|dh6Jk^U%X3VBd!$8Bp
zNib04%iFIx*V{QeGcBzzZC#>1apB!3(XnaLFwij2Fwij2Fwij2Fwij2FwijY|H44t
zKh^sZn>n@I(9!b!lnw8c1MIb@e6N!8s$F@zd21MG7-$%17-$%17-$%17-$%17-$%1
z7-$%182BG#An1DD0_(a|3IKfnU*-Srp6_{Yg5QE4gLUv-@E!0BI0O!WYr!_~DR4G;
z^E}V{0~mmxfKP%So$GmbfZM>W;7ah$IiB}3@F2Jhc;KIBd)_a>FTnHQIq-Gxac}`R
z2fTci=RFLT!JXhL@L6y=`16^b_c*u%>;iM(YVg;OdEU3cRbUo;8vNr7&-)AbIrttp
z2KwM)@Pm&s4|oPV0w%#9KjL|BfY-rSz?Z>Mum{Y5)4&f;r!RN~On?sfJopX8lV5|E
z!4u#ypuv6MUT_yU1-y$4{sdkHPlB(3FM|8QUT_1r9&~^Y+Cb#i0{_9wpHPe*>0Cu7
z%k^TK6gr!i*SWccBRo=Ec|R*3hpR!lYnQ!gV*4h~PbgZaYWr@L>s~)wWVk%lN~_Cl
z*R<Af;fOSwws&OKREKVOHLrR>9<HiLJ!0}zHEiM5B@@#m>qjPE%<|O4D=JeaR(9=f
z+A!($g1D=BFi-!94p4h^oE0o)j;ZpbNMo%c?bfMc9qKF#437uTs;I4dCd*6`E5?Wd
zH5`wB`qAL|oRK|$!f~RbOsnaV3;V$=t7yKxudVV`9jhzt25Juumk(y_0~-6ZKG0St
zPDr<d?T+iWv$mm<$LND^r_WBe-jHLcAEdd_5llpONB+czxb_a#mx{b3t-l&T%<P94
z4!Jps4_h%$g-IL+xoWkPpUutrL#g;?GVLhe2{l#O)WY-;6)Vx*PDix2Q%Yx~o}zJn
zHW_zdG*5##ivonIZ6B1$O6G)eI@)SkNr-~hr;IwT^|-ov`go}Ox#-R<algp#F<mXQ
zZ`8qls^hLGU^-aOiYRAaqHAp<os_kQcr7vSrG7z{C7~ItYlYM>Tvc9H%{J5Jm$!Ps
zQLX&htGBap(X_d_*1ncyXwuy+iIUMoF=KU|nz^D>$oCmGRw!|OM8~2q9mBHN?P8uR
z8tn48npR=Ob!oUmA(RhBhKm74re}~(x1B(3j~}AtgLP$9J6ugnW>UpZ%`o1B!rTF+
zGrX9#QwCu^c%CQi+uQ0`VIbM*{mf39<!tVt5IFJ;C_}d}o4SWgpt71L;NvptXa((@
zgs7Wp%WHcik4i2|S;>r(;G4^5I*Q%x+NG3NHML3_iE~5(0nFi~#E+O-3#XWAV6d?3
zgYFG*%SN^Hug-g>rT46S>-f}$ky9uhX={C$y21|Cc@9d~L`ApmqcXFR^SB+Tevqlb
zx`-=>nl;|LSerOiVaodDR3jMcm=R9`_k-_?ET>gaD9og1bgF`WUq_{58S-uw;25kA
zo(niL(s0!cICS*fkegy-VUcELP0LRbt(A36h&~l#IueYnO{GH@FQT#XlQq{&q;l$^
zxNRq;{T!ZCsa_koBXRAq@`n#(j1DJKd7a?Itfb92G`7+ndNaA>$J<d9H$>?K{Rj_e
zk7noLI-QyZ)z#w=(}@$Z6WRrr`oaC$0gJAQl}@|aWsS}*?Xhf6%M_D!PF2m<^rjmB
zJ#+>)=iFFLZK^I-Wt<|2d07+231hr#EO=`C(5{Z`vb~s}$<&%otun0yg$NoQbR1&Z
z)uV2TPF0T%ww=GURw0|5R|{>`-qrpBxE|a9_JV!jMsO3j8QcPH1-F6y;C65T+yM@P
zJHa7v7~BQ!2KRt_!F}L<@Id<rEcp}N!TPd^%?95gr(K_LCSTMMj!F3(&6&nuav=B}
zjxcH9Psqwg%}^{e$w@R{-V-Y?6(uHiic~CTAF_{^7K1p~aU5imW3f|zHRYVPN^OU>
z9~rOo_63HQhO}4=vd|dir#k2^MuzB#MY*HWEhlraSZkkn;zz|7<oY<o6Hqy)icKSB
zeh0jg2E88r5h+JqjOjjHWMM%M*&7Z6huRnCS_GD(OFC+IOJYq~U~MC;Qs_$fMX{Uv
zgDfsidP}UR+jg{Q+|;wG$PG~@{zm4rbc|%ceo_3<NnUe|`!_nqg&PACNwC=(TVU%*
zsq&>;!<(8FnB*_j+{-WlwhjY@H3vMOvx1R}+>c9jK9RMHvy_lDN%8%oK9k~JGmWQ!
z$b!Mq3K1Be!t$Wd*_0T<o}sJcNacBP+^r~6gv#RTMV8o3PBa~)U2&Kr`5}x$RV2-N
z!=&iTp)2dj#LwHaA||>_?f<ofyIs>?+Q{in!omMpZF%LRau-vg!U3zBR#hky>39VV
z&s=O*hHTcqRV`MSfXo2@C_UX_>tYh?VM%Hf7mm-U-SbMGh{VO=NqZyy(CWaLxsXwe
zRA6&LG1^RhFJY1*TvVE~FP8(KK*EV+Av;n<a1&*W*p*0hPEGIJ&fo0x%(dbNZ#3bm
z5Gke>ntl+;&1DnmIjqP1jGh}ok*_8xo%bh$7elqTSVCyX*^~T#jokH{<hYXm@8M0Z
zZ=dgZPlID%30w+V;1X~#c!9kBIq+3*6F3i?0bV1we*y$x0x0k|a{D*H32+g(5WG$<
z{~Gu`_#Jo*JPIBF3Y-Q0PEP+4=z|1A;B(+J;H5J???vzexEbsPli+P~`?tUg;3@C`
zxD32QUjHOG47P!{+3#E6r{GoaG<XU;0fdWhfaYo#Xc%Z1Xc+i!G9X7UCoV7cwJNME
z+N#m4>Xku3RaYy|cR8S4v>>4$5j3TMM>XLnIfKhhyjnF<hF2=%=zVBdEUG4;y?(@Y
z)Qm()Vw91&ZvMnU3C5SFY;?P<THCr0#x2)YLUGrsdbN@1a6oEGE@g5na|J2m`nvVI
z@+x<>7)KUNXzNR4Vv8lRS5`<WK#*o*m&~Q3e(P}SA>ReR5(cwg*R=CcRt4wP3gul^
zN!812s(Nj`5UI1eq|@dS5~U5-EsRyYY{ep%iiJ#2t(nA}vZC!Uw&#*>x0{lHe^Y9!
z1Qv}AQX^zT{jH`cu_G~F+U<5xhK#+kp0%G1O;z_Cq4843hJ2Me&XRgBP10dhjT(i_
zwNg<}s>dq?vy#qKo#p>bN7@#NVu}39id7&r3#gJRM--@~Bqlg7(-4WuiGj*MbhD02
zL8#2tXPho91V`NB$5VJ}05%#9s1s})#?=!7LT7AHba?`)IcuVzBpE{$lB=9VhN#}9
zBT`AT6%^j6zq9ByqGe+L!Fn`Uw@(5IH-}2?;&Dr~RB)(xmNkoEdBj<WR2F<AMUGrD
z-C_TcX4x=(Sf41>vKn((ERk`vD~K>sZ5US(DMS8R6~ukVU>n*QNCd`oh1A*_Tzv}>
zNid}YTQ(g^YRuqe8C1iz)*AQKLs`FY#V|4~5-~}6LQx1?ed$sPwnZw6Vr9i_C=_Wx
z*~3!p)^7bnk8eSG&i<Trku6EZ*SR@vN#!+CVa2d~X`(h=PG+z{nOLjq7||7^oXN=?
zQYzM1KO&O?X5K0FueJygr+YS>VN8}X@XQs}$jj6?x0(o7F&yV4=Wv2{Zgpfu;yoQZ
zA{g;&<#$Z3O6u0=5-{OoLexlV$dwGpd!@Uis1$F)Ai~(Kyv($e4NNrvb!h1}$^ysQ
z*Ueu<SoP{v1?#SMLo2_mXC;Ml<*SZNvuwYhvZL5yD*0eojj^G08YR@lY_?vjpW3#V
zr{WTBdhjqhWkv#ViemKuN!w52>z%SlN7sPP<3(jD>etSTnkKr#NV<-l3bc1xWly#(
z6Kkm+*5qIvrnL|My{v+Yx_G5XysWq`gHuK*{iw)P8uY0wilGflQlay>mK3X^_Up?n
zb|!vhvpFFG=SJbQI>m4^mFjI}ez0Eug0u3#ql0BwGp*|pL{YNNR5Ex4Z{e!xa*B*q
RutVo75Q`i!&X3T@`xn0%uz~;p
literal 0
HcmV?d00001
diff --git a/src/.main.ml.swp b/src/.main.ml.swp
index c009b3db6b016b66dc3426586b056e5266320297..34d5878009e44404920fe5d97996ed8e289c0a39 100644
GIT binary patch
delta 720
zcmXZZPe_w-9LMqRvpw#=KAV@OvU=26Z9Eq}EXd2yMcyI|N<-)mdC0*uqDh2Xhk~Gk
z&vqCx6$inD9a=mvP^nWyK?iR^8mvP>2_AwFiCFJP`@xIn`#k)9&+~mg-~5`A&nt^z
z&lf}FUM6$jtVCa>-e{Ubaw6h@y=ID`;E9m)_(qcduW4%{Sk=tBUeML{>pbkY_Xm%*
z>)D(HL|T544|tDtRPh`k1Q9^PCvq3lxQql&LdAElND-GXjPp2$pB|AVBrt?7{Beu?
zz&pHf)BhaBEF#!+@gb}t3j<%<M4H&e6FkNYk{E;&TPkO<fjD9~jcvmChz3enz#Uw}
zRa|kBl0xy9OupeY%6Ntwm_Q1n7(onYaRzpdeGaoSWwkCSJ}YW8ow)}zQ=n-(UtWE*
zDw@a&=5P!B=tD0esCAGyp5h`p;KoinP2(ow(D93DHSq}D=)^A5*}-Q&X?~(uz(Y(z
zhYtsgsg7A>kj5$Wpw6gXqJ}Y~U|^qd?V*NcOd^UyCRN5b2C&Z$@8PX0Oo9|ESVjqU
U8m7xq)cH2+cf#*2Zuj2)2bFDTlmGw#
delta 1132
zcmXxjT}V@L7{~Ev?p5bDb&&;Pr;;MdC@gD|4lNeFNz1wsBZiJFDwn#1qPALPH@&!_
zB`mNvRvAGo%8Lw&6f&YHsY!}@Re?cWEYOSA_tYGGc%E|x=luV_=YN7hO|VCEWuD2j
zM5MW?skP%q(W6bzZ8oh0L?i?1uOO0}lfPQ`|3cj9T9~eybk(M7MY<k|J91*Su%feE
zGm8{ub35nXvy`@gnJXJc_$PrrJVg`>p`ZYRSt7@A3?8_!5_9l7Q{)!*VH>t$GiFR8
z_uxVmmcfi^qsS*bHnO?XG(i+&$iR#65bfB2UwV<Bm_jEyZ~{9~2|M19$Piwm3=WiH
zf+R*Uh!`%xk4EfAgLaEZE{z3ALVk;0bi;=O*o_+Of&=TZ4kZ{S^7lw+BocKt#1}70
zWX@NVL*7=!*Vyc7@hatt-{<o-*Q<TJXvKs!Fv)_GY)qZO?1YAGA_F*&b2y72tjNN5
ztH^yE#X(eH#v<|x7ZJi9Y{WRzJPALXs6aW&Fli?7F~-@C5Dudjc6?-%AMg%ma0+(h
z!HQl+8pCC{Q4K3njI<x^sKXy7`2-i>Mm3f~ff!juirvp3X^3ldU-j{DsW~&?X<**W
zEJ{3TG_!|$l<j}P9o&W*O$d$nK@3y)hA>>HLNW57Ml^w!Xu@*jV=n9%WHD+?dD+Bb
zrAZRQXAIybg4luWm?nZQgrR;3H87!{2%e!29_)pB`U_yeIFVdM7dl~p9vOH*BzF-u
z)`_&x)S?n=P=Zw$BdQU+KsVaph5B`@g@OergdRF*ks`?+MD@g6rHfp5)^k8LS$_c|
Cm7yE}
diff --git a/src/.tests.ml.swo b/src/.tests.ml.swo
new file mode 100644
index 0000000000000000000000000000000000000000..16f2b38f9a012e7c1505f9246b4b151d71156b3d
GIT binary patch
literal 20480
zcmeI3Ym6IL6~}K0k0hlfrCI^y%VpbOd$pVOc;6XqMACJdO_NPnJ0WBfxf6RfJH#Gu
zJ>!r<3IdvfP!R~J;tQ_^J`@Q^3!)%I5GYhdpz;BgwgL$n(MSkIN<Toq01f|h@65Hw
zuk~wJ2+c@8d+wd<bM8HJ&wZWUQ}Lto2l@04jp5qH*wrsQf8yKkzl-HIF;*%TUCLhT
zI%DLmwaU=*PmsXTxnj0lFm2ZvP1=rSnWL+v;zvw()LLE6IEhiGlpS?V$8~lT^6dx>
z%Y+sPEwHu)%I@;W^lfY`p~b22-GlGrcfRw;+P@1+gcb-b5LzI#Kxl!`0-*&$3xpO3
zE%1M10e5v1`y^U}?Y_9Cz3&<C`xfu}P2P8^$@4dR`AP5l^WL}r`!{aN>u8hTd)eVv
zXo1iIp#?$<gcb-b5LzI#Kxl!`0-*&$3xpO3EwBz2FmjB&fzACgZQv3A_xJZddIw`4
z2ggAg>;yAlJGcjI2LHUBu^)mnKm*&rR`A+wjNJf#0)GV0fKP!bFbOt;P2lR=8T&PO
z7W@ia1YZKnU;zB>R>r;$z6dUWb07y!fF-aSd;r`Hwt(yw#!i7TkN^W<6L?`WV_ydM
zfjhu9aN})^T?2msFMwZwAA@JWH^Dc+*TL7od9WYMgMDBe+zLMPR>nRJPJtOP^cKcq
zAPNS+b=Z{bngaKO{a_Zn2mBicE`JAq1uufj;3@C~I0q)d4ZN2hfW1HicYxP%pz;8|
zJH4!B9?cdD1;fsn+zO<k+Hlla&0B89aZ9Zp*{69S*6^ndGo?K7qZlt0%Vvzv^1%hV
zlH#*+mprVlq_|HGa(BhFd33d8+3qqQTsAECggqGJW>30$`Y}~p*0XmpZA+*r7)S;Z
z)vqz|z)J-3MB(}z)eG#?EgzyE&?^m;Q9UP+D{Ivt%kOV}?;m-`<k6C0;cMPLi$6`u
zrSa!PF<obVUrO3%i<ZfAWnM5H$2e{B$aW{PgRVhdK*7A}@&a|%<U(qGJ~@ai#yV|-
z*Twy=?SIP-q#QursE6VPAL_a4a)G>R4-#Ia1PJjpDeAQ~S<2n$riHWh)0hX6DV{u*
zUfi8dE-ofhX&@}ykzuP0BivE6%QK?1IOS|mi}oB^*njBAqU;}j@8aUxTeP#TRkZn%
z8g--Aa9$3CCoz(tPeq6558XHh<OXH<P>jZSDv@zZhVA4H*UV@<F-5(Rbf8OfaYG4T
zJ0y!dQ@lBG8xx->!z*|4alMyF$yB!C@T=EVCu)yqv5H)Jm#VfrYm|(vtH%E50n2fB
z*zO9?<0cc7#iNO-5xYv1-=cKM$d#=UIcYY+jk9K!=M5o~Tejs|M&9&XSE|z)Ri7?$
zW3LLcT<NBn$WsOZJj$pj>TU0edyN+UUxJ=s4Pktn&oVWP(C;{}yy&WSi|ToAnNg{w
z=wNbiI3ClZgA2IP#0}jg<Q?6PdAD>w?%z{lLM13QSxHfHswzq8>FP9P%mgwhN0asN
z1}JhP<at#JX8N@Y=8B5ej3C2WT`ox#0;-BCO_e-VA(e$3QE5K|Y0)Y#jihL_Od=&L
zB2q{QV^IS4!iw_Ns~s|Bm2e|kjPH2tq&Ma_>Xx%`)3oQNwQrbQRP>STic!kA#f*j3
z)wx<H6&-*&f#0KjAH`y(;-yre;z!~^oqIAWL{|&vtgT7|2MrYAah|PssPI81bl}6U
zFnpoBdgVJMLyTw`uksPJ)XHKG_1rRt0jjB6)_5c))~=l~P<82$oH4w<^E|^xcJX?X
zo#%Uu+`V`|7>UdhmGN8UEh*VYEq8^vrH7(oz{sF_0WC04#EAF<4v)t0n$#HJn;}xR
zy`kpHlNhQjx$uB-@XHpqLB;*rNSjwilVBYz?<J|3!|#%fi;2lYj$Xxb$u>)wMAgJ0
zd!4VCR@MGYQqut&ETdH4kX^8TeXe5y5ObDNEPG%@G|drFS3c&E!x4Wl_O}R)rU`oH
z@F?boiX6WIX;0Ml9A7S4j%RO^J0|)hb<o59+D=X}vO5Mwd|or;tGZ*rNB;^msCo+C
zP)llPKTWn33j{5>(1|7GWE*3&|9=<O8Fx~k9{Ybk{{J8B?_UMK2baN<;39YeJPtk!
z9tAcifH^P#UdR6bIq+3*7CZ=2U?-RYlYoQoVgJ7qJcoUL8eGNx-3I^K%Gl??0Jw;~
z`zZJs_UrTDMeMn=;5F>E9|l{&SFq2%2Rw~E^)B#R?3<5)YuF=~z)iI4G4Kdj0Y?C}
zbsKm$Wd9j*p9T+rNg&-&e74=c7P{?UVnHF-a5M#x)};uK=#kxE54ac1fh5=q?gRV4
zJlGHJ2M54GumBE$!{CEp5u`vG905nchrluLVQ@Th(pPyL$&FE~RLUA`gj%Jt((v_G
zt5gQ<y`E~7%KF#5UTT%f#=UDj)GC$DJ9WR+DwVB$sh?_<%C%j%Uuu=g_C}6=s8uT4
zAFz5=t5kM2PWGZ!sqB1s?pCc*+1;$rjasF$`^l(NwMu1gb6_WGmCD|y-geb0mHnCV
z+fl1j_HUuFmRhB<zw4V;YL&|VFRPlVRVvqKHP=Y3Qn`MM$Xc~Z<@&B&tJNx%>%V07
z)hd-6vr;FuO6A6^)V&P?ouO8a#l$vzc4@5>mqqN>k6PGzw{_a0jsmcO9pg(U#i=Zv
zvZxIh9l!ad%C;%bV$MQ=Jos&KisJt&i=$hrygEPO{sBsD2|7CQ6_1FEN{WMoyunvj
z48)Z*`QU^t&++}@v*Mad?m3d?a|m{%5#&h8Oj(eb=d$LiI7F)oO`-a%xQbxsVG-*@
zQlt(VmQ9cN5LF4EIRpUsPCgbNiI0yY;@S*l?zOTj7S6SDI3A&63WqY6t-QHYCh5QE
zkz<tIm0}6MK2W@JDa+@|r;Jh#C!1pbkL@_yh5az?|C9Kl>n8T{zXQ*MOW<K(0@~w0
ziyxH1cJK%6;V*y*a1HzT$3YVO1AF;zfkki&cnbUZ47eR!#=bib-V1(%J@-Q(3SPqA
z{!uUiUd7)274UQLT`&ZGiGBVBkOTX`eP9@D1}|gp{}T8KxBwmjr@;gm2X}$%I2U*s
zTmnNN2DX4#a8B@3Fa%;C3I@P+*u(<MK-fo`#{XQ!<wd9EOWr%bQ2X9z<%{P$5I#)c
z$g4W$E@PlA!s97ToxradAMa<#t~&lnrxP-I@6{#g)hd~atDFQflc@xqxg!^$xMXT<
zK@<=V;>eIU_!9u}6s1wFd9=TIYv}OHkDI}u;|&d}T)F+2Z#!X1=o@ROk1T`+qW$Vh
z%Gm4wK#bDwt@I|V16Ng6w1*2ZHAd2SqC%5sGCdS0%gqFN@i^;aW`^brjJZZoSc3u-
zLun?@8=Ivt8p17}4+?BlqGc5yESvefnW4FW=W(cRDS2W-sCz5|I#g}clkAZx7-wYb
zOd0K|I#>7OIoxlLJX&YM-1v~E#dRTy%6V?%u#OnW>-9DW?9|n*X6ELVqjg~bFXT!C
zPvuGFHzJzVG%ic!C;;SOzNT1^JZq;Itq6D^FacxAsTwPRydjnmB4UJ>22)ur%
zUoAS0bxOr?D|M-^WrJh;;HiCG>nU2R&Q%kWdSXIPjO&RpJ(188nx2U3+KjGE>)MpA
zP3qc&u8r&3n64#sP1CiwKBG_TQ~IPnp^xkMk*?`+Ju&I8!}=o)l~MwGubXV564+x)
zmBEz2UhJl%!Td^K*KeU(8eXOn*xfs=k%q3}3+$$c)JsE0Qvy5fZw;lP+bV$__1<RE
z-~>uw`@YaZ8eB>VY}2z^OM`<df$jL|n$qCzO5mDa-;Oj49!g;AF{Djt7>bm@79&#o
z(lD?ofz8IZj-+9j^aVB^EjyK_D@SQG_I55!SAJ4Il6NCbS8h@}FLWnOS6&jFWxAE7
zD<`R*v$~h2D<7%MfW1i5m5ccEX>Zc>iie2VxmRhrauAy9dzYq@e*_Ov<g#j(FEw5F
hs+Ekl#Kb~1xJ*?A{6#2AR4=4Y*v*bE62YSj_Fom_(is2%
literal 0
HcmV?d00001
diff --git a/src/.tests.ml.swp b/src/.tests.ml.swp
index 01958b360a204e56c8820bc68704b55951b4dcad..6a3ef196f6df3a463adf1906d11263a06dc9083a 100644
GIT binary patch
literal 16384
zcmeI2OKclO7{`aw7llGasd!wNrmeiL^01w@d044Lngjw#8X6~*JY;Rx8+nPnc6Zll
zc@%_%pob#S1LDGkN{Av+A%sAHKtifS4^=r-f&&N%Bsg(s0l@_o_|MGltnI{h9(IIa
zSNg>}v$OM`{dQ;O`(|=1GBG$zJ6od!$2LMPoVYywn{prdu9*-kmvdNltz%Bj7`4i<
z>(8<Z+xl`^A*-8?-PUi~hM~9Rt=tp3(`MvnlXk4lwzM`!w;j7Rn^{VwL7Bh;fdy(?
zpy155bZ#AQk3}P_@UEtvbo-s-weJf`1QrM^5Lh6vKwyEu0)Yhr3j`JjEbyPPfRkTG
zp2O3ubDyZw{k^H|_hvWkMGReK*WG0B6IdXyKwyEu0)Yhr3j`JjED%^Aus~pezyg5<
z0t@^LEuf|dxf|`;&H{ey|9kQOjXMbW5nKhIf%D)Tcmuo&UIH%y6J$Xj*a7~yosdi5
zbubT(gE7zzI=}%y!G*2J1D9?iBmsW76?K6>w-9m~>;UI(A*2m_x|xtc@bxA_G;n<*
zA*a9=@Y)7Kc7ylU6LJt-#zMtW@Dmm^Ebup;>kN1Sq`^2~&w3ZAa8UQiTZZY((xybN
zV41o__oV1-&ai1pHEo*FsjcHTrPI(zsFfW}REc%8nBh2K6&SPBJQ$%)S~saeNk(_5
zrE8S^YeUizH729fq&<`upNWgxrb09n4?O^S!6DEG`oREr5Ih71!NcGYFa(Cd2sjKz
z!K2^^7y}6~4ko~3;3#+;OonDW$w?&FMpjCS7OaJ=l=L6G(Xvvq)ZUGhm68izbE9OX
z<l<jfBV?sy<&V1FvQn~oU#h39l&sx_>m@5Cmo{?LLsm*IeZX3+tdv~dIJp{GDY^XN
zd8M*aa%Ho^N@S(v$|s}c%1X)A&4J62m6EHUdY39ICF?WeFGW^L*3Z$XB`YQC>)%w9
zm6G*$t18J#$;Nndi^)pK#yOGYvQo0KzH70plx)1q?8!>Wwei%Mtdv|EPu&d=Slp5^
zSj@r#7b{oL?Vc$@5Uo5zleFa^wN%5_>7Y4}e*#Y>PzV=}pxA_g&<NMPC~8(UoN2R(
zoG_d;ajYj5gisEu=%H>j#NsI0PN!z5fru$g!^FFl)hbIBOr5f3(0K@mxC@Q(in7Ry
z(t(_*IY!Q;Q(oN~A}w~;44Q!A%3jJVMH9<Q(7nEJ3qM#%9_VFMnop~E+NiiNZHn4F
z@g9Ek_4ke^XkY&rP4tf?#zdwlNc5AMp64wqG8o!Ja(RS_qdee5lBb4M!(^A}Ue+Z1
zO{tDfyJ>r*C9<z27KwJT%mG778wgHQy3J!tn`O=#8NFL1*?-X^M=dz%oQ1oGau?s#
zXkX!&YNcQX!s365xcL>t&@BG<_V+(PEdMl^1PRa$y1*W=8*B!@BaVL`%z-G_2DX6f
zi0iL`Z^1X<L-0IEf?===Tt&?PCYS?5pcm{1JHfr+9`F~|18#ut!54sHP2hfT9cu#D
zz*X=$I13Jg_25ga6I=oBfOFt=a2A{b4zR%tm<Cf|5_Ex0U?cbn>kFTNm%$lefkU7d
z>;}JL&EXet1)K+Ofzx0DjDt?F5o`cI!=@jDj{vuCg$0KoJFq}tf&Y~S@)Zwv(NRnr
z1A`;wGf9s-m3Wg*`HZLKvRT!{#HJX{nQ-Z(=dg*?D-ffK*_;it$))1->6NWmnPD1^
zftmj)J;}TT%(CjL>ho4cd1Y+UHfW}53y&A{Ovazq`K&JTxU+)0HTV-L{bZ6gwOZS<
z>YR88ltg)Ur}P$hwX%Tjm#9{uqi6GWQku|~wei<bezkT@@RuA*rx{rfZxwT4xR7@l
z6?xyrv{}i6iIsXV@{VPHO^}yQ=znqim0`lg_m*@lte0otyI{FH*1<g*sD$HjvGC0l
z{q{Bymew<HvJ`#_&&NIdGjVx=<B9LsD=Svry=q<8GrpiXirEqk`}JbUUXiV(nrf*U
z7VY6RhT)|uL-@X1O($LC4*P}0%D-QgC!Mg=RKdVo3+>TDRGr5TKt>h*tJ`&4AJ&x<
zEAs3yn0M?pp@&Ls?)eHa?k4jmF4<}*+i55=KK2?a_jLbJwBj*?*FU8+^*1#~!f~Z(
z1Se5`!p>sijGeZ-r|f*6cg_;~WrC#+_$ij`C`z()XK|Wkbd_YVoTzBWh&))H+a#IC
z3wo_9&E*XpEk0NU3vyW|ub`-;RPys!7H^QuLJn`Vmw_~YDmRTJe`t|Jid%%Ikl@B*
z37m5)ic`0B$P`V&34dbzM#608h<z+<$P`hU|1Nvr;>%IO`xG!Dvd@SOIJ`$_Y1P7(
zlo-^?J1PGF@HsB%qv7IS$_n@&KkuIlx+h_U*iof(mN#XQ4q8%#M%;(tJ(Tah5w3wh
zUKhl!TOoh(ZA;~G7sjhh2m`#K>3r{wbxX0KSD{;$^+=2aEAEUXP4_ncyk?4K`;lu&
zVN8Q1-O_)nix=bLuNdy!t;Sf<*ek|QPZ<7$9E{7}p|ap5`US*WRJ>Z;F*Z!&7(@B6
zFNMWR^zUTDtm1{;*sgT9O{<Qy?1Q!8u!M_-Yfm~+YkzihrTeonu|Mn1V{+5hpT*YH
bl2JTAo3AQa63Zv<%usF4axKaG3aa`C^wY?y
delta 731
zcmXxhT}V@L7{~GFY^$7ZZD}T?=vhwL2IdBB&bOMdpok!$ge+KE=R&fqwoEG6=%y&h
z#=nxf2nz2kRvZxPLhR*cEbF41pd3aQT|^PyIIyViF8agg@Z+54;hg6=nT(dnX!>w)
zVDElCx;-Quw@7iYaMbJHDiy6F=f=iT*@xa|@foWo<}a)6&~~Uz?k0PCxtP;tcDf5L
z=Of}xjSKx0=-uf$mq=-&NFEO`fg}#02c3vw8*)zWA@2|wz}G5~Gx$>}avgP;wu^)?
zUm>y&A2)~?SXnQUh6DH3iL}DBNm^nykwvS>Aih~dQqWNT%)>m}jW~R$#RuwcpdUd5
z;D!rp^cAs$=a|D3?&1<I;usR>L(Jk8X&}_&H!oa65leWDSGccbJ-T|*mNfr*b~#n7
z{Y`q6LEkfYd5!-!Tw;-*k;hf^z=AI<?h{^O0go|*NnA!3R#@sBrjW%2jAIx>h@%#p
zQR9>&Qcd{DANYZ{DBvk_xP#jm$9eSQ073|&2GuArz$(gvyh9FGs!Yu`U8!z`{Wf19
zWe}RwWH_L{hwD`|(x|RQbhQ|1Y4imS8p)J?YUreq7#&HbjKs+46UKx-svi&dMV;+v
jP%k=Yi8ia*-WJtIws&n&%iYc9a<6Vt=FX6cd-nVTgLH>F
diff --git a/src/tests.ml b/src/tests.ml
index 607e622..e2460cd 100644
--- a/src/tests.ml
+++ b/src/tests.ml
@@ -11,7 +11,7 @@ open Printf;;
exception InvalidTest;;
printf "======DEBUT DES TESTS======\n";;
-printf "------Tests de la phase 1------\n";;
+printf "------Tests de la phase 1------\n\n";;
(* Test de tourner c n roue *)
printf " Fonction [tourner c n roue]\n";;
printf "Test tourner une roue vide.....";;
@@ -73,27 +73,136 @@ let rec test_tourner_2 n =
test_tourner_2 27;;
+(*Test de char_to_index i c roue *)
+printf " Fonction [char_to_index i c roue]\n";;
+printf "indice d'un caractère invalide 'a' dans la roue initiale.....";;
+
+try( let _ = char_to_index 0 'a' roue in () )
+with
+| BadCharacter -> printf "fait\n"
+| _ -> raise InvalidTest
+;;
+
+let rec test_char_to_index_1 n =
+ if n>0 then (
+ let c = List.nth roue (27-n) in (
+ printf "recupération de l'indice de '%c' dans la roue initiale....." c;
+ if (char_to_index 0 c roue) = (27-n)
+ then (printf "fait\n";test_char_to_index_1 (n-1))
+ else raise InvalidTest
+ )
+ ) else (
+ printf "\n"
+ );;
+
+test_char_to_index_1 27;;
+
(*Test de translate c roue*)
+let list_test_translate =
+ [("E",0);("NE",1);("NNE",2);("NNNE",3);("NNNNE",4);("NNNNNE",5);("NNNNNNE",6);("NNNNNNNE",7);("NNNNNNNNE",8);("NNNNNNNNNE",9);("NNNNNNNNNNE",10);("NNNNNNNNNNNE",11);("NNNNNNNNNNNNE",12);("NNNNNNNNNNNNNE",13);("PPPPPPPPPPPPPE",13);("PPPPPPPPPPPPE",12);("PPPPPPPPPPPE",11);("PPPPPPPPPPE",10);("PPPPPPPPPE",9);("PPPPPPPPE",8);("PPPPPPPE",7);("PPPPPPE",6);("PPPPPE",5);("PPPPE",4);("PPPE",3);("PPE",2);("PE",1);("E",0)];;
+
printf " Fonction [translate c roue]\n";;
+let rec test_translate_1 n =
+ if n>0 then (
+ let caract = List.nth roue (27-n) in (
+ printf "Traduire '%c' avec la roue initiale....." caract;
+ if (translate caract roue) = (List.nth list_test_translate (27-n))
+ then (printf "fait\n";test_translate_1 (n-1))
+
+ else (raise InvalidTest)
+ )
+ )
+ else (
+ printf "\n"
+ );;
+
+test_translate_1 27;;
-(*Test de char_to_index i c roue *)
(*test de commande (i,l) roue *)
+printf " Fonction [commande (i,l) roue]\n";;
+
+
+let m = "BONJOUR";;
+printf "Envoie du message '%s'....." m;;
+if (commande (1,(split_string m)) roue) = "NNENNNNNNNNNNNNNEPEPPPPENNNNNENNNNNNEPPPE" then (printf "fait\n") else (raise InvalidTest);;
-(*Test de temps_lettre l*)
+let m = "LES EXTRATERRESTRES";;
+printf "Envoie du message '%s'....." m;;
+if (commande (1,(split_string m)) roue) = "NNNNNNNNNNNNEPPPPPPPEPPPPPPPPPPPPPENNNNNNNNENNNNNEPPPPPPPPEPPPPEPPENNNNNNNNNNEPPPPPPPPENNNNNNNNNNNNENNNNNNNNNNNNNEEPPPPPPPPPPPPPEPPPPPPPPPPPPPENEPPEPPPPPPPPPPPPPEPPPPPPPPPPPPPE" then (printf "fait\n") else (raise InvalidTest);;
-(*test temps_commande s*)
+
+let m = "ENSIIE";;
+printf "Envoie du message '%s'....." m;;
+if (commande (1,(split_string m)) roue) = "NNNNNENNNNNNNNNENNNNNEPPPPPPPPPPEEPPPPE" then (printf "fait\n") else (raise InvalidTest);;
+
+printf "\n------Tests de la phase 2------\n\n";;
(*Test make_liste_index l c*)
+printf " Fonction [make_list_index l c]\n";;
+let list_test_index = [
+ [0;26;25;24;23;22;21;20;19;18;17;16;15;14;13;12;11;10;9;8;7;6;5;4;3;2;1;0];
+ [1;0;26;25;24;23;22;21;20;19;18;17;16;15;14;13;12;11;10;9;8;7;6;5;4;3;2;1];
+ [2;1;0;26;25;24;23;22;21;20;19;18;17;16;15;14;13;12;11;10;9;8;7;6;5;4;3;2];
+ [3;2;1;0;26;25;24;23;22;21;20;19;18;17;16;15;14;13;12;11;10;9;8;7;6;5;4;3];
+ [4;3;2;1;0;26;25;24;23;22;21;20;19;18;17;16;15;14;13;12;11;10;9;8;7;6;5;4];
+ [5;4;3;2;1;0;26;25;24;23;22;21;20;19;18;17;16;15;14;13;12;11;10;9;8;7;6;5];
+ [6;5;4;3;2;1;0;26;25;24;23;22;21;20;19;18;17;16;15;14;13;12;11;10;9;8;7;6];
+ [7;6;5;4;3;2;1;0;26;25;24;23;22;21;20;19;18;17;16;15;14;13;12;11;10;9;8;7];
+ [8;7;6;5;4;3;2;1;0;26;25;24;23;22;21;20;19;18;17;16;15;14;13;12;11;10;9;8];
+ [9;8;7;6;5;4;3;2;1;0;26;25;24;23;22;21;20;19;18;17;16;15;14;13;12;11;10;9];
+ [10;9;8;7;6;5;4;3;2;1;0;26;25;24;23;22;21;20;19;18;17;16;15;14;13;12;11;10];
+ [11;10;9;8;7;6;5;4;3;2;1;0;26;25;24;23;22;21;20;19;18;17;16;15;14;13;12;11];
+ [12;11;10;9;8;7;6;5;4;3;2;1;0;26;25;24;23;22;21;20;19;18;17;16;15;14;13;12];
+ [13;12;11;10;9;8;7;6;5;4;3;2;1;0;26;25;24;23;22;21;20;19;18;17;16;15;14;13];
+ [14;13;12;11;10;9;8;7;6;5;4;3;2;1;0;26;25;24;23;22;21;20;19;18;17;16;15;14];
+ [15;14;13;12;11;10;9;8;7;6;5;4;3;2;1;0;26;25;24;23;22;21;20;19;18;17;16;15];
+ [16;15;14;13;12;11;10;9;8;7;6;5;4;3;2;1;0;26;25;24;23;22;21;20;19;18;17;16];
+ [17;16;15;14;13;12;11;10;9;8;7;6;5;4;3;2;1;0;26;25;24;23;22;21;20;19;18;17];
+ [18;17;16;15;14;13;12;11;10;9;8;7;6;5;4;3;2;1;0;26;25;24;23;22;21;20;19;18];
+ [19;18;17;16;15;14;13;12;11;10;9;8;7;6;5;4;3;2;1;0;26;25;24;23;22;21;20;19];
+ [20;19;18;17;16;15;14;13;12;11;10;9;8;7;6;5;4;3;2;1;0;26;25;24;23;22;21;20];
+ [21;20;19;18;17;16;15;14;13;12;11;10;9;8;7;6;5;4;3;2;1;0;26;25;24;23;22;21];
+ [22;21;20;19;18;17;16;15;14;13;12;11;10;9;8;7;6;5;4;3;2;1;0;26;25;24;23;22];
+ [23;22;21;20;19;18;17;16;15;14;13;12;11;10;9;8;7;6;5;4;3;2;1;0;26;25;24;23];
+ [24;23;22;21;20;19;18;17;16;15;14;13;12;11;10;9;8;7;6;5;4;3;2;1;0;26;25;24];
+ [25;24;23;22;21;20;19;18;17;16;15;14;13;12;11;10;9;8;7;6;5;4;3;2;1;0;26;25];
+ [26;25;24;23;22;21;20;19;18;17;16;15;14;13;12;11;10;9;8;7;6;5;4;3;2;1;0;26];
+];;
+let rec test_make_liste_index n =
+ if n>0 then (
+ printf "liste des indices de '%c' dans chaque roue de la liste de toutes les roues possible....." (List.nth roue (27-n));
+ if (make_liste_index list_test_roues (List.nth roue (27-n))) = (List.nth list_test_index (27-n))
+ then (printf "fait\n"; test_make_liste_index (n-1))
+ else (raise InvalidTest)
+ ) else ( printf "\n");;
+test_make_liste_index 27;;
(*Test quelle_roue l c index_init*)
+printf " Fonction [quelle_roue l c i]\n";;
(*test tourner_list c n i l *)
+printf " Fonction [tourner_list c n i l]\n";;
(*test initialize_list n a*)
+printf " Fonction [initialize_list n a]\n";;
(*test commande2 (n,m) *)
+printf " Fonction [commande2 (n,m)]\n";;
+let m = "BONJOUR";;
+printf "Envoie du message '%s'....." m;;
+if (commande2 (3,(split_string m))) = "NNES1PPPPPPPPPPPPEPEPPPPENNNNNENNNNNNEPPPE" then (printf "fait\n") else (raise InvalidTest);;
+
+let m = "LES EXTRATERRESTRES";;
+printf "Envoie du message '%s'....." m;;
+if (commande2 (4,(split_string m))) =
+ "NNNNNNNNNNNNES1NNNNNES0NNNNNNNES2ES1ES2PPPES0NEPPES3NES0NNES1ES0PPEES1ES0NENEPPES1ES0NE" then (printf "fait\n") else (raise InvalidTest);;
+
+let m = "ENSIIE";;
+printf "Envoie du message '%s'....." m;;
+if (commande2 (2,(split_string m))) = "NNNNNENNNNNNNNNENNNNNES1NNNNNNNNNEEPPPPE" then (printf "fait\n") else (raise InvalidTest);;
+
printf "======FIN DES TESTS=======\n";;
--
GitLab