From a7a1f31cc2ad5fda64903b7cfe673b886d84a4ef Mon Sep 17 00:00:00 2001 From: AICells <1713699517@qq.com> Date: Sun, 14 Jun 2020 20:19:25 +0800 Subject: [PATCH] =?UTF-8?q?=E6=B5=8B=E8=AF=95=E6=96=B0=E5=A2=9E?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../erlang汇编识别为递归标识符.png | Bin 0 -> 23623 bytes src/testCase/genCfg/testCfg16.erl | 35 ++++++++++++++++++ src/testCase/genCfg/testHand16.erl | 35 ++++++++++++++++++ 3 files changed, 70 insertions(+) create mode 100644 src/docs/picture/erlang汇编识别为递归标识符.png create mode 100644 src/testCase/genCfg/testCfg16.erl create mode 100644 src/testCase/genCfg/testHand16.erl diff --git a/src/docs/picture/erlang汇编识别为递归标识符.png b/src/docs/picture/erlang汇编识别为递归标识符.png new file mode 100644 index 0000000000000000000000000000000000000000..98ecb28ae7d5801e6275ce0a395e6d78ffef13c4 GIT binary patch literal 23623 zcmd?Rg;yNgw>6p&EVxVK5Zv7%xNGAs!5RpzK@JeyLU7l{HE3{cg1dzPfezNV6ZG}D z_q)IM&K)`b!28Ci(W6H18dZC(+Iz3H=A65tHPsa`(Ew;KUcA6mQk2zx@dD`veqM)) z0RP>1=kepk3+fk2vQj#}FORx{qip>A*L_A;dTntH>R;=~V5_s^qd1EdIN;=gmL+wr z5x>Mrx5SWUfL02c-l_W6NZPJ4sOt+BcEIx6_$?fUBch_I-4}W>7OH$3S-%yWQ{h({ z8U7$sP(rk7+AhiVd@Pi!sy9Gys1VzgxRJQ&I=RX5n5r@NsJaoxD9b;&4_v=_%$w>m z4LtEV{@Uys5Mc6~>m~jlkG5ZkPyO`fJ?Sn83>JSnH1SV467y01+;~chbILIld&+bN zQ0+zh)6pRogq88v>pvX5v2S}j#5ntl_Z=eNRt?2`ooCjz{+6E(4@uJ4bJ zMeH1d?*8$yf4%NRg|}YNip6vz|Jf&h8~o~D4bJ$n{X1Wf=zGHR!wmLn?TtCr(IaGO zF|9|l>_(%@yK7QxAV5)%}q@zn8jCTd(=zwiYEH=Ug88HHN=w zK98LQ9M#ly-ut@mG*2)-A5K=~=VJK3`_rp|`^NP>;+CCXLidf^1(AksVBpnNDSIC5 z!^xBWy?M~{RD-VP!}H^Q^0Rkf5_(|gS?=@IkF>-7Kig)3fE3a;=5hP$=Z+v&_j6g8 zTDCtFc{u-hJ$DFnb`t#C{{qFstgE^4_jYhF*G*=A(3QS`pt)V7zU1m5=bh-kyebA) zB18#Zj`NYtS(jkwjwAjmucXBChZFm=odfo4G3c+5yO~X@Cn@%{lb#O;c5^?*WdcU9 zJ?fYE_(^vpS}MGp{yaQFRFtU?&pSJVF19@hCD)(VYKn&@>K+~j7d3bm27(`<1J945 zqBrj!ziTzS-`segaA>HIEJbw)&t`D=IL}u5ctdb%{xoC}gSK9K1|jYYe`tNq?PuRt$Bc=?p+dZgznirZaY%@%5ahm4s3XCCu^zL`Is{l@n1fxso>jUt{G!U9W=V# z=OvliA7}Yb#-z6g98=hmPm>=OMr+J79FkEGB|kh~k-hq)AJo2ab1nxAFI8x@GKQpv$F8|B>;4^>^!gHP`!1$&SFlO?1cSp9P!i)#gTDpXTs)Bwhvh zMxu<IeOv z>5<*DKWPm*Di8^{ys3R24{mS1IUGiPyj}4TIC(T`ZtD(o@v0w5){Y3DrMg{Kk7>fZ zQlbI~4F+juZ~V&?zkN+J{g6GMxNhF@#mrf9&9ny~Ozy;PvSIP_>FI23Tk;|P!2Dq$ zY_I%kE1l};_;@M!x-raGePpLE*KoPCFG%f2wUUf2vtl8QZ83+jkky~(KBrg+Wa^we z=)RRox5pDYhHotP_6(N(Jaae2rWYH$y>q-_0J*h$n)JC2eq2m{M(cU+cV-v#w6pZw z;S&6e-6Q^e%R!Mj#NC7O{aFg7{IC7|S-sJJvB|d&RW%^gma-Nze{_?lscgDqE|Tq$3hy7|PRIq_wD0iZ?`991KTnvym&u=|c^-YRqCXE7*FN|n z?$Ot~Hu>jKJsJL&kKZIxRczKDqd+ebJgiM2z48(L^Yev>5!SbbiK{t4e|A2xDm-=( zWBfS!;{u}k(*)Hweb=PEz5LH3)8y~qX2Rv#`Y-PJzub7&eIGv}BBHynkj$VwGW;@t zm7W5{cRk7=!Miyw^@+;+blAz@_TJuC%G+dKxmm8vGOSdNkd*Q=y$lqYe59MR%bqj? zcGwf4I#kSXIAuZn*Le|2yO_EMA@6q4mFg2P%etf7+Hi&y6tDrW83k=TafXBxc7^Ke;T( zE^4MV??CEo$V}O2wejT(9zQthW2u1vk*uu1q`b$xo05%QmNPk|+s1}n1{kAgAA{bj z3B+@v$c-woG%-_+LnZ`JYC#c1^oEmAWjG1J$5DTp`%fGLf`q7O=Z*OrFgkPcJ)67?u6_*Zv zH?2de#7`DE3d)hwyrQw#sUQEW_FsLl(Pj7E8&uRB^6gb4-%2M_I^OV{UVJO&BHN)F6+M z@*^V}gvJZ@nKG0w))HmFKEW#mFKo>gEKAmLAx#n)(RevMQZf6NArVc8&ZjN z!mWEa|vx20(%t@-oj5RCx;VEbV&da9EW#-l&c2!280` zFS+N^I%US?b&H&ZvhsX~IF$?)4sVI@Rvifd&{nIC3(W<|JHm$@NhLt!$bF;7BrR+kDC;?s(|Y)ww% zpOeR?t+q6!GMTN^bk!*_Qfsr~^O`7$Qh2YVnbmSt2Sc4qq%4FC2S+C zH_o#w_v5FpWzY64O7Dy?*5t+eW4%hflx<848CU!$*J;B^mtnQxsfRYCij+FWrW+;W z$MJR?`3!+br{x7e+}BNjCX7*}ST8LUFRMt?L^?tOH&cV5`)1Rp$Bg~B>umO-i&60D zwyY(1o74Pt_$-QF|F|Z^xfsi%X|rflBu;kc>^qp5PgbvDEb6;M3@xUink~D$fZ7%D zE%)W=_HKs@JJ0sd$6RphVq};l;lqpeZY}3ystvnb*|!>VQp2R`;vB&VKS@8d1yIc%o^x zHAF!1j(Q6=GOraY(65yJhHho4L0>3%hK*57+3r1gi-XW=sa0nWrn*zE$?sp+XKR^e zNK{VZ<;NJn`Z~8Ne>Gx~3zw#xtFuz7y3HDvbm_Aa-lt&E}>G zA3Hv;iUOgTYt=wY>PZfWTUyd%xLrLG*)3BC6cu*%T*Hs=GYM{^KrWRdaH=Z zC#tH%c4~iw&+`)^znjMuG}p?u?@1zl)7% zqOAGq{KzDyiK`#!*S6S4AsoZQ%e%a4IGGOn0YB&Ck38^MA7yEq<6g_m|_(Y~N; zpkj+qd1 zUTtqCq^bKYR>E6^&?i!6Pw#wqezS_kkQj4-M-qaGi@cp=kp%B8fnQOST5&?2fmAA)BLq!r7&IN3 zFJ=_@dyU|blCtaBwYWXd&R#_9q29>9tg^QDWaqhX#dPOmW47q3#^MduF^41c*Uw_m zMbK4=Lf25M_l>0CvZI^(wdL5M(m?D%@$*VRKU&#SlBmi?aTo0RtgkuT=Q`p1nb?Ji z_qVD&m(If0sJ^}rnVq!e)GwUu+m#|;DA2SKXDuS32emW7XDM$R=L>m&!DOXXOa`M;f%>tB8)J+I$|$(I(^(cv+zqz*1QX@%i|D@DU=e zj=H0|92YuvXuLYI8wWOhX(&0&pV>+iz@JLyj8@4^t2O4z6Jo};oR(mA`IDTOxkr!n z)gzB)2{q?SAl}SWmTGkSD!v_9H{T0~Qx47Q8(Xe!{G^ahV6+e!F_qWl<$R@itvPPW z=ZId-^a9ToXtj}}o;2`$cyxB8w6L9Zmcc;TZp8}So~_yqO=|pH6`M1pkB2^O+sU29 zrqZGU;xWEmscd}NWdHO*@Ik@#(xvE$!esfb>~`ZykW!ayDK_}+>q79M5C$11m0hie znBZ@dSzXyMzF7P6W4N(6F(unldMwN03!912vp6OslibVZ!wH?_zr3pr)7;e&U}czVB?RKW%;T&eh*&8mitLvtC~t(4T~67s{I=Ke=6)fgEg(;^QOR z>tHLB>tllYR;4kKWNl4BW-O6c{=OZCu9dTUC>BAD)B~PpPIi$#k#0()Sa0{s4sJ~& z?y%B{gMSqzq#2npoa}B9<{pkQc;Ea{gG-lZ?V{feET#(a-yUH!%qo zqZ1|0GEcJyeB{GW0s|VTJ)3SO6qeE;H(CYAMOQ$ZHy?46AdH}NUXJBmT4ELOS^B22AD_4ZFsQVbB!Jzx7=ROySH&=^NO zcrsTS#quU8$AM_z@xBRT(#1)#j$*2HqdfBV?auVG=ZEHQ>sVmbss_!qAZt`%BVfE} zo@?8p(W*iu>B*8lg`#rAkrR4_mW2fd_Ttewlvfxq)2A`VF>&BlNtOAIDx0RPk|ctQ z5=?OtBhhF{oGT>kY}6;=fv}7yZU{W4J9PI2ytQ_gfTkRmS6&?AmNS7N zD(kc2!fgFSsnADlf6$JA?NEUeb4J7r1RhI`#$@WxESPgQ9p}rvH z>tOeqc-F1Cm}qkq2qn zN4!3s>_)PI;x8+<@XD)YoX~}iPI#JZ&5DUMV?hs;Z_I5U6&DmJ>SC+-i6Epk^=gM3 zR8Ki|oR*h3*i?hd3D`{Qz;HW+%RSQbfDZ~9iLbHmt+ncbC@v>qN8p|ObaryF4#>t-_{7wxigQPv&9>X37!Xs780Vk}9Fl&%ceMRE4 z*4K8^_#BM`7b+qDuTL{ZRQl<9l44?mb~tq$rq*wAph)uUv93z?l{0lK6`^}Nva}4e z8FxIaNY=`c35E^s#^m5x9k$vENUDO}?0HovMwav&5UD!dG#39@DP#GFNLfW`)tvvE z+2-N4v`SAoCMz+R&Kq?(iYjLC1T`-P4;^YQt-Ca(S~|Ra zvr@zeVt++D1l3$nE<~HD`)MGyy83uJQ;bdgp3Af6DH5xdORR3OmQ8FWsJ-f*4#LdK z!uEDdhQ%|+b3Xga?F+^hi@pppF9lKhQjke~%p00UC+^u9j_)O+56-}E3!lG>#VFX# z!((7d)vA?*zI1mWydVS70$El+uZY!maX!)rDMv!QvLD0!%^J&{+D-bx0&48~|C z%Qte&Fl-wW;eZbh^!y4`CldYGAv05dP1yO)bOh}B20Lz!BCKC*u$v2OEY6h&g~w4* zFPu`Ar{^zigk3mA*OknG?_eEXHFpek=N$w(VAD=-kNbF5?2VqU_luh!@~eONRn0C* zB*yA5oUc7jgx{^#!iwV;>LjQC0)RJ(eAm{kGBP8Z-CDc7G`hXR)N;SXnw*6As zEwh;CD46naZFRY=m752{C6-J)ij}{&eeL2%vh6eJV&c`2qYKvYh5y6)=ImZjcb~`4 zwkOot&5OQ%`60%q!HdQ-hjEM5YGtO@Z9fj{3-hY8OT{Zrq0x+64;T-_4?B@I@(!{1 zbc{V9)qaNJXh6B`M7-Cf1@AY@VdX6>m3hS_@UDTUPvg{KjyP%{O`u?ixC$5sd|>*l!yl!2Axa#Yw4_26T+qRZu0PZraswulnz z3O=tdg=p@i&W@jI8qgcJz;bIDMHa?3H6;@TXz`O0=$b{!{MVs1+_lwAqgif5Sqs{q z+>ov7JPF+@i*?xYw7I~jNRt&Qv<>PN8Xhzi)`p#N_A6Q1AEn1i|5C#RrxYEr{G68= zxf|C#`;tPd{O;pG21)am@3M#L*mGac=h2Y~?X37(n=MSh86+Qu2J-|;?CH4!v)cNsr3BIY%&~-bqGWT;7z{~EjkhdUSWr*U3h(>!0*H-R(I09_lubt_ZP#m-mnDxg7Gg7uDx5jq1-T}#JcA*GV|NM`;fS# zkCpzuoA6$m;(ZCLHI+VrgnCOzacG3~Q&k!E}z!~$yGP_%x_sUw_9YeOu%49-#h zT1Ng94%`WD-yh^l#ns%362NFaFDDdZ4XGhIZrK}0jkHOZyi2A^k&>^M!he?G!h&97 zmVSo~xBWHm$&lE>KiD>Feae@mV$T*!jXh5_(zout7wM@Q-plvf*D*lFb-(6WaAzmz zzG`_haBRx^{bo8Y2G-*>2a%((s&x+G)>jiPV?^TG3Ij1%(;ES8J-qm6)tRrV(ZK2g z)JWB64L;dfuGAypI7EX+JFDz?R+nsD@<1q9j(tkCh%JM|xfC=r&I;<}XwoE(I%h$? zfZ~rPpu9>23>A7B>H(b*nv=k0^-8>E4E=h^(r`(@e`^5>3Pd2(vEP7L(0QF2qL~Ug z2sMAHm2!KG5Rzm>oMK7n+EVH`Fw((!?dcr^4Qkcqq&s~_&xeGIKW6Efm%q~wNFSzm zNZRlJTGBGuWU)-(P+e>oWq*vHm?tpd1@XxCAn5`093k`&mp=7CZ+F7GmQH?r{m}V5 z8qazs5mhSfG|vYdR(xSc8K+5yOG^(y#mI^8gD5&E+T3GnRk~R|vVM!!7Q-PO*}Srf zD&Wv$7MEK^( z>5sUdxRm>KwuZQzumoG3HlE%VB({sK$CxK&ayU1Ai;z4U!42>kPxVQAul`=V5ToW^b=yr#Lr}c6>YaJ~fY|mwe$FYG8jG=fw@y0G>)R-HtC?eFGe){hra=~7y&aH>wqsbfg(u(AH1@`n z;xnXQQw+gWlwbvlu(IUgllaMGlhAtp~XHS2P+hB2?Z&67{PdHr9m!4!l;3NWY><2;!XPlUS zDM?TABrsEKJH@!723wO$rOi6ILkgQ@t@U!8=ahdT2s!Z%`>L{extA6`#HgeIqXt(5 zY6c}}iT1Ax|5Ri#+Hx`uDi!FH4*mSEjsI z<^cgoYJpD2iNRJF-AM8S_u1KDCn;L|4_4KitowaS9ZV7rX{0rEK&GmvLOui7+r99| zJyFMqF)~aPeuaaLK^Lgi-5yJ&Zh*FfyY9oLfHG;YjM^?t$dFB5m^2|L`Gf}nHX{g) z3;OkhO&0;>JSG*x3LBzJOho(iKCzpm{6=G6t9E@p%Ch-)%}jQI5?dIj+Z?Z@XXgD4 zV|N3Ar3EH?V<-aJt^I&q+f9|ziF(*N~@Y>bK^pv5 zTy|Y}`Vn)n`E+Un&ttL!;7}^V7d8(<4JqAE1-vUbB_VFQ#hU0r-SSlVeV;^zfc{g3 zm1tF1Fef= z;;>_z^v0;4?f^^3SP8p`a5h@0W%cx4Vg%&J7fw1O*UG;v0|uc^vtKH7Oy2qsg9~hp zEZK?@Mv8r@+(JXwj`&uW#Z9v!Mzv-4bF9ck0JECRINT~{1abQg%FF~aq-9oO4$E8G zt6!`-wLC1dl=-cJzVF@-4$+Pjk7lW{7lj<@(5Pz-|A3>~{MWj%_~wdVTS)c|RvkD# z+AJ`cB5jSlwQFTBohIEMQuJ)OQg)05^DU&UYDsd?Eh>rVDmDVVS4UU!)^wju7?jt$eMett#_W;S3Uls#yP@^|pVaSLZ5fsV(tv=DKl0~Ee~J{GdejPd{h>{d&E z71|rWT|JzSb>=GoKr23wUz^lx1N6kd? zd!>YJzN2pd0W31OA|PC~7S#Tz=^;@>k-+h<^4Ir~9AsqV&)?nV&2*b*F2m8Gh$bmf z|2h-ROu45gyd(sfcliX`@mB#$*U!od!b;2^!pEfllh6F8E;WS zhOT^IqR9#<-ql@0b0K5E|K{dB6ka^vbPF+bms=g{9U^7^^*RSTtEVu{-*zD2G^$k zh5irwoBj{0bo>|kU+!=EUk=|#@?YqG?7!)M?8;h)f1&@?{-*!cemwpQ{V(=6{V!JD zUiuG*|3@of!uL1*&*ygYFZBNfHC+4f|6k)n#u~;N>+4;UEUY@8_XbML#aZl*<^IFuKv%$Tn&(+HK$dFAi+sdvt>69lki=JP@;fgidQQIw`Lu z!+j^qF(WedbhhcUcFGcmhOif9(mV&|Si)L_5Sdry9QVTJ;p7(E^*~Ev}e%iUR_S&ha}0PM!?d9n{N2 zOFZ`WO(WKp|1*lFBYW-cG9(DGpTLq5636e?&Op@L-a<39nH||ydJAtd`U@+is6%92;1|bgKbJl$|l{wbJ?t z(sk6C5fb_2jM2zusJxVSQ$kI8CSzonGGs5ywb;m-$5AU8bPpTA-*k*E%jd0W=yp)fOV$tz^X75bjK4aFA{ZO`Zx;ds(43r;)RAd zd~*b&!9`HvVw~%?ko9uuzAUXX%L0vdpO8*-#^jdC+c-gaPY1T_2RJ@CL=$Z}3Mc&p zeble#XU?r`Qfy3AVqz1GkYB%%e-&8)h&Z$8Ah6_8A0pyobw?;f!-0Kk(u z8W;u0Y#{%+(0MsynM4+8(68QT-uY^*?F+R~mA*7yg+#7$iJB{c1`?2e{^LujJBQL8 zg6zDV>Z~&6&+c)|oQykO#D{?d+_E>Z?V;s!fsi~6J zHlL!W@uo*gEmy*A!M&M$5iyG2N)?^Y|1b8gdk2ZFG<%Q*-r+*vYJ7e%VnQ29wP%6E*SzZq2!M4 z26`L^-@+>3ij{N4Y1QC)p0|TSUO7jL-1_R(C~kTQ#8DQ2QHY4DrRIV^n(n8bSFwOp zbj>>lL}H+sA{9^jCj;3&{OZc_BWj?4TuCvrEz~+ICr6D?8!bZUlVTqzW^ij- zVxR_}N%w{42QMQA;t`Ka_dagCt1aV>`y1;5Ae_Y%8cV}*917=$Eq|_Jcb-YUBsD|0 z6Oef4>{g8!R7+|kt?>dN6gL);92rWYt>RjKrTG&hEcBdmV*UBN{x(vibn%i zf5``1pv)IChjLOQIfJU^Ma{%6W!E)0vq23aVX~Mem>8G)M2YMm^Kl@BR^!HrCF9E- z#_D2@JCxo+Ik5TZ*RE!ZyTJ7k6P`0uktIu%klnV{8?Zf-jH;@QIN$#W5i_EDbB@o) zJu!KFIunvm>KJcDO8Iz0J^Yx^z4*qm$kPD0-QG&TnW+lHsq)@Y7WzW%C`FZNqOuaG z_IA1jZ3OsJS&w2@yJP?Ot1AVb9{L2gOwq-G1hHY0(!ne0B1=P@uV|GnhMJVoZ7-0l z`4JcNrPX7WnPBe@B;%?;Y~`tM3#ub3AX575 za!lUY<1rod+K5rskG+WHWws}?LA=)}Xk3>_6ofjHAx&1gr%H*;FPA-OqTzQeV9|2M zbfB{^Gnp-Oa(dho)zu&79$4(}2?cL$gil5;cazmvBP2Ce)nN9&dn5wGh{46>Oeo7>0NAJiEc@amq~=X!~2}jGWN+! zAr*=#5RJ!WnIZOnG{>|dejD3;lCS_~eBwamiO_8oT6x!mPyj`7ImM9z^xWQ#VozRU zs$jNkaUPuk?Jl*}+kad3dknA~Jz~}wto=T}P`Sc4zk0Sfmc2|{mI7CS2!DIVi6BSr zO=c=T6Yu){v}Od;=%`zoh<|~K%#`AdvK6kEY(2M11e3u_+>$}ie5FjG<-TkQo9IGB zioAx8W^7W8^CQn&>R8q|DUj++fkzy0m{*0H6=KY{P9|yMFJd3$dIV8fHr|{tBwO03 zT^A4PeuO~Qe+7-6uR-BdQkAG+y4G29_NwUpu#e-4x2w2wBXiK{3}ojeQE|5d9JLmg zln83|_k|``_S*@<5((g%8>$UI=bTX@iX3i!Z( z1>(!m@s@@&0yQmXI>Hjm0hbfv0l+E5YtZk>vnSi;_Qy-#n;N;A5OnCaCbT*>l)aWq zP0f=E<1=Xx1rMuqh%aejW>rjV2rrgpa+z9r9U^PVaTeHu-kQ&K^9 zsu?*c)}JgWP9oCHDzJu+3ylH}uA2pK64s5(1OCSNbA|GWNXzc*ooLvxCB3zryW`=6 zCk&DrzIIgBG3;{1JPlJqkCowO3m=v137yz#79Flz*kCjbUYUMeJ)K`Vo$WuKyjX*7 zK1nO_8Ld{&k#6XRYkUvUGOUu&=IB?8!s z${L`mQbhXbM8i081SJr|8f$dKeY;PFA|5Px*0s(5Q{D8cBJSKZiaqQGmmXw-^d>Gt z=@>@w!@%<4o+*@adxM(NK=5CYbzY+tBq5OkuP156zn56X0=4FnVNB&{ik3u3&9?N~ zbVH)D#ue~|(txGekrkX`5Sbp=Xvq2LOmOqI#RCm{`tNs3?Tbj)+9HTK4HE z)aiWky5lTRJ&9^cjUS6`FD57(4gJ{LrmR$M5wJH#`$b8%Cv=xOP2cS6**X;V({wo(Xrbk|6SZ6F&r48{-+P!{V(Go%8wS zk!vqq(!-j}yn~ogBl3;iTL13UrJ8u|^4$03SgG2~c#_C8d*c_Jyk^z3&dd!%^LKoX z;cNV3D;eL+ga(NCBa9@WB%?&EDOaTXP)nQUWA%^1i*Z?m8F_pWGfMHiiF{*)wZt-1 z|EZDJ5O;ji%kIH4H@eLeY5cejyc+Qr{0d?kYK5D8YFbkJXID6v^T(G=;=c`Rs>4vV zeIt7N_%%H;l&?rj2l)1K91r6T6H~*g z_dftnL>FOQAF^33mm&-`u*ib6uFg4~CH?H2>x`Hsb3<)@zU7!Sc;$6~z`#)d;s?-! z@yCk@vQbz3m90CJsn)8su2b~S4CnG1l>}mEIAiJx&)RMKPF}lyorM@wTz##mn`Bw} zCpsNeg1v|4z01O9T<78#B^^SFLS$oMNwLH*pDMqU0xfEOd z>^}kd=>e?Y>Q+ehD;8+)=KOW2Xzz;E^Ac#vM!l8yGXTD)f%IZ97k1&=p6++9oef=q z!9opwTv&_dfjmOjCv%eIST)58C3qLF!SlGFl|>ln(U5XJxVx)S*ktPG z*!!l=zNMQIWz&HsN~5nkDMYzhAPkUzS*V1{mpgg*rH8j-8!PMNpR0Scm`o9t3K~J$ zCEZOU$q~-X=Zt+@6>{f%i%#fi;89d}LRIMj2tSih%l=LG=2x0W2x#K*DJUfH_9eF% zEej#iXWv0;uNdnnp(&npN_lOQXw_Xqxi?nt_nGOG4~dw$;SRN3#mJfcs;cub4=&-Y zCJ&oG%faK;r3C3@@rScH{J$j+K2FAM{?T^NaK19)Gb4)rXQPAQlN6w<_msR0%UB@@ zvbe_2pN&>YkZrZR^N}VCm|HRM#irw%AH|=Gxf^~<)@EmX7R6 zD%eo&D$)MZ)8Q?x#_-8Y>kOlBTveJ<3<7E3NT3PXlxnnyS0a!?#Kw~3L#nB!avqNl z=uIu+4&OUjIY5Z300RT2j872^D9fv|Ngg|BIm=DVteSX5XjxRMU9?5?pG7DTmG7|Z zQmJwHzo0pb+Sg*MD}F8AWXmmIIR{ugAXu3!<=lfLV@wC(hFJ=*pT5!u`+?ioyx zNZO5Ipl|#Ppd)wD-xj?6Hb;9(FWMl=-|fB2Ltz(w#$(#J^v~@%bO=vuQ&AtE|C8(g zW9MMVm}+nS_Sf;myruX5lVkjI&mtWh^&?F>&Hs-n|2T2Yd<{qScqIMJI{qi{{c~?o z931ttlkE@w7tGOy0gmd8J?!}%{o}U(=>iumydC%T^S@w@>6vgyljEXzw>kTtkNrQe zVs8|@UH;8O*`GUSVhcC!|6=3ebvGPyGj&#jdW78 zK!3H6gG<)*j{gG!ZmeJ_qYNO88HlO856yvvNTIN($du2-(zMqxO_b8S=0jfnIsWcF zD<1R_UEXfK0pNARCN}aZf|1Ffbetfw{jbc*6{mj;GET0Lsqx)r3Mwk7jri0y8ZKv; z9pUC`^kwOmiD=%!C}#my1K;d4bU|n}*f}~tH7>Q-_F%6hf>C{lfJD2PFK$8GDyN;q zw3b~?y+zu#LI+?r4i0QLbv+84?xQPnb=VGM`6gDSX-=Ppt2$&cKbjRBVv`;#rr%;C zs_>6F_Y;Ylt1N%}rD1pXupvqq$!F1Z!o9b$Mxia4lizF}=RHeln}44z_GgPKG>d%q z^RPT{t1(Kn6LmDX3=7knYKn&ATIj%8>=vR$?>sfud7ddGJQauN9|bA{s!51FH4gb% z-_%+Xw$+YQP{oR!$XUL5lN13a0kd_DTP*#|n9TMAhK^7|@MiTwkvY4z!q5TZ1#_M- zRD_QI@vG5u{4(q!eRD7HVPSupoS*7B`e5j7FTa*Nm)s#i{AnsyA)1z~j7I$B7XV#F zXj-K2{7f1Ve&jrlbrh`-uQcvd4BfX^NlE0-6``0`mogfXWJ-kUXqZ~HG;1{f19<&6 z6c9p$aM3ZAOcb|t=etG~=Fj_AfhWPt4`3tGq<>kz;?!j!ri(?IU^zCW$=5SWpX-^) z)ec9E#Kipfb?d7K7n3a&Kl;|YDziR!!_`SXkD%PZ%O|}XZ){E~^{ydWgBCq&aT&!I zFUYR{{w{##fMWEe5WkCEtyoRZGwtgTVpa+{7CFXHWhqA_Qak_oIHpPFH?X&|0BNMu zWmC+?kzU&BVo;OrRr1&GRN@{HeZa>V=vRNQz?<92^8%F{53jSDHE0;jzhMUdcY!JZ z^gD^fnOT}~HdWe~T%P@Nr3|k4V{;6(TsvENRakr$yOo$;lt`LQ+GIviX>X=JF{Y}* zN7~$Nw!ywdl`ty*;roSi-vi;rNRBV$|5!F(;%BH^Q2O}IX5*WDG&@t-8zs?-`H0bo zrZ>Gxh-JqbdQ*;)t!mhPA8;Rkd^jNU{#Ce7%i3$q#zgG&yrLP1*-d0bMCRX+jsp{( z^w|ViKM5M!$2hBS#keufT~+BWgS3H6mT40PE6a?nuWZYWoKDr$!Jv;cF{~s=P@4l1 zOaHjH#dO))vbj0%Z9Mm|9H)4hH#^5uSX5mNP4jyahNso}RdBiOK#x=M0kahDSc#(; zUaOnE{16&~I=6LvgZQEp9~RKYjG4E>Qj^P+A6_AVFv4t;e`-$3_gz9N+)mHdA&;wJ z6uaBmq6^2vS7nse=KF3jssCI_-%27}w2c+tFm@t#ZY_}!M%{9RWK~&l{V1g(%2U%C_>}|L< z^)|1%uAgw}aN_B)v8qz5Vp+{i*L)*eqi1wCikhzqy2+|JbZ?~H5F;s;)*lr*flit& z-Hp{yNKO=S7Um$DjQuZ1KR4yRywI;gjZTJW@mnvA$)y|NDr#nN9##(S=DHk$kvhX` zU7znlomCT4m7W=K2mIMNFDrC;oiUFEX@`Yo7EpTnmR5fCzBba0MO3Z7qXRIZ5K_9&#2~ zI^ptzZv#nA#-zIwT{rs3d>A2S(vPV(d}U`xxwy)q@L{96<>1@XPGrXi-oP`p$KSb+ z6QE}Go_kgw*SSRt<~u~3b$#<5eQ~3nFE@8*XMH=xF30>%7x1*DN{^@tbf)511x2#R zy?Q^HoW3zMdfXXd{N}w_Wh}J2#&USg_<5+{e&?tac6im=+M18$vQLYX^D=f|SfBCS9WRfa7aK>Hc6$Fk?D2j9HhFP(#JA4CpDKCh>tp?> z+%@k{wTtT#Ou|;TK4Ex|w}H;-i0<$O`8dOur)}!MewQwQ+Fob`efUKiNz4zcaFXh4=G}OsU%KRYNP~x`~xE5 zrSkTrkQO(&05I&6fF}0vA-Q|vYDsVw&_*`aTIKQ zwm2QqEv_k=VG{^juUVhmaGM<4)Kw54t$Ze!A~{@S6IvKZSZg^p)agApP)OwI;H~w< zDBO?yso99fGd(`4G{#n#V6$SN=~YBRK|)oPX3N0DE2b zzrVdQhdO@GG1YXnbm6Z;J;PWv6XwGsV(}@0-v*HN+VBZSuN+u;P(uNdq{EzpbAn>~BLP*bF%U)Tx7PvcGx(YQ-0yAzj zf6Z}Mg@P13pwMt;ak%I|^ebDqFONrBkopLItSkl4AT6o9I6sTBISN^wxnG1tIj$57 z+kEB6!zrX@2D1z<`#R@fCrQA{KRt%;1h$JRa% z$b!{HyR<~yMaU~=I^l=qq?q}s^3#sh)BU{vk5VsrLpmJI8T+yRdqsX#tjk(=OVEK{ zGvAXduCip%3FH*&W#n~`HkU$}fX-LGPrUp|C-SzJMtp)dFVw9ZCA_BjRww362UEs& zD6|p8uRLT|5hmW&mD=IsTD;eM#X8_ZG@#~vLx~kMLDl`b8xXi&|COb#)^Aele`Q0T zUzm4Kt&$%6ioLHuFXmkVgpJGz#YH=}Kc((wR3-M^?9ZD|^ODytT6vg9+~2otfLx~y zFH`UxP%?BYCMNE^-ktI@d4){mYRw6@KpA})Vp%B!{T^dyDq$xY6+OK67Bw(KSyyg1 z>$#72uChcs>rjkjsLQHpqDDnAw9#n}kwg#%dut-u5s#=tYGqk*fSnOH&$H5DQeWw7 z)0JAzym`m>$l9LnfVOqtifqWJGMSrET<@37o+>5cN7MASGmb!h-}K{N`iD{}9_co# zM=wBq*IcT?vOC#em36%f$-ea!+LPhaSrIB>=ld&=59+57G;u())YYbwSf1iW0PGb;NqTuz|dSAPv zb2k=+Kf&s-clXLZXK_PZd&xF4H<%#2AZin!T*+q(Ij<-&r#`p3yD0n^ob@0dDx8rn z+$$ryQ8fx%%lUq}71{J; z7itt~h`#p6etQAZwvN|#46W^x6{dj+UpH>2MUTZf7WbePBNsO*z9*g7Wi_Aodqvni z$80F2yzg7|3x@gctCKKZ?C?4xJJDMB$+tS@ z2YhPJF9LrU?Hy}v9hwuE3*xmg_HbFsEnsPk#AZ!{4gGI_847?8x5dQYr})W@9T!Uf z-32VGnK?Z1B&#$TGxqlKL1Ia#8+dQgNB?Nt%}v_6{W@WtX}#E#`MTuzs8^GVB1e2j zTJM$uiB`#^SlY8`Rl(95mre}%xPOqzLxOL$UEjWJD7)E*Gx9ucJp!`QkIlma#X8oV zu{tqq5u?W5PSK8QrEbj8YUdauX#VxtFPU;Vz;kk;rq;E{%Nc9uG`c;hv0b{2wOZ;i zDBM1Z?Fk$2>%jEeVzxdfM-NRiPU~u8s;ulKno}PH8Mdu@qgLyR$ym6J{>6VA#HP5r zlP{P@8+Ls4&_CRz?51)VVvXo-_56<2p(jTS8?*StFGW_+_{IN~4k(=q^D)^45h^8x z4pI_RzP6ePQ;r?;GYuN?@h`uPbv~*n71=Ll{W4}Woy#KOxjQ*$F~Jb(jdFl63>r5^ zXdGx2+(t(?ZAUt?t~=@^SAC9(`0VKDD8)S4pG{L94%8}Eg@hlpSUo#u&Qt+Dxmf>g z+yVwD5M98aJeJm0Coc_kc#CZ-peq=8Z+&T)@{VD52E^B}^*u8w!f|m-yW+ke8lc!m zTJ()^lsN8b(0Xlt1o!lWCwPQTd~7$D!2$AawuoUnT31s1!_8;|6|dHl>GgO?4G6mz zcrN{Losz5v@8aG>krnjd3K+XS?dXy6Tx5k?*ObGsz~N#4jm^Zp;OGmJ z;@+@0PUbsI)zsm9mOgA_iMtAjZr^}bs-&%bY49m)G>+&%sTpRP?WF4tJ2pAb4UKP$ z;7G`TIQgk>o2xl(4N_lK16ED6YMu{&@hj>&c3E+}-9nF|iu(Am5)09iVyI!Zrm85% z-qA2d323Fq3tWF>(J+z?wB!3>S64IXi6J;Oc?H_F@G@ z54L){wmobMY6rGIq=vR*-Iok8w{PyTy$-b@1N4}`Kz01rJAm69aBCb$BSKB@VcbAV zVo#i^UCUOc3X0RBr|bH*k_YSFLLQ&suzoJVO*X!gItWc8?opG0$;VWko3*tAH%XhU zJRL#%ttFD$pX<6e;?OSN^s^*wEC1zzkFDgtXfOk&LJZ%ogd~4}J=ke%|$;iv$Fog5C^T z%08QdehQ=`MGo#W1HS4EC0=vO?zd6zdJ=ga&jC3wD}*5-XHO`w*y%M!wx)V|qLPwB zN&K|Q&W2a0KAWfY< zxO-A=VjG{VGTJSISguwEm|e+jd0v-cwH5Gw0&+|+Q_35atS-i{+ zXuH71Z#=0|wx7~ZkP(wT7=_8Wx_Cn%XMRb`!hD>%n_1;PsKV@aT7}u@b*-|;(~^EP zycY&WBbM4L@`$;zt_H#?lCo#S7|Kb$E?RXdq<`(JjLL~+YXOPTl;kJ)ZA%^c>-ru2 zh1Qjn8u@-vApW$MyJ+A+>qc+oroDY&-cB1Fsl?g(8p5E!_}C)&T^xl1iZimB}%}Ff)~xZw&w~#LCwDR{k_oGhd8Y95~&waI3k8>ZMyz*k4z$#p>^muB-B!lh*R|Z8Xa)y8~(FB`h z$eh@WFfR~+hQ3-EIUnj8(B*AZ$@axPX8BjpKQD^Ww6G;+D`^C9&v$lljXSZPVAwgO$rpciwi4n8mJx~pp)BVIx3T@+uW!lEQUb# zGHp$ltBoTrJ9ozI)QEeZ4pr)R{@D?9iN-vM^9eGh)eT;6;15=M2BAi1UvJcmhS6c; z^?F4a%gpZGPQ($KXmVzw0L?hqEH}iO9{!POu0Nkjeuq2NKsEWEGy|V1fvo41YJ(Ig z#LFt83#vns6Pp-nlog+EBv&m=^dn^P701KSJJ(rY`LakgR&kp7%BbF5SqcA5UWe&J zvGY3){+~*YHg|OWzD1`!aovhN6&;)FDG>w4ER9@?xKCv=&uk=!+jm9=VWifyP|M)M zK{8RC}ut!jW=nnt}@Vp`tkM z!oDE0!qEG$5yg%Ric%^tT9{z#>pe= zee0}3XbTDJgC0r6)A>}Al;9h-0W#BE)xzu;s?iO1OsgAExula3D{5E_6^0|il$hGZ zK?N4?qrj*@qBK1edv+&N|BE4~S$AJbi<0WBYAsCoqQbe9JVK~BTR|L!n>AIb^A;+v z`b|3z&}5;oTVp}c;d9oIlfrm;WE$&!@A^?e{@#SCfvRPDTlFDqu=7+zHzUKVo-civ zIe0i{I01FO9h1ZnXt}}6JDdk}m-A7X=u5zun^ z)qUp}QTQHQY5R;;KD=m-&FMXi>3*~cGwB&M+h%q)zUVrL*Eo|{Wy53$(gIFn-jZu^ zK$g1dl3O*aI?tz;Ehh?^U_Py!Q!|M#OA$hJScLZGD8XjJ%C0I}x$S+~6 z#E|c-Dt)i*K8L*TC(X}vv7uq1%Ze$tGOpfm{|r_k)-i|2f}C?eWYF4fWhX<$mTIa& zVK>W#u_-wCj9ktm5)iu6o`4Ii_c}X|W5ciWA*UPnsdn|S8K;c_?{YKqco^dB-us(M z{Vu-w=dLGrJ>}Vt5ETQkLP|=iz}dGq^TSu-{aA=gP^Xst9~`Q#4#1q7kC#->zCD5! zz)*?l9j#pa$Kd2d9uA1XLzxewV!sfL#~63 + 16; +hand({test15, V1, V2, V3, V4, V5, V100}) -> + 15; +hand({test14, V1, V100}) -> + 14; +hand({test13, V1, V2, V100}) -> + 13; +hand({test12, V1, V100}) -> + 12; +hand({test11, V1, V2, V3, V4, V5, V100}) -> + 11; +hand({test10, V1, V100}) -> + 10; +hand({test9, V1, V2, V3, V4, V5, V100}) -> + 9; +hand({test8, V1, V2, V3, V4, V100}) -> + 8; +hand({test7, V1, V2, V100}) -> + 7; +hand({test6, V1, V2, V3, V4, V5, V6, V100}) -> + 6; +hand({test5, V1, V2, V3, V4, V5, V6, V100}) -> + 5; +hand({test4, V1, V2, V3, V4, V5, V6, V100}) -> + 4; +hand({test3, V1, V2, V3, V4, V5, V6, V100}) -> + 3; +hand({test2, V1, V100}) -> + 2; +hand({test1, V1, V2, V3, V100}) -> + 1; +hand(_) -> undefined. \ No newline at end of file diff --git a/src/testCase/genCfg/testHand16.erl b/src/testCase/genCfg/testHand16.erl new file mode 100644 index 0000000..08146f8 --- /dev/null +++ b/src/testCase/genCfg/testHand16.erl @@ -0,0 +1,35 @@ +-module(testHand16). +-compile([export_all, nowarn_function, nowarn_unused_vars, nowarn_export_all]). +hand(test16, {test16, V1, V2, V100}) -> + 16; +hand(test15, {test15, V1, V2, V3, V4, V100}) -> + 15; +hand(test14, {test14, V1, V2, V100}) -> + 14; +hand(test13, {test13, V1, V2, V3, V4, V5, V100}) -> + 13; +hand(test12, {test12, V1, V2, V100}) -> + 12; +hand(test11, {test11, V1, V2, V3, V4, V5, V100}) -> + 11; +hand(test10, {test10, V1, V2, V3, V4, V5, V100}) -> + 10; +hand(test9, {test9, V1, V2, V3, V4, V5, V6, V100}) -> + 9; +hand(test8, {test8, V1, V2, V3, V4, V100}) -> + 8; +hand(test7, {test7, V1, V2, V3, V100}) -> + 7; +hand(test6, {test6, V1, V100}) -> + 6; +hand(test5, {test5, V1, V2, V3, V100}) -> + 5; +hand(test4, {test4, V1, V100}) -> + 4; +hand(test3, {test3, V1, V2, V3, V100}) -> + 3; +hand(test2, {test2, V1, V100}) -> + 2; +hand(test1, {test1, V1, V2, V3, V4, V5, V6, V100}) -> + 1; +hand(_, _) -> undefined. \ No newline at end of file