From 6da9bc5e85c70742527c20f01f314a18cf17f795 Mon Sep 17 00:00:00 2001 From: Matthias Koefferlein Date: Fri, 25 Jan 2019 21:38:45 +0100 Subject: [PATCH] Updated tests after switching to boolean core. --- src/db/unit_tests/dbHierProcessorTests.cc | 8 ++++---- testdata/algo/device_extract_au1_flat.gds | Bin 0 -> 78534 bytes testdata/algo/hlp10.oas | Bin 607 -> 635 bytes testdata/algo/hlp13.oas | Bin 0 -> 470 bytes testdata/algo/hlp14.oas | Bin 0 -> 526 bytes testdata/algo/hlp3.oas | Bin 968 -> 937 bytes testdata/algo/hlp4.oas | Bin 984 -> 957 bytes testdata/algo/hlp5.oas | Bin 1141 -> 1098 bytes testdata/algo/hlp6.oas | Bin 1819 -> 2671 bytes testdata/algo/hlp8.oas | Bin 1286 -> 1275 bytes 10 files changed, 4 insertions(+), 4 deletions(-) create mode 100644 testdata/algo/device_extract_au1_flat.gds create mode 100644 testdata/algo/hlp13.oas create mode 100644 testdata/algo/hlp14.oas diff --git a/src/db/unit_tests/dbHierProcessorTests.cc b/src/db/unit_tests/dbHierProcessorTests.cc index 217acfc6b..97ff2dfce 100644 --- a/src/db/unit_tests/dbHierProcessorTests.cc +++ b/src/db/unit_tests/dbHierProcessorTests.cc @@ -704,13 +704,13 @@ TEST(TwoInputsNot5) TEST(TwoInputsAnd6) { // Extreme variants (copy, vanishing), AND - run_test_bool2 (_this, "hlp6.oas", TMAnd, 100); + run_test_bool2 (_this, "hlp6.oas", TMAnd, 120); } TEST(TwoInputsNot6) { // Extreme variants (copy, vanishing), NOT - run_test_bool2 (_this, "hlp6.oas", TMNot, 101); + run_test_bool2 (_this, "hlp6.oas", TMNot, 121); } TEST(TwoInputsAnd7) @@ -844,13 +844,13 @@ TEST(TwoInputsNotWithSize5) TEST(TwoInputsAndWithSize6) { // Extreme variants (copy, vanishing), AND - run_test_bool2_with_size (_this, "hlp6.oas", TMAnd, 1500, 102); + run_test_bool2_with_size (_this, "hlp6.oas", TMAnd, 1500, 122); } TEST(TwoInputsNotWithSize6) { // Extreme variants (copy, vanishing), NOT - run_test_bool2_with_size (_this, "hlp6.oas", TMNot, 1500, 103); + run_test_bool2_with_size (_this, "hlp6.oas", TMNot, 1500, 123); } TEST(TwoInputsAndWithSize7) diff --git a/testdata/algo/device_extract_au1_flat.gds b/testdata/algo/device_extract_au1_flat.gds new file mode 100644 index 0000000000000000000000000000000000000000..1dc09360f3a9067942bd0a5ebeb10323bd831ad2 GIT binary patch literal 78534 zcmd6wf2>|bx$ocZU3Y)&meOAoXiI4e7FtT_4+``LZ7GzNQc7DY)ZHHkj4>xl2pD1- zBnHvkdlYj5#y_}d2zt)FIf60ZHAXpv05L{^Ys46H{1F4hKMWWGCnxuCD80{Tp80mx zynSc(yWbb$HEBNh%=)fpo>}wEtXXTnYg$9Cfq|P_^TrKKc&#cKw@9VDn>HmD|@@+r5_|gAyaDQvwN6NYxLqof--hX88j@{dDIC5ay zwpMHW#8zu)>OkvPt)XcH=4tu#!4oImf3ww^G}}4+i&ksg%vMX3ebVgK_|rS;O}i1j z6Wx^CTn}Zh>1RIR$3gV7pGrg@%ZvW!|H1VT{ldXS^s&6CUwV=2A^HpVC8CezMg6MJ zyB?xn^X)|RvAn3?@RI8x`c3a7qL1Z8{r35;hv;`)m54r;7xg!O#`O^WzK0Ug$MT~7 z+iIfoPRAIppW`_(V~mHUVIzubj9|NZJ$FLM77|Eu3m#D6R=`tMi2@lN*-@xN(zBK~7}(SN`C?a#S?i2rN9m5BdX zUi9Cue(wzT5AnbEuZj4NPK#M{}BI&HYMUemKXi^r}uGh%1-C-`9A)MvQODr zAOCcmbfWBKy~X~j&DlGh=ot4z**{D@;~Rb;ei{En*=zp$)iZwK2jZ9UPn5mpzh6D$ z7k(gq8UIAtYySJyGk)O*;+OGHl)dJ^Up?a&ejt7s|3ukq{`=K4e&Gk=m+?=Oz2?7P zJ>wUCAbuJDMA>Wp`_(gk;RoWE@lTY!=D!F1%h~WlS&Ll{(apB! z2qOAe-i$xOie@|%ZvJr zx49mo-*hMueJn5Pw?E~2i2m9q64A%mmBR#}m=V@}hoZpX(v|L)RywkL3lu z_q!?Uox^Lr|B13sSzqseRv!8xI{Kd|dreRO;y8$o{wK;_)6>5=4x*#~iL%%9^e>Ks z=;(i<>@_|8i{l_V`kyF!O;7*gIEaq^C(2&a)4w94o?avVhevHzPWdrki_t1rhv^tWD{ zD7*9%TGcluvzl*AcI;k$&DO#@kDGsJK4-UDkZ0ZppHGzC*t}-1q&|<%-nX3R`fVK!}-hgH{Ijr&+b#<_(xi;BeN1^Hx{m+`?dIj|7p|RzbJcK{Ec@W zt=28pF41ep=Zs5f06pcdKLAzeBb*&?9~5bc~jq5Gg$jQWbO17=Y%iW^?ShDFH-iQ zuVn4t&|AM*jovxoOIH7j&^u*s(>La9^J{a&&}Jw3cJOnikCc6Av-=-q&Y07jGj6zP z|MDC5U1g18lUduFcF%HV2SzJqjiY}_l)W}41eQ!lcUdWh5yyRoUyvgF8Jo+Xg%IQp4HvLu!_^^GjC@}*>nlk7P9 zBhyF9ZVdXdWQpBbS)wettaFy^x3Pe1fMm&mhZAM5Wy$^rtW_;b(32hLow5fuqi)JL8e_aNL84leY+e{jlPzc)e8y$O2mN%;E-r|f|h|9+Lw zb5DU@3}c+xjZJ+vO5C){vcyIM$S84OTB7X6ir(7S>V4BH9~}-%OO(AfO5m5#05Uq@ zUzEKzN}yvjfQ%04McLa%iR|9sz@2vetT@y8CVGp*BK5Mu;0;PL$o)j6WM;(2>cI z%tkNDUdwQFWHKB+-}R#GwG7|)n6>XQYd<4*{rhe8Aj)38`!~OjTl-mt?|$6kzQ_9C zEK&BrX8hR*5%hMA(UW25ou&)+z>40FM^C1r7dcNnZ&824QSX1SQ~!(QK|e~yXLrAG zUSHRFUf;RVYHisK$@X1#1x49w^ZL$>)+(0u=*f2UPT2#SQD<3y-S2(egp7}S-b!RV zjparCp1XW>V64as)&qU^P--}!1QWGy6X zuX`qutc~T(`e#|Y^HpnKiyJa(T=z_(?6pyY^ON0>Y{$PSdoAnHk=>ANM=#1=%lci5 zd|rpl>$~1h9D3OPzn3@T&$4#sBNo49{mw_M-R`mD$BVKDcG8D={klEY{+6i_J^f9j z|8ZWCEav!1+YkjiJ7yWO>`XZk?y&`gYqK&u~a)U$Z!o z43Fi_7Ru)JZF8&zEyFpE%tr5&J+P_IGJMBXo=N-#^q^%JBZX7;dWNCr&Ko_MjovAH zVA=n$`CDUpBjf5$Ykg7n+PscmG8vND_!nibW%#zoJi{Rwe)YYHWOyuZ)<4VeZI4;| zTHKHfzxv)p*=rfj`N?ERX5(L!y_VtV$Ye-nqZehbW%!Q0*8az={fx}#J69yiUYpmq zjad96=HLF2Ay>a3${yHkzifmE`ukl^W}|nSF4zMrdiRHaG8Mf@ePX?e`m3$a(9fXy zohZBd-zXX1XDCcqXv3L4fKo_=$*0$R{VR`qbJ+Zi)20a zTGnrV(AvlRLb7(t?TND2vUc->K59TljV-q)GHS%~X8p5KgL1MPlI`e4*=t#kj_ihH zJ9<&}TGns*mCx&N!rk^B@_UKQ>#@99|14`a@3Qu@?A*M|;iL%$`^(%%ge#`JHhOOQ1G5?l5PT2#S?U#)ZK|kVpG7P=b zbip22(fjfECsWajoCmuyHuj&~|Fhozt}u4$f7sRkM#=b2^ZMG(S-o)kf2^k+Z>`7!ijparC`d2)=8EwdRen;t) zy`J^xPYl`BGCiXWdZ+Ax75|>~=*f2UB3X~Umi3ozZH26dWc|7YiDZ2&Z~D)&{?e`1 zzE*EYwy%rt_@V5ztmph>HzeEfFUnradURwrB-_!8ve&YH-F-fqK|e~Cx6SLTY}n{DuU~AfN+v@x{E{yw%3jOxi|sEj z$Z+&zHhQP*fz61s3}5qY&qRJPJ!l!qNa2*do}uW;Q1oObdZ+C53|(Wb%=`@*SJ(bJ zQFe{1o#u7?lF5+F#=j_gEyGt1c!onVeB~b#$?#a-Y`-kSR}NVFTHKHfU-`#G*=rfj z`N?ERX5(L!y_VtV$Ye-nqZehbW%!yWt^JQ#`x%+n*M2Qg_S(FD@zWN+W!%Mo2mNCdyvR`eoN!t60{fC)?3GWe;pdon`&hq%PfmOZT?T687&_*5fP9JqRzm-??p7r=A+tG_;J@#7GFMHdw z9+LITUrr?JV|mkmmi5ctw)VBSAz8mXzP*F8*Rr1TliiSP$G<3hE$h*d-H>cYFUnra z`ioZiybhVyS4>M}UXSI?__M5C7T>-td)(UX9y@-PXz|-<5X(F1!+pW>qt^bWf#~UP zBK?o^iexe87wNAn>=;q!sofWFKJ<{$f%A#78$*3Z$?~>&eWeW>o#yrP?5dE-kj(z* z>O|RV8GhdRA%laS%tr5&J+RrrS%zP@&ohxPsgR+J6i(Ue8H%0^MNej;cgkMR&Els&N7e%S~S^mfhBliBEmgaccyglbwX9!w+*-xvb@XIAdZ+Ax&8V}iUu2oa zxCt2_Kl=Sd*^Nd0M^}4xGun{tOD_^-uV+1aRs-l6ZO}Vq53Kn2tVd6_qZi3~?6s^v z_c70UNY*d9H<7H5JvK}4T4as)& zqU^P-U-YWa>yUYU@iU1-58L^?ycxf;Hq6V5tj%p6Z9%e?ek9U=&K>do1o?}l@*9%h^Il7oy_Vl+{l?<4{6E|ypI z%&tnNPj!?2j1VH&QqJ!&xr5(IA8E%=X2WivW$=A zo$4D#8Px+aI#3^xdd2dfA0^B4S-tSrGt0}4abq! z=$*0$HuYJ4&wk4Dkgu+imy8om+3Wd*Ar#esM={( z$1iyd$!q+Jve)wa^cmJZ7B?inPycJ8?6v$peTMZ*%VS7>pZ?cG*^SNi&+;1`c?`*G z^rGyw{6+NAHw9uo-oh^;6&TQ5Q~l+P)!XnIkeP z$MT|n#zQ_jFxoI$@Qr4t?15E1qXv3L3-nGOH8{VOSM;9s=*f2UB3X~Umi1EytbMHB zkgT5?-<(0&Ygs>apcS$nlJ!&nm`K*g@@DQTAHaqa(W^*^XY6y_WUU zw)(6Nnbl8QkT~?PwWXIg>#wX0v-;FKEdE*M*GRU~Uqt%Pu=OdCES$E)vlP_&Ex(5@wRkMQ(UaHcow5fuk0E)De^K^YexoCgA$g5nl)aYUQ|`3(KW67JGOG{oPL#bis}J2{ z@mpRES+0?16J8f(4{Wxd#)pt^K|kVp@(aDwbip22(fjfECr{CfoCmw|HQp6w{wJ*T z{s%ktzgQmpkCN~0-vqK>u6NG)fvHv}%Xvu7k3TC>_FB#lOtm(#oJUWtqj$<4*le>b z=La9RcG+)n8yRCKKAR}Jv8bPTmFG5N&7kEx`#Lyfujf2^o&%z1tU>RTJ+R{6>T5ZV zo?J&S%3jO)fhVnf%r7Ko2jg2aD0?ku2cGmX12Sd|el3wPBbGPopN$!mliQG7M=#1= z%XxIaXsJV zM(;FTu)~_(kH`P8ol8XvX^HOH}n?GMvjB7<8Br`ch_zYZ1%WJKl1@Uj@2zXo^d&4 zuj}Xk!H?saH#**YIc2ZwmtN$@@g^J{fA`{)y{=#Nc|VT7kVD7c$vS1P>o>gQ$MKi* z==hzCQ}()k`+Prc`+V2&yIS=8&X@L&<;C{D@iTrLzqCik_cole2Nv}o|5rbbFYusa zXC$ZWr|7d0=fs0nZX+J#j;3{cqU^O1uYbLdnC#5N9T7V-iHw-oYa^zY`*G5Vqw6hi zUJd6DM90n~qWM*Mv;7J?+nVyxk{1lPG(+{avTyxPD{R&sydFA^O?V5;<=y zFUCJ>mA4K z&OpQoiJP5;MA>WC|8MPo^1-W>u0{+~t1HvF9oHhxo@{i=Q2N@B{J7&OD;*#-jhF&$}Op-wW({jEMhOUevFi>HZ;p z+1W?Le=M))-T!KP@{Zp%Qxoxzy%s+^0^tYZmz{w`*=zA{yv_YX{BJsxi2qn#tpE0> zTo2J-`$Qu8SYFY4{n?p_db2Z;Nd2+b>d%fu90$>{Gm$8JUGMeZJLvV^dpwc)W3RRU z$UfIY;y-kKBKlZfjGrBms3)Y}?2IJJ-d6wY`|IO>YyRz?lO2x6*&2o&jhwOvHvKpB z?5IS!@2rH5ot2!j*Yxas6w1R6Na)xZ$tinXf9B`>ICe%t$IeJj+3WhnKl9_*0SO&D zBROTS>sQS6-vw~?8mV)5;}H9a>}0cqr5R09va%VWcT$q>|2ulqOtL=!rtcC*up!J zW1F(xfVW2D~>I<-VIt3Rwr!&TjrU)5hV_u1*;sy6ih|6NsL zJ$Y3dHMM>__N&^^cZl?FcU7(b?%lC_`wcd6OtwFToiVig>itK8^>U7Mk<}v=Q?~cdi=UUV8m^r7O%SM(?Uh}hE+VPl9XX_k8ezwcHKHKV! zM`mri-vRXsFzRqQ@woc!g~3Ycht*wJe!q=-o%}lXB4{_*#9(+x0TXg z%B5WMaw)yITuMJJm(pL#rDQ;<)O%B@)c)e_S)`?S$$&;_xYqHmHDo5&x>inG*UGup zwQ~AOt({A{Aw?=~;<#97M;8 zRFu6}PRsM`aZYsW_YU1#S% z`MV_a)C0<1^FQf;`f73gbSM=@&J$~E2DUQ7s zfBQ}XoBqw~vFYEuUa`FB|MH)@e~5qdBJs!aqJG1l-Oq+UyWjS`N@96M@BY!_w|%b^ z?6vsYcSzcCq1R)_gCr6pBumIe%tq!jpY@+`$v!8 z_PuSf*W$nVhwlI8AG-fTKNn>WEc!=BoDl!$McHfqKmHr{^YP!f-}W7-V|md(I{ZNV zw(o!)%Y%NB-KN<3V=&(T4V^n+_h}PP=qkM85*Xs#FR zJ}#ax5ZA&lj3q8q#09&L>!aWIxOj@xeOw$(T(JANc=AA87yfcAaiJnE*nM29S{@fq zi@J}CqlpW49~Vz_h->Y_vBZUnxM25jZP?>+@ocX9xWc|F78mS3E}mo&*OhmSB`#FN z1-p;ynnyh@o*Q-_7e{lwVE1wH1dzCPJUf=SP!SjGKCV4)d0czm8cSRpOGbwB`#FN1-p;y{y)>QjI7da}IW z|HO&^9I>GGJ10Et_dKHPZQq2*{P*xphfLqYcW83`a=W@~>^{TT={p|rJ2Qp&P5U_U zJ10Et_eP@ZwfKAZ&Q(_b9=@)Z>+P>?iGK`V$IJ9ReCI3E_we=3Oy9#dgEM^(-~7$= zJ$$`1)A#UA@l4;tP6)Yvo?rh9jr9Lz_b1XXup5j0pKoZ>&msLj+?z$pUhDttg~GFH z_B3Jq>SC{zto}Xh(3I;x?eVWM5`PyvG-di8_L|A`J?sIO>3i6@GS}O+;yQ0K5`Pyv zPiA`dJmWe;u79}Ki|T%KJWEB_`KJfFBuRAUp65ASYE9Eq1XI4zI=f0@E=6k1Iv1wzlrmZk@%0yN|e18 z|AFNmKP3Kej~Pk)u{`)6wnP1S(;VJ<+usZLU97#296EDo$8H~GPd&=cywd)SderG( z=;kQCE|e*01J-g$g_*V_ua%JJQ- zG3-uvik|nHW7wT8)AQ?Z{6oIu#jnpr+1tMNbBZ4S==qKpdQo;`v+sZ4deu|)7GMcHfD z|AWx0o~pMfd#(OG?8~0DAA0;i{BF5DQTCeuZI8JgqQCmyMD($|m_L-$&X9ITFUnqP z|LxDYe~5p+9w6dBmKXg~jvt6$^rGye`PXsMiL#HTS3Om4QFddo{ySgw`a}F)_e>)G zV|i7NACAK>dQtY8|J`qU`$Kd$yqt(WmKXg~PCX&@M=#1=Yd^l4fFFo|zMde;UaLPk z{6PGo7iAyKzmAhmlzlY4>Zy8*ve)W=(<-k&#P5M=iTID@#rCHhKM=p@McHfqZ`ta4 zi0YLd2T}G~{n6nE;upOr`)K}koOGh>qv=&o z)mxOkR{taSdHo@Nj~-6Me=IMyKjrv=_(dN|^~?4#-RT}6FoQIx&h zezq=o(EUT|&DYOF{Cjz6{Pc4Ca2)N2UX*<_|2j@OQTEaFs;BBL%3f|i`{mt}e*MSr zJ=$#kN5^%B`0e6*xS4+FIoCtJOBrWv|u$jJ;leNWHt*IVx*E zbohbz?PBMuOy9$PccZy8*ve)X*{_fNhQtvMIdC%Gp9eyBwyVz$w)6ZIE_e=+U z{N$@?jGvXuzyCMD7&$E{TR3K1M$oFCCXm&f5u+-5Aol{&Vh~k z`+cLnl8fIizP{V0$3N$B|6P1NxS{v^Hsa*|4gX#2htQ_?_{XpxL#FRxztuLqUq8lw z>d$_sB5`4_UB4c_9-H}R{KgN&Zx>&W&Gg(iqKD|a`1*01-rIi+UoXz|+_&K$;-C9B zQFdc7e|p$sEA!uP`}KSMn74=%5_cE-d1v+SVL$JNo^`M1?-=$wXwy@FUq5S~15x(! z_49F~_wl3O@r!xe`!8htJpXHnjNh@m*#DUKxqguA$NVqKUXGu6+x?H>>&cDw_jw;b z%;Wg&;_Jkk>mU5HGo(npu-D>`Ul;Fr{_J=Drrr8!zkaVD_bvE`v>W#? zqU^QyTlTj1A4vaQ{&FJyH}Wzj$v# zJt6h(;_J;>{5^aK^Zr7lUa`D*{dUIogIxdXo=K!#V|h{E!`H{N`uFhl z^GwfsTjGSo&HGzXc4M*rmu~g`1Brj#f<)qvjb%eTW(L}`o;3%_3O9&`n`U1?_FDb>9Y6XVzix@+2PFQ3ar}V9AIppJ-x9|! zNc_D26Nx{T7xg`SJwD4H-uvMP;+k{QZMS zy<&M$-|zg%yp11--?7f${kC7f*N^v>)E`oR-d~Ec8;k9C~%dvzkWp``dD7kd;R(QC+fX^MI!abUaNn<^G6T!*GHOv|2J-tJ##u{bvAan-(5p* zzj=Ag?tLG2PPp5?S!DfRlzr&o?D{qI_U!Xc_dkX`bTj?n+xWM07`xn$GtRHFX}H^<^Cc5S4>O9e=INR zuN-jy5dT;HF%kcbj9{l3TCKg9q3dlT^=%ZvJ5i`+lN|E~8F@gK{J`a^HKe~ACXFDK$ZmKXI0?sWeU z{~z0(i2qm~^zoYjL#KZ0VBDu#;g^7e3vIOinbqKEqWwK~3%jV@GeCbT+f9%9Sq}Uuk+WbI zyFc5JxBM)Bw=$8lU>9{ZGxIwPM^Ld$yss6S9-b2t;o_Ul(N$ zZ02&NpUzGzrl0t@(*QaH~Hc47(ky8di-QnBOCp69xG_B%fG^Vmrx*z5Z9KJCYy z_i5Li|7%h9x_;T?R&G9*J#P0?_t@MsOO!pZ7(Y7d3)y2Ey(qh}sK1!s9$TCjKketa zWQizyU{Qa?upf8Du4f1CY7cl8UR>~;Na+RwDRV>|4z_&Lv> zS+dvlH^1k{-Ta>G4t_$Ey{=cgLE4@66RAfmue6{0qy5m)ej@tVu0=gNFmW72$4*S5 z?8XmGzj>GYhxpy{gGBtt@}hrsu;Ms~o}H{j*=zMzzk%rJKO*{AUi8lnQXB`-v6GZ2 zd(D5p`kjxse~8~*;}h{8%Zv5zxBZki5dY+li2qn#^nc@vUVn&=ov=jovHU~R?|;Mn zL;N1tpNRihUi82AJ=a6@>pqc)K9(2t8aE(%#t#vFEHCOu=DB}}j-9+j^s)Ry(;wO3 z{vm#kekT$CvApPC^Dacs{41i5N$cc0v@<$MO$Nf9{C4AH?sX7ZULw z%M1SdZ$I64LHu+7CE`Dp7yR4b0DRT!57DucqliA17xe?C;W&tH@Yjj58;kn>{Ga+A znRl)I`Hl=Md`Bj`f7X3Br2gE0i_|}s7wbRi5sx3DV<%D(eJuab^utfPe~8~{OA_%P z%M1R~x`p-2u-(fa|9T?%>+72G^*e+6-}`->;QpQQ!zp`U!9VTe$I(vcy4cCJas9|2 z^qxoPyV!}gp{L)vfBG+a`ma;=z+(ORRXo4EcP_O|Z;Wd6hY%i51|4!?|l zPWKP`Q1%3g23e(Qhki2Grj#V_NpQ}&wwe*2H*$Dg?V zPOkgFHoyK*_VV>7zo?(**|>W=|D3Yd>Tl!yLhpYN|Lx!5iRH!q6V~td`#eFrF@HFN zUz>qCZd)Uc2i=Qua5GN%5 z;jbskUW-3GKeFq`JVo5hUrvudmKU#ozx5B#Kg>Vtbo{b@ce?*rUi9C?PQ+RJ?TqsW z>qPvressG3SYGts!%obZ{~mUd&h%^F^Lnz*qTZ~(oU#WN>wm*h?>~_K)BYWvSYFhJ z=SOz^Sm)xG^{>%adE_rp3HzpTHV zve*6h+kg0y4&wym`nP|FES49qUwHm$*PrKf)SKsbPOpC~FY5VX4*ntj+rNVp%ZvK( z{L%dLoB+Q(KXAJLSYFikuoHOJ|M+?k^@r4d=VudTHx~Ve=eJgWp0iPJp1(Q0{;|BM z@3;O(Hn<<2Q{b297f#s&i~jo^f3JAf+Yi!y?cafm<-z~3O;i5$%GMd+Qf z*Yrp1dv+WL(H*t#+KIB4^>#mR--UetCr)<8W|v)2_O_k18}&zLn(Lh7u10V96e)Wv z-`V{X{iN@@e)2!LUX*>(cT4T(x+&|O!)skH%06X%NpI`vSBT$9+>>9jb4AKtjvpQI zJBfSpOCCRzy&S*mEWU6a;zlRRUXI^&7GKa4H+oU_TKuyXd;E~NXU|V0{#f1|4;$By za*q=d|LpmR#2?G6dgA0b;zlpZUW*?caYEuoFUnqve}R1$k~ksppTqYcBW15${{@zJ z#0iQ2oX;f6Uc3J2h!YYwdQtXT{OE`i5;uBL_FDW)pZEA7abLjqAR~!CmKU$z(&s&X zNcoiA3U$<;D7Mf6C*B#DDD*iNqhv zt9s((IO0Yx%3g~f9dSb9MlZ@YE{iDMV#4mbL_L~32v7On67ysvaFIyqP~)|3il#h+p)g>^1)@=DHvD z@x?Fu_&Q~;$Bzy_5Wna}*=znU`;_}(A7K2l53p1Ax_@-|f%ru)%3kxo^+)c9eT4DL zKEh7f>;BQ<2jUmKD0|KS^%LC>`w-)oeTbd1*Zrfz55zBeQTCeukKOEk*vA;Z>|^Yd zz3v|!ejt9)i?Yjqd`@HiH$Bg3JZIQmmAu#}m=V@}mDecex&-XV(c4 zeJn5N*|iG2bNClF5{3Tjl)YB}84tOCh~JqHB;r4o7yR4Pl&4$|(a(7z5q&H#>e(%W z;~;u=%@Acb7WE%p?RtoA=|zd?V|h`3;Xc)CY+J$Z_b{B_D+*R$&vdh!e%`RA0qu4mU1^jtr5TtBDmH9h^7 za__(6erNyvCVD74EMI?ioxwlz2Y#79oU+&T?AnH&{6|OrJ7ury*)XP!aF{Nt3pu4mUK^o;Z982_EJ*Y)h$g`RN=9pjf%_PU;3VbF6QfR6d!DSKVd zu50KSXV5YJIAyQv*>wgz<3Bpaf2ZtqJ-fD{XPiRE_~n$nu4mUU^o%p;7=N6y*Y)hW zgr55pblkrA+Jq3kt1;|0g*zD4&T@xCM2Yx?P5c0DA1-3P_{ zo>nX`)}MUGKSZzlh^1+)*XVWMJ?-!PJW%$s-g5Izj&tH)_pyFotMYRDpLf3d zf#`J~74Mr`vAhufi4*_zXZH`e|KxsDq+VWL_Rn}toVsss-z7el7yR3T^itPD>aTS~ zTsNq^s9$*8^$`8y$%)h}mKXKRw;ZQ+m)3D{-4^WS>*x0i=(TP-xsDk0^J1^*xnDuA zb<6m(y#7%3n*QRu{WwVcT1UopV=I;y-JVG zFZ$_xx1rQu z>n_G^>M`x_We+Us&-#rY$2^Np>j%v%G)GxEQS=68T8~@DP zPT2#C`fYRkIPw&o?qhXd8_NrN<_GjXPq6M|{&31(_dh@Of33Stu4Cf5CYBfc+h6IQ z@AYS%qyD;&*L{5~FY0&3_Sd?T`##RI%XWjIU1NDszv}aT9PMbK zecf#5nCa*7b*;+F^Y8R8yMOL;@UL~4)@8B0;GcQN^;$PG?{J>+XUQH|)L(30YoeW) zXV7UKt95NGFY4z!;d-sxxNqb$+H8)UW-f>zO~%Gk-c| zulv9Jr+yssBs#4_wJwe2MgJRKa=q5AdJdxJBC))v-#*{<+vmG~JqOZrp;%tjU-_o% z_1uMdmpHb(D|=v5Kiuc~H`Dj9{>}6~tba3o59{Ad-^2Ph({tUp&w<>3b+P`<^gXP9 zGkp*1-%QWEN&O-9?_&L%>3dlJX8Io1znQ*=^>3zU+#!BQ{9UYnGkp*1--h0D^G*Ca z@!!Szx1neL_xg`v{oBxMee2Y^S1hc58+u>&(tcxD|7Q9g*1wsac?bWH_UmH(o9Vf4 zK@ZV)vHs2UaeX_M^>3!{Vf~xwdszQw`X1K5nZAehZ>DG7ru`x9-^Kbj)Az9c&GbF2 ze=~g#>))x(`L~DlZ>H~I{hR4~SpR1F9@f8^zK8X1rte|>o9TO4|7Q9g*1ws)hxKo! z?_vF$>3dlJHuOEMe;az98~T0f7}md;zK8X1rte|>o9TO4|2Fi@`^4|_KlkljtbZGN z`?dSn*T0#*hxKo!?_vF$>3dlJX8Io1znQ*=^>3!{Vf~xwdszQw`X1K5nZAehZ>H~I W{hR4~SpR1Fv8;b5*khgXt^Wrh`6bT) literal 0 HcmV?d00001 diff --git a/testdata/algo/hlp10.oas b/testdata/algo/hlp10.oas index 0da2e135c7b5d17fbc1b0e98dee66cf660fc0c3b..ca1e4a913b138ad00c5aeaf9c8860b7588bbc744 100644 GIT binary patch delta 188 zcmcc5@|$JCdRqfVrVjNFYzrAh4bwo(6WmLfMJ@9gnYL)o;oQYCol(>>52EA(D}$(M zI*2`ksfUr9;RBn%#GNWRf~k8Rv51<2H8-%%`M|;;Y64Q!!nEZ(kZlV#>H+VoS1etb z+)P{>*e@_|U>CIo8+wB6!zY#nSzxmux_0n3yaDPm1l!ZV3Njk(!WO14lUSK1Co=wF IZeU;l0I|w9+yDRo delta 164 zcmey(a-U_wdM?8>My3w+6WmLfC%#dsH%tZbj&SaI#3E_}Vt!!z@QH;%)D*0$fpyLY zAO|eb!nEZ(NFp7iY6jDsuRx9gh&_kp&IDEna|S!e9K$?_K?mAdAzF9vHoO6eu1rxC5QpWD7z5MfM#dkLCor-yF)#oClZ`RI diff --git a/testdata/algo/hlp13.oas b/testdata/algo/hlp13.oas new file mode 100644 index 0000000000000000000000000000000000000000..236c9dc3297b07caf9fd9d6a60d91a38dba9e95d GIT binary patch literal 470 zcmY!lcJ=kt^>+;R4CduxWH!_@V0gjKfDB|rrGn#q9V6m{J>C6WUE)3cLR{TlgW|(I zT|zuKSY&u*Akv|J*c8Z!as|hS_y@#0yZZR>Fauf4j84pqj?5q?FQce6BLgGT29^yh zTNqCWh-xr0-C${9-y$HYnFqWSJt;$hCxdkH!o37wo)Df*%=naO|-W X{KGhhbAdcJ1DE(WCZ>jw3>X*yr2Md} literal 0 HcmV?d00001 diff --git a/testdata/algo/hlp14.oas b/testdata/algo/hlp14.oas new file mode 100644 index 0000000000000000000000000000000000000000..47926a477c0a39c764c79b8ec432ccf71c9be215 GIT binary patch literal 526 zcmY!lcJ=kt^>+;R4CduxWH!_@V0gjKfDB|rrGn#q9V6m{J>C6WUE)3cLR{TlgW|(I zT|zuKSY&u*Akv|J*c8Z!as|hS_y@#0yZZR>Fauf4jE>A8nwLS;nu&pt>C|QBA5&Q8 z8ZP_FBC5m4bnYkPj-(k{+zbn5G6{%UGBPr?RnO46B>!wNlc)tF4^XcS0|2yb&;I}b literal 0 HcmV?d00001 diff --git a/testdata/algo/hlp3.oas b/testdata/algo/hlp3.oas index e0574ba5f37d892be4dc5656bb55e6256fe4c69a..e62f42b524f319d584b57515eb4ac60eba268617 100644 GIT binary patch delta 220 zcmX@XzLI^yElC4LmIFK=MJLD{Q2ih(YM8>vbb#jv7lWw5#5?_*VCDig5J!1(AEQG3 z59JL?ce(eniW)F7bvT@0?3u&}VNNjpG84-Dq5MP=BKU&+iytqe;17lgGCRb%84lP9 ziCU*JKy2txzacBinQ~(mqbOsZsAWDQ(*;MMdebF^q6&;mH)LP1i&`);{ZO93{KV)_ zAET%ZBhv~uu?fseb~4@NW&m+N=xyNa`OI{On_;phlN%$`n+a delta 268 zcmZ3!aRJ-JKT?y|F)Gw|IGkYYnZ&r4Rn&ly zsl#D{>6e*|5atW^FMhm?fdedK}3NH5TYWrOjjnSGdV?xTIMq{U2p_i zXu6~jXd=@Obxlm+WM^%gq4N m(c$nz`HLw~2Tfyi9^W7$(T<5a(t%U?(K_f$=9$CD0v=OgChK2AeJ^6t!Sv`k_35`H9h=K1NX+ zMy3^R6PTCmWV*}EFnI-&fw-t;D#XMN^&7IHoGCYEF^V$gF-?BR^mXzFCJrVB1^|N? BMJNCO delta 254 zcmdnXeuI6&UJj9LMurB-6(Wn8jq62VyddTINqYC|}>== c(5*j|znK0JoLtTXbou0iOutwg8X6cF0Ax>5`~Uy| diff --git a/testdata/algo/hlp5.oas b/testdata/algo/hlp5.oas index 04963b4004a1fbe601de1936ebd4f499d832c79f..0f4c59bc6d3ce119d0782fd2ea94a88bfde9ff56 100644 GIT binary patch delta 298 zcmey$af)NYV@U%>mIFK=MJLD{Q2ih(YM8>vbb#jv7lWw5#HZa{ig^$&h^I7p3ZtUN z59JL?ce(eniW)F7bvT@0?3u&}VNNjpG84-Dq5MR0@<~S70I*RFMmJ`*^2p9$HLFQz@;7}0Hc uV)SG(6Ua)CElYMXfs_DwAX|DqGacz=n*5*1nvrR8BlD-p6PUS~7#IN3$YKis delta 344 zcmX@b@s(r3VTsA~`ei2L( zQ3kBWhLLH7+XUu0N0{z%Gk|n-IQ&q4;{enFl=+~yfwScw(;aRGUM9g03=?D)%mmVm zKe-r0ty395ZiP6$!RWwzCZJ=vA#R)?Bg&XJnV;F(2JW6Oraj*nMHMg|0SXY11D5P$ c0@)6-vF9_>kzOXI$$`w@CnqqoF)=Uz08fr{m;e9( diff --git a/testdata/algo/hlp6.oas b/testdata/algo/hlp6.oas index 38a6ae94af595d277825cb027aed8ecd62aeea76..92c5b9f8295958e2274437000c203da39779502c 100644 GIT binary patch delta 943 zcmZ9K(MwZN9LLW&_ikgmbE$OLgOh5*9E?PV8xCj89)dvn6M{-9=)nw%RLBuNTxrE! z*M}^jQ9c+5-I2%@6s}}6#D~#C+=qfa>|qZ=lO#?sr1Lv>6Y1r055M2}em}qO`MnAJ zI;)vCX=)M^HB-X5mw4MnhcKzc3~%E*`JuGo4u;fTGpHczawi?0M3|IEYo3G5$`mx# z`!s2Jm;6-Vz#>L?t*g;N(^xixhPM)9>G@->qA!u;^+E8cc^VH9?T23$Imo~*GiWE* zzLLcP<|nz9(xhV8PIA%32#sQ5-_<1Ul?E@vE94LznJDhPz$7uNAL5H-WJZ6F$NU4+ zm{@-1%f@LszZbtYh-J%vNVSmF!_tT*9y?{VSHa^?efKE`Do5>ZdmlT)af?c<-d9KPhC!|x-+v`JQxx3Qj{q)GIZEXIh$)P)npp@Gz3W?K zc}Hqxv)&HZPKA^EO?ICX1+8Dv^RDxA#_+)d=-_IrSNYVN1mrk~n$Z&T8@Q?y1k@1Y z{5?L!H($XA-4NzcqInhaN4aN~`_84lP9iQ1I9vWP-Qi~7WdhniL1w{BCT_+r%#)ZNF$#WQ z{K>^2Y7KOWJ*yz&WMPg1o^+sNG!Ceqs5>y9Y4SC;y;d;ieKGC%#wcol-F-`TGJz}u zIcUy0#wU}RxEXpXCog1C$o|pJ*phu_1~bU*E8He9166{|0rDPbZ{Y0t%rs>>i>L-8 z+Ya%UmM<)4ICt{>uvs$+th~cvf@#Y(kZC|`fo8v8Z^;H}>~PrOxkUhKCdhw4Q;zg9 OF-;4s(Ckk;FJ-hfeCc}Hg~KwIG_ z&eeh1imebdtSanh4G=@UnReMpu&@&cqgbJlqH0J??Jg@5dwD_)fe;b{>>}6oZvabN z^8{D(-zvZR38&`CCzpWJ{9$Ui1k}yPvk;cS`h4o9W*1q-X;j{mc=YHQu)N9J2WV=3 z8Kru|zXe`yD?Q1Xaq|Sr+w3#3nKm`2hSHYv2sj&&1N@(x68_i&8eE72{JH=FRK@b(^dwn5wf-C6&cZ;WiOb{jBNLRRDJGQ7b>@)}6_7_cu4vR;#vk3fiwLDpwuoPfO& z%VM3CPTbiezK)311?)8$N^K&OBBXtNY(@q(Z7njc8ji-U&hkB5bF@ITHIDQk1>&P* zYy5n8#=260_0BT9CN%>wlUPs+ad;=poyH0e@JfuRS6`51U{hdy+T+?6PNc J^Fk6M^bK~npVj~X