From 229f654eb58e4efe9ddda91c5afedfc111057b50 Mon Sep 17 00:00:00 2001 From: Zander Thannhauser Date: Fri, 7 Mar 2025 20:14:32 -0600 Subject: [PATCH] if a test runs a long time, run it with verbose --- .gitignore | 3 +++ .test.db | Bin 135160 -> 0 bytes test.py | 30 ++++++++++++++++++++---------- tests/satlib/.gitignore | 3 --- 4 files changed, 23 insertions(+), 13 deletions(-) delete mode 100644 .test.db delete mode 100644 tests/satlib/.gitignore diff --git a/.gitignore b/.gitignore index 6084dfc..6c03468 100644 --- a/.gitignore +++ b/.gitignore @@ -3,3 +3,6 @@ bin/ .build-all.db +uf50-218 + +uf100-430 diff --git a/.test.db b/.test.db deleted file mode 100644 index 0460bfc637e053190471c2dac8807e10137f6cb2..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 135160 zcmb82cf2e`@%F*Q**ydkk|hTd-07K4bp0nD# zh4(q&pt*+~y2h^i@4xzCM;vy}rW@S-OCP%H zVf*j1+ZuECa&z94tN;A(oSf#YzWV`t{ilgrzjuM(OI+iCyHDUkHl@N)kkH4m@iF~MBp(VWDk8ZY+= z$t{}uqu@5p!MpOLz`2N>;3aJ`D-;_zL}1 z@S5nM{Y~I}g>L^Qw64L6{kvc;N4(g72wbXW$pw5E&q($X+WV)#)pWW47C29SB`!v2 z-_(49y{d*+cWQot3v=K)L@qnD_afo3d3ZObUM#px86L05RW;gsso)kzf~l8@Zc}^U zn_58Nstlb}``x-7Py2%+LXlA)C(38?A7#m z7nV32a;GG&3HUr-E!guF-j_uMF2@G?!D|GrCVLXsBy8Veg1stWw_jY~98S z-X(@b)b&*lVbH%LrT@@iHVXV^}ryTESkznRjYgfs6DwM6QMi zVrn_TUY>*9V0nQ{HF7HmT+TRbNSvqVv7%tF3OJgsByc%ke~~y>VRv3xu;(M*zf}aT zq3e~nRAc{JRj}t89PU>WxJ0k{>jlnZWHlvnG(5jacr7tDm|9(M8|gN$A(+F(${qBiO6yt@Hwya1l5qah@ivAlP#>Sw?|t z9A2-)g*o^ZWx-yq@$Fqx;A)Sfi^NqP`@vd*Jx9UI+Cn#_NoH-qT$Av&tRrzWh_5Sf zkzzWDb2LbEF^K69`Ck-y-2UecEaPO$!L4Q zT%y||agjoUw+i+G<_)IaCUCXG$xY&Xg@gExg1tx~)7u3uCk*K%&NbM+cL?@Uz)@V{ zBIPS~66{49t#%eTPktpXRX7U0Q?S?2&bDnlvBrZ6d6y^!`GQDgc5x9ne zNs03bgWWR)dyaaQ#08oJKPK4A)T=%&aGnOgvji?t=1SrMO$uiV_8j>=N8mh-LK2rK zh&Wg1R+QE~PjDNEJ73^j#5q;sBF(9v5SmB5>H-0yh~xsHb%7SF4Ia&;vx;YR|)na?Y&+tZ~+S}rX;SS(BK-uUZOqAYX#0xf04LAY3%DHdlbQb zTHrFZPvRn0fJ|L4yymobc!S_JQs5_XiS`6PE7)@hBd{9<&eMWc;woz2=Y-3pyvFB6 zw>aiXoTFZKlVH!$y6p=B7aNRlB(9?D`OSj8KC9a}bp)c60s9OyLF3`Gi zM&N1+4Q7PLOSkWfg1Job|1AO+Y12dEJY`pJ73?Lt+}k8BU_2~wp1Sjw1$#Bw`-;G2 ziVY+#QiOQBV6UEo5%E_AE>PM};xbL9Cvi0`E59z;qrJ#)2wbFWg~U}9lYC3C=V=-JZGm%i9p4si zAB7O#5zJMzp7^f7Ia*IhTtkHp-xHcgclrB*+lChJKae=e4N6=^Pwj_-y+kkXj|48z z;PPXMqnAVCYT8k~OR!hdviv6k7imvH;xcVn{#39RXwJG@;3^tielBpC_Nsm%aGv_h zF9j}AHJ!vcN`n1LuvgJ2^lO1j^xPz_rcm-Xf;~t5^tS@nQ2ImS0^R4|iS{s7yGP&x zm0SH@;5=2sN?b$t?_R-Ppq18r5=Z^ueu0Y=b3P~xR}^wSD425;yF4Uto)&@+3!I~2 z=n;XdXyx&Ua2fQ}9u>@G3OWBEa21Vyj|rToUMg{pCauTkE%}0HU$Bhe3CSysX@3;B zhWeDmMJj&#yI`-T^~65}F4C&^8R4N(fb)!Gj*>_J6gWrm+`j~_p&}rOi!`I0T!!3M=fwi&FgIAZ7e1ebo4B2qO6ELt=FZCmE@0|I zJ{C2<$8(*lRHE>%3gxJjMkgm$8Dc^9sRU#5k?< zDydt+8oFRF+^uRXhwi*u;2KOgcNP`g;?8lwUf6BI5xnynfeV;n>MSO>rFVBR$s8t_ zI*SXOqfW4dz(tG-Iuhq_hUqLR*bBHA>ntU3HSQ^iTtn?!TCmq(#-+22zy;ha5;;em z{B<7vVDR6O zIFI3GXBEL-q}Od#iNkX3j>I*%XWdy%uvcRtUFUTImuRwloiH5GZF#+5uE9)C=M4gv zXzrD`8h33vZxrlh8g$z(pFaB(9?2r4j4}iku~`rr5;`_7W~;J3-(oT#Xg(g(F>DcXXm)&eP*a0#{S0 zA#n|EQ+2XnFVJkcroc6rQtPZGa2XS|BIhX7mCne};IfY3HsW?iN8%FQmi2_EhKtY6 z`hr`Bi(Zk-^b&0#*sCbe-B92%&4C*VsQ_FoZX{Uqc%q>5W`Rre>PnoanPX$YUdHrN zXA^--^bUy}4Skym4>!Y3Z|5z7+emS)#3h;$HWTb++*<5xE^vt^e2Me4*4{#}7jO%$ zv!%c}db|>sXb9R`uoq}%+eY9LRz-ETl{lKAMGi{~JJP`y8qu~F+*WiM64&7Itj=2n zdyy9JZxc9=N!pIYIeNT12=;2qee5W_9hiLW>?oK^xRup;yTCQHoOp-8c?z#3E?^S5 zvy)&iV--_pXMw9}!V)=(BX^PP(Q@%!0+;DNOI)OQe3S6e= zD{&1?S-T4M5^kk-b`!V?>)}N%;2uzCcfp>g<>wv(SJCoa;u@^$>Fg=kixjW#C2)z- z9}?&2`MyuES5xS+x4=bu9(xNR1nhWq_7MgRJp0+%PjKofr?J1_6esBY1#1y2#X9d7 zxQt(g=o}z$fdYdA1+JzEOX4C8K?e!;Dm*&YIauH_ZUc&3pg`jg!Cs&&_o2eWr5=B% zU@l>mLFX`m3lz@H6}XH=6`i?4^KjF>^8vw}qh4^hz%^Lb+L5?SFXWMuJ*?I593^ly zZa<2g!*buw(Sp5(29{$4F4AKYIhvr473?{hu#OYBK)qSw5+!<$7wmbuFDD3GMRA|R zdE!1O*o(A8{gA-bG#W@;rUclDg1tx+oN7KeBg1JB|-qQrG zp{%9E)s*HrU9cBuMSh0BRW$ZVT%@u2!-Bm)gXBDc^RwhCn#MmOJPtf#(K%Ca+su-y zC|duhWRKD}9}~Dlmn(5K?LB>5u;(eybC$p*N~fJIaDmqDB1dcTbA-o%HR+x61h+NK z&=S{BhU9#~UWMnQI?_QPTI*aOnWL>Di3>D!d{Ve8l&!i@!Z6mnP-tCE>-&oYE>WMl zSl}F<@9BI>-~#n2iSu}pxO0hMuc2`BQh^ItlF|`5nqV#y>{T@JUM_Hv@+}hA(2#qD zU@udEbCtj)8tNr3P{QSE!Cs_^{2GA^)J?AyxJa1*iOckSuM_Nf8Zjis}0;?MYF4LGRaTV1PeMYe7XoK{#0@si|k)r_YM#&xxx}Os`N9k*ci}ZXyFWAep z;d+z6Rh00%Nf;*S^}Sg#NAYk^;A&d$^aU={2A{-vdTay1p2Nbz&Wyli$}LD-pk0hF zO7FDu_}c_?k2I$syKnifXikT}X;OI)I;taGr((iK}TP^KHRipgi|?1g@dw_ICx& zQ@@wENZU%^6YM!!fc`+@==q8q)gb;*u-DM;;*SI_;Te#Q#5L6Ke=OLmX@~wUVfdrh z<1WEmLs_ezNE`)CKNUDf!_dzJF4J~`$dSFf1$!QkHEkv;OY|F4Hh{ zuf$QpN8)O#nYd4|SJUuvzrbaBz9L79#s>s@5f9OH9u&Bm%EcZMxJ2*U!va^)qC(;_ zEe0PE?A7$#9u>GmCHs#G!ym0>9uv%YdMzIpxJbeM69QLL(Edk(bCjczI8Vh8Pm1>7 zD`}ml1g@dS@wC82T1!iuqaxxz3HCCT(fwKAD!hN)BybHT^hC~KuBn>^do^bFyK4$u z!swuIFI?4#YsT(cg1La*uPasgVGTid9l>10!A0TV@P2n)!Cr$Kx!v^yE@I4CxEH=F zm=5i(FPKZ1aO`d%a1mc3k*je`>uxC6bGX;i-ALlF@U6SCzBhDxQbr# zw+Z%Yx_>(e-GFY(4w5;{f^~NkxQYh)w+mcDy;S6AXnu!q88ol$Bw!dFc6Sz9SK*lw zk*jIsd#7Np!J@71E<*F@rtBh^bC_f5zDwX5>dWsIxI}kPg{ z6*+3(ZjwFBxpa3IZZig@1$*HGiGlj^9s-v!Rngs3;2drkiCm(`yO(eonAh)0m3xUM zEQyPB_x2VpBhieokHC4lEmDmiy+iv7SBne9?tYS2tds5TFK{*Hb4AY6cqD%|}PIggbK-9sdM#2qSd4ZUm<=W$oKdzfIaqV6(R zSK=Hl@Vg%n>_v)iB(A~&rS9Q^y+9N15d!DQp2P)AEOd_)>;=q&c8?M`N27+s zWeUQN7VKrZ&&Nm{CK|gUM|0(|f;~@j%<&S3`S7m9HMBT6L9$14mQ?2Far>?-aSd*} zc0VNe&A3h4JyGByZug2@#{7EsB*9+B`v3090@u*oChlS}9w+*}V1h+Njb49M9nB+{sUch{0 z_oD)rsJlp9L$~E)l0D4lc0Vp~5x1EO_rf1L!bHzmg0+T%gR=$BkynXpXfQZOuorNX zw0o|^(K_Zlk%O;`XGoWm0U z-3tYKnQqI)0_SGQ)wIm|l<+j@u3RFyrIAnK0_LQbNi1 zbCiP^2wX+0cZqB0c}QOmr$yT>l3SVpB`)E%V)sjey^N*H-CG4NQq(7L6(yx_6YSMk zEzy;V{31<766a}Z`-<~}40rBIyKm1+eOz2Z`>V4|o`;sSAx3Re+n(e?*{ zt0`KNxQMm6-Nyub6~zya3tUZO!4m@KY0)NeHC5pJQLq;&et2@;GB5Z+_3|Sn@Jnpn zCk2Cv_6(nvINH9Cr2b9d5|zUI zUEm^(;S%TQ_WeV+E#&qY$t^uyiAz|U+x@5DmS)s{32r@Bkazzjn8O1C-G2+_A`X$$ z^9h{8iC5$jF72l07wlCySWUlJ;xGX={Stu-c)cQ*aj=?xsbH_d!C?Aj5{HjN|LFw4hW?=W&tqm=>H~Sh9y<%k&}wS7AINavl=_)31>1VM)*QD+SJDG2`^BBo2ovk;@p7 zOut&N7pU_sDsTxW%4v!7)cIZ`*z@#qEGBT7p0C7J^n4c=>@|3ZZ+Z!VOEd^cT*Q3e z^pe8M20yYfy_DcJ;s%h&1+3$qURtnM;a11=G6L6N)=lIRE{djKE7+@WX*|80z$M(n zm|kw~Y64l|ru+2r0_Smxo?b!VG7a`C3S3Q3MB);)ZzaKA#EjbX%JUZ9=YWIe9(L#& zyY9dL>boDX*EySRaQBlBtTb5s@p%jW_g|h5Q73AIC+x9Qv}9-Ppt&0Ai(C(qCA6Zmy%LsBatGNE6u(p4)ewCUK& zj!ft`=*`CG{zkPSO>3<%G5sc$POY@ce`xjoVMktFH{F^7CZ^X=Y1fJ#C-fYZu3Ecn zHr=$AV-vbkZ8xnDVM05Vu3AgS30BF$)vaBO z2^>|^xwVX%&`G6JYX@RNXPs_EWwW4L1rif_P1SZyw`47q_S6!cj;*ZPq$O*swyRd5 z_=H|Zr9*2c)TVPQ`#qu8RUdpS44J^|sSQc3q}zmEU!|*7BJ@ABHt^6WwSj6nwKf7K zrZ-gSs&yn}LT{wfp%w4jbk*AKoX{Jqwlm%CO;oySMPL)#I-RKpZmQZ&G#I}{rEBU_ z22I^$Gu<{#BAcsp(~AEm_hbu|_O05-3B9FC=hoilgx*S}YqG7=P3zR~#P-&z?W(l~ zo6y^+w4*Rar>oWn6DPK}RmX?cB6I?8r#2)}7u-put5%|8VtZ$mZm8KhUAGp+6Wi}p zZD$H!cTwp?k%>-6dX(={ZO2w}Wzz0q;UbG8T z+o^R3e$wtws&t_Kt<#zA;DxH~OkvW+DqT~u{!=RLD0`>ViTcSUs_ljX%}Z6fZtb&9 z?zchH;`}nzcBZSmT&3gxL}%K#xDbaGJN>?;->vTio;8m(^*V>_<-0!PZI@1DL zr#(%V*QmBDT4G$Q(vIE+oldk|yiT><(5QL6O1oC=!sHI>bWQjB2Gw?KmH1C=e@3Mn z+9Cd|N=Hl(4ZA9xa7i~@NTq9>0f!5#bZC9BqFm*05tUA@V<;2)6)K%E95iT;Z}ISz zs_hzMpW&-i+F>*^e6>o~xQ|w7Z5s%?_i$0&G)}I=*Qm6oZnBt8x61V<4`*?eu5k%H zTtcNQ3`~bhsI7MWub~Jouy~tE#l4{;JafLxSOIs_jhuRj&r}G4YKJaCNoA;`YdJ4b^lYS}*W%t>XDfH>p(H5u=TvQ=3iwRj=5= z*lws7;RH9EosoQSVm`-f3rP4L#)Q9WnG_InC>#DS)!FxTG&bZnh>U5-OWPR0k#7d9h1}Yt} z$ZWWwN>>z8?XA)YYaoU??Whm#quLI*Wi;GZr5&y>3_4T0_fu_0td1M*ua8tvZ#mTW zAtMFeI-RhVV0eJqY}Yz5HhFapRB4Z?kl{fpT~WIaQf~?7*M|D0rN^w+(Ab8g{;F?7 zI$XyObvm{VDNSymzG+$E-qldwh76cX8tNO1iNYS8u4w){LVuK4Dl6&bx zptdAaOr>uuMvBvQx^5i-n_Q*74H+=)J=8ZAGX*|6UE>bj@Few~MBKC->U)K`b%1Sh zl{y_MOw#uXJ!L{pQ`;SA`a4~H(dbbc8;jJv&rlmuQ~Ke7l+;=qSOf(-n=Gm#FPd^yICbLR>QFw4=8{ z-??fi8F#JP?m$n+*o&foO{W8v!wx^Kw#4HpjN$bv-O&Bkcdi1hwhfwk)o0X}L|O%W zRvlt#5pbhw+EFa1)1Hz9pVw{Epm~!@SG2PHf_jnk+`pij&eW%FR_TgH@19C~dKYxs z(X`#4x14fH6;68&2YNebG@eoEhI*?`M=Wd}eo?hu(@OCcm5!7(xkY{K6gGZIH%+O} zTUFXoBz>DoH&|{t)agi5{Fl{>q#kv<(U9kVL}apD_^L_=tRFGxNc0`5?b!Ne`J^TH zsRB49?W`_@|7fEmML%M0K=Nmqv z(vf!8bvo0){itd?Q0>DXRN7H5(dmkkCXcDM6Xk**SLuej$rCE=C{3!<6(tD%sM>BQ z?tW6GJ;hTxow0U%_>^ipQf&OR-eIBMclfkwy2e92!#}BXLmN7ORvSW9EPqi=Cz_vh zI#8DMuWCbREcv_IkU&XNop#iv{-N5A6iq#&(vId;oes1t|EFrZrk&(}sdPi_HfYKS z{#&&jaC3MxpGrG?%?vu=D?FNCwcTJEY4jqMb~yVPbix64^kUU^!uM?S5|xe^^%!)( zCqH_rYCGZEFnXCvH@K8DXpakk(E_UNh_C#pqtkd8Y1CEe1}ka|y2gU((X?tiVE{2& zP#vo11}>snRvZCI+3bo?-MV)wai4w9%_oI^qy(&=n1Xi>kH*u5?C=sdSC8;AnA`PM8KU z=nB{6qb1Z=2iKLOCDn#_dXzd{W4Jb2O10hKM)hcEl@1s|7<7ZFeoA|1U>r4zluMlB=_-D{|w1iv{nT0?C} z#I?w1j!Gw*`zn>rSe`J_=|mxtQ*C?9-i&lQ;O6?MQEfZwCSIiz4VXF|XolBoClgkx zj-t_$)ZQDmXe>4#CACx0Se(^{RCJMRs&s?LwMRM~F*P(=OSSEBn`5-LN;~Q%I$dKX zZnTbi199VGw65Bagj?DM-OxgDJ=M0SMbY{y9dLVQw1G-ztR^++nx^cHRNFPh^l#Q_ zOel2$=Bm(ixG?M(gTEh^p6q^;8lOEyNEskSRTBR1Mx zr33Ev8nmZm#TKgV3X?;lEmgX~+DU_swBp)IwVf~-H`-dI9rcrKRJx{6P^Tk3%k9(v z49*pewpWKW{ANXgwNLwc%&m>ysx|{Bv$v_1Bi8wjbUNc#z(zZ$wgUxJJF0X|Q?^b= z8Zh6k+OF`3`RE-gow0miw3A8)3f2r7_mxIFtDS`2v3IHsNmxZS(&<2f^e(FHjD=;R zcd52!^S45Qst+YXPSjCNP)h6X^L zj`ZO7P;EyFWA;>OM^m;=2YPe%Qf((nO}9{*Rl1_MTc3`fr8V|d>6%6= zoz9fp-A}b0DR|J2qTm-1M*Hig>5YHC{>DSe+UP*lbfAohPB)a(KS;G*Q)2R9l@65Y z(dmlD?n6}Dk>(uza7mz{{xH?H|DWiJLY}$mqr?-9qYtPJY5pg=qV?9{x@}4|9--2S zZi!CUxbHkVQnl?VGkKIsCrTS1tTdw)pnry^>mf4C_>TcNE@7IsJ0uL zP3Ea|rub2(6U}QMS8WH%44$RZk)j`+4)ijdt=p#L(>W@gsh^yy(w@dQgQoj^o@%?M z?dS7VI#ML7)0w7|PpGylEae=1Ql%Z$V(4^3wl7p|Hx&0?WY8Xx>KCiDqdg;?j?_;+ zrP|I^=W&TjSCsj_M4cIEIJs0eO-q=|RJx|6u1;sF4Y*vj?dic^q0$a(&PO_(DYbQ_ zYCF(I1;m9_5Xy?Lgzh=Ty3;u}7x^Ww$=B+op8$O)8xz z^!|cMJ8HL1H+YP1bhB!^rj>C|r)kqjrxV3@1Kl^V!B18 z8_MM9w5K=iORDWiyUMq!w4=O*K~q1uO}C9j>Z32KbVH>II-T%H=IATBZFDtj)wOvzS|238NG_dJ( zq6F*LRojkIXWvliM8n`WRl1@Dw?R|p=Ub}nKpTeNR_Th0!*x0l{T82o{1J5xXTp-xj;L8l|0fgSx=wOv!y?_DaL=$+T; zik6E%QEg{R6#P`BYkKlJo$#F7=x6HiP3h0O)rNQ)AbzgWkrrt>UDLAb7piSXnZ#eJ zw5Mt?opyA)f2G=P=u!S!r6c8KexuTkPQB=Krn>3hsURd)0PL zn{W53bfTzAKafjVh5J;~fx7qo>YGDlQV*!6BMpKUjoG9JRoe~Kl02l+kyZf@sTWBb z2M?>J6Q$rEQRzspuuj)B8b7MqcC?N92c4$sW}Wtwuy{3aJMZM%t>P6C;_0MWUGVQ$RbWK~Xe^G4*8Xf+s z(wPESosKll|4p@B(OCR0$81PG#Edl+V-@|@K2SlXz0=Dn(p_%)J}yr za6F&dkQy_*23_G~HlAO#-Qc@0evwY&lrw&@dXYH48!*P`^A}VbC7SwZ_ZnwuyeNN;mYv>$Jz(l<~5v?TRLmGX@^N9gN_(Aj#p4^S6C}LUQwk31tvP}$@WURZA@p4S2k$)+^j)68rN1)ZD(9S zjaSuadO8M;srT_}x^0RdUZ>KYW>$m7eW>y4Roe|NLC0@YX-~7ZLE~2c_)V(q28%q# ztE+UzLJWhBSZ*?2L${54T;n+g4Rwp-N~IfmmOAb6Jj2+jwrfnWjBB074IP8d6v{NJ zZHIZJu~+E^&$Sw~!%B>CP;Gmx@)$=ogutSMaZ*j!xG!SR4Mlfrsl`Mbiy;7 z2HnsNTwAw|`y%6YR61he%XnS&z#XI}3#*kWHxyK@r_zqvvA#+-G*Ibuz%q>S2CD5q zYt{`78cMgv8>-!vBAJa;(+Mj)#&1?>_dn4Ub-<1FX5(|;L~Te#&qk*m9-$j=s@l$U z12#=^Dn*1Bo< z(&Bg<)wIK6kny%Eo$-LocsrGDD6-ROj|a`i+pD%CR_~7As?wRBjZQZd?Y>RD-83ic zpf)7n4$4@kEBqAjct^D%WcnRyLp+w=jCWG$2KTEBI#5)yvuZn1=ayQ;P;8t8XZ=}b8m zopzM}+Fi9>QEq4tm2T)+?xDVDw20qJHC<6S@IIAJSeh{2TctA|x-sZTQTINo?FzSk z#`~&tjkRJ19cdcgPqpo7ir-(Q19e!P_O$SOziu0gB*q7*bfO)a1Jq7MtJ?!r(~i2} zK`NbbA9SqKfgaAms_mLa??Y6&qMXU0>Mg;dp7Eio>6%uFb9I_-;0ILN(=MJ)XWC#m zT(zBP!GDBGM_LoY3M#% zr85<5oUPt&>VfB|rW=Z1&sAwh;ebvz6l$EO+77fSa=tn(z{h09=c|?z4LqOFX^Ofp zQ0YMQCsjJqB3`F!ibpThZR1&y@kJ_KQS_zLHH}jjtF}EY;y(wVovBvePX^-co z#y6;@@p#?%GpgxG1HDc=3QTTPZ6{jre@>+<8ek2YlDnT*Z3nt1H>q@{0rm?jUC}^g z(DW#8R&6)50_dr9O_7OCS2URPRojlzNCTCQl(ieEQ#|g9%;=UW4*a6}D$s+xMKzsh zBr#};dA_9D_LLmIO{EisfjV7LWcOv&wx^VnPFGYm`4!zZ7QByd*J&DFzpB!iVmqA< z)Vc3aZ6^vI?o??{o!g-4r5viZGxd|v+|^XRqMkBV=>|U)FxKfrgXY&%+mSNfUsGRs ztbzTyVHs0H-%#m*r-Yowm5S zvIKBitq5vM02%ut@Rk6+7heRy62P!n1knWeFgnnT-H`M7{{No@YF_c7Rp*ZLAi-?pqOTYYCtVc{YO7{_H^!Y;Rpc zJ8CKXTdfxP_JX1a-ewBg5$P}U?)oeKZY6^SJOc|p6C1W?3Y1Rt_Iz~{${ z;6&@WQ4DaBx+dC>naEc{}G;*J63Er&%7V zb{e+`PPYVbNMJSs_|@YgIK%P~+Z7B&FwYXe7g~$pBbFext43xeph4qI(*uq5AGHKf z*jk$OF-rhHZ(IZ)x89$2F1zq&nLLhSXITw`U-T*t&b9>b{hlH?#}dGIduJo4=sBNj zU30qvxHve^YLRP~E)>D}mIDfVOun7=FZMrSHmH5Lr3fyt1n>)GMR1`dfN!=G!9}K^ zU9~nVLA%PR2rjlfG<4CQvIKBIuz0w{dTj08fM+- zYfM4=qa(8s)a|X!BDn7VD@CJ?C0t{C+Gx+(DO!(he3t(J#K38LF90en-oc=)o_yW4e}&+PcHh5cdT1YbEqCeLmY|{a z>US&w{GM>}UQjs0r&BlI7#mmAqMum~;A4Nq!QG~S zDsW5zeAlUX__^f)4pbDuFD!wlo#J0w0!Mer6!`WB{YsO5WqC;L6R1V-YfAv%b1#D5 zSOPe{Q3SuW1g`zj&DjW=c1dj!{Lb>==?%Tdn&H|d{l&pOmIL^rW)a+L3h4E@&l14z z;1&<}TLSo!!)ydqyO6U89%G*;NySAgDJ@E1HVP^u;l@MW2guo zu>^1qq6i+f1fgBgJsUyY{)%rA{K4|zslMznOAu+z_qZi!=(gGd%9%c4d4OO1DHr{u zC8*jTIVggsEJ30zds7f7EAzDFA=5JSPnMvjinKpl0{A9MxoA@Wzg%1de=$AKHT=~Q z!0)9L4}Y@+@NM!U_`4;5Z^zF@5NQAUAC`wqb$HKM0{D6P(j-$5sJii=rUxp+`IjYV zC>`)`OW^69HU;oY89Qy!o8R&PAG;`m7g+-M;^M3X?IVLl@M3FT$HjW@B^Hk*GQF2t zR{-B7DGf3O8F#ySFS9(r@4OZd3s{1T*|gr2CGhQoZN-BrfOFkN(6Ky34ETCo>oMS7 zQE%Gf+vl}QgQl$p!3T_sU_ndZ@OVIPAxi*X3n?Bys?K7jZ5x@rri{Mq3hYGhTdapKnMtc6o7m9;LEeCKO?^%Jh%xxWJ zE&OY22iT&;ECKvgDG%W)ZJUo?A)-w+*{smQS0L>r9~@P0{EG} z*$5m>Z!20JGR8f`IefZwadQS5#*sXt40L_eRS@jR!$`Z?XgpRt6P;F?M6(x3{{* zV^H5)!)lPjyj5?GRY!pDb7k3&)GbT_d;zsQG-rCigJZqgx<#1F=rtCPtC*fQ8`S>B zO}PS7kTGx23zmmOLs+x~x&2Yp(xhYw9EGckfMBT7pDj%zBofrY4z!ilUPBt=^3VW4#S59`kg)4XrD1?eA}t z$7UX{tug0o3mopu_TFqYDPT!jZ*xoFaCf=4g(ZNW)h!pjr76G@zqSB=JFa-x%JNXt z3%a!>$P{DP0$M_EV|i%WAG-J2?O%&4O)>>l`zLjaUiDWHJQ6x4W*s<+>~RrHTq;3qxHMeJ|3 ziL$cqH{UqSf4tvv0N>CpEjqvwxb}C5i{L;@;AuWN$P&QUMvDhikZG7X*zyo4`+kTe zNO+(Y1L;60wql5S{@n-j6Yxr5+1SZnSxBy^x>w5_Ls2AgFC_!zz1=Q;7Ci* zP@HQDG8T{bjvx`OW?7N+7<)~b3bU^B%0PgWVI+#PddpGz>m(9Yc>T9&ufl1J|omH@sBTkg^YmY|`5-W0$u zz!ndmv<5v|EL~`|DAR0sktIm9$6^Wsme%$zwmbx?U-^_JaJ0}c4+_(s#wC`6L;>+- zmY}9pz~zrr_gPIoIpRok+S?O|< zZnOjq?aO@56i_C*X9?=|?{JqUnF9DRm?G#~9wHSg4J<)LV}>d4G_cNC9^m&{%Qbw_ z5_sBPzQqy*%Ga9$Pt_k^vOLtZJiOHsRJ4-$vL#5gp!|v@fL{?Sx78E`{02kscIyqL zOv6{L7S(iD?=S_F>NW+Qvbc9z9vaFM53OsaXm4mafbXN1r!cYvH7%9KmLO5#(bp_N zO&go0z~iCT-q$S;nYQe{VF_xQ)xT*8JXNrmf=FHITb754diQrML8L+EyOzLHs^NQ< zAX4(s7SP!JeanNVRrC)mLBMYe^?qmx8rsyb1+;Aak>vq?^s&5gKehys`qEvNprO8W zmo;cm#mG-A2Q{sJergFKE!BT!2^<|LFa?RivAazV6lnay64W$y|I!jTJg43>1vOpt zuPhHW)xQ7Q5_r1k-&g|p0qD|MO@X699o^YP#m%TLMShl=oVK zM1hGZaI|@KpLLUHoV?#^QAMkt2P}c7s%}%@C=7Vex&&IlJ#6uK3bFTybp4T;;Ymy2XyI)N5|tA_ zWqGJ*3;t9dv0R=LDvjmRHp-ch%R$!SM{%(25 zG>rYj5;z(Jp0NZK#p$LXQ;PDRmWM=B?!Qa{mGA%C62LFA?X*RIK5L}JF`)3q*Q6Re zOhbP)%R#2cW(pFf_WG~0T7+qU{_Cw41xzXR-(U&K&r`NfsM`Wh1I8OI z4;4MOH(3Hl!|LjmAkYY73M!hP*DyU`YP>(k5>$8su3uRX8aI~}US8;E3TO~ZmcU^Gr=P6nhIPCBY&ocD$XL@7cbk(9m67*AirU-`2AP6&_ven}UeT^!^5xhe(UD4J|=U z%e{>(L4{`>`=+3wz~{}Dhd@!o#+D$_gWJRsz^_V|H`Ekl3dT0IJTzE+*nf*9a1=vt zW(gXKa7{s^IdpT&L!i#Lg(avdw%XDX1l$AZn*xW4<^EQdhXyxJ`&*j=y69~!LBu+O z{&toiVZPB8WURyKZ*O{_VdkxtpuuE!|817QW3H~hgC(eNo5dD1SeDk`(VXHkM2K&< zTLiyH(KiJF6Po>ZSS_M~awn@rnbzGqTY`ke_k@EhslSWWqD*7GdAgIr z^!Jz!Xb>|6fkGeiIB3RWBmG^iCOLZBcC!SDB2ZHhai^%iyXB#wChcJfGOa21v;>aE zq&=;kL}}=~EC&^30^er|Jas)&;IOo|zqjQf;tpSbA4||s1iG&!2)K9EHwBr-nEgx- zxIxi>za@y&GY+r>HI4M9z*Fx&(DqQnP=AmmsAy4nuqnW@gZ?3wz*E#<3L-7}4z)Z) z%CQ_~2`bufm}?1YtW)Tl0*9OM{SR0k8k$ZHw*(Q7Q1^f|?dHrl7*pqy1y8n}o;a`^Q;4{`FBr6SM^ZYcmFB-%B`|49u<+u)^6EIIIC3n0?RVGJ0V4 zJ&z0Zf!X&e47+VXjk)N-saDrW7`_covjh(F?}O7VLBa)`EpYgI7lSh_4*}DxgAZE* zhvid)d6uBU8W~%Vaa&{X5z_;fP7Kbp1P-HOTTsy;@G;AS$2eo~aZ6C+0?QUOc#?N; zmgOOk;A~5f>5V(b5>!~&FfauHkDCn6wLH``YMf_98n`VuINx&6;J1KnL86iJ6Q&1@ z0|pmZf`p~Avk*{c{iNlg!K1%}3oU`CVd)}EkT5MfxX5~LG+|wAIcR9?zQhtFOm+`0 zwFC~cvbG@Ne$?PH%R_^?w87<;AmCcv7Bu)h@WB<9hlb*@D=k5Vspx?za1{JpWqD}u zE3Sj9t!gM(+7GTVdmdCz72ep8&eXN9wFC|BU=Oad1d*Z!Q_$e*XYgsugQp?pdP|To zmp=H6C2&|uWD7Fx2Mj)Id5D+_7~E(HGA2z2pR)vkMmB9-2NR5EI~~kOhLvoc7qwqLqoUq zi>83yhg&Q`jVGf9rXWzrdaLaLN~i|6S%OFt+?OpuO$#hj5U^Nb@DrXdE^LfwCWWTOJ(E&_A~XfnFX{ z;3!f23(G@I*YHbAP*H;ASGEAYOgJzF2{&2>zqULCnoE9T2{I)cOhJWb3I@NmJVY9l zerF1BD`)UKt9R4eaF696(GH`z#NR68sNXH;Lxk2P_AP z-nR!WL7=(hAxjWxvGlMlfWspLQ_xVV`w`1S`5bt=7Gm(IC8#MqVG1JUC;wo1NOYGT zvjmxzl#g42h62_nEP=z#*?}qWG@bm>@=)W}>EKCAkSW_>3Ie5xp0YedN)tV82@<8c zOhH4l^q(ycHSKr(#T3w!{;MVMG{cz!N4@oLrU#1a|85Ctit9~*qbT|xrU#l&o-qYj z?>jIBo~FcqS{^)p4}9=1OW-I+`EN@Quq1zA3OpveXXdj!cr4wSncteRFqA3$iu!Lk zK*jRRi>&t4xN?|zi7CLM%bAy2f`l)$EvRt=Zsui{2S*+jumqVrm;#S$lbI>YL&W67 zOve(`cvR39WO@!=%Y(xt(af|Zh`6V23lc8*W)`$Oc$|J_7P15ljsUj6(d)Lb<)OlH za%K@r5HMjs^Kwhzuu6006_y}iNu(`^IOop1%JhK2(v11r&bUS_ys<;(vBGg?QA^-3 z-#GIcOOWyVIkq5RtTeNj<-z0r^339<02lW&OIU*DziWqcZ(d}+XaC!DgS(%6V5co? zWrgv>%#xO?K%H9#H(G)kOQU8? zfy4C4jQK;-6r-$ewWz`E@|jr(AX_;z#|+q!udEgYTxiWWOOSA<*%k!4Nwwu6Qn=e# zfiap*UHB3iCNLrXXRl)=aiM)VOmzv!*4eFk@s3 zYI>vBvOGAffSFm_5=7i-vIUt&rFAS14W^lA*0Tf&v&J*)Td(y0%HwI9nGLK4Ia9s;G+cCb1t ko+X>v(Q=Sz0cU={ffgEXHyvP!(2V&x1`6tTn!Eb{1H5Q!-2eap diff --git a/test.py b/test.py index 2836195..e7c5360 100755 --- a/test.py +++ b/test.py @@ -17,21 +17,22 @@ args = parser.parse_args(sys.argv[1:]); try: with open(".test.db", "rb") as stream: - ftimes = pickle.load(stream); + failtimes, runtimes = pickle.load(stream); except: - ftimes = dict(); + failtimes = dict(); + runtimes = dict(); -def write_ftimes(): +def write_failtimes(): with open(".test.db", "wb") as stream: - pickle.dump(ftimes, stream); + pickle.dump((failtimes, runtimes), stream); -atexit.register(write_ftimes); +atexit.register(write_failtimes); all_tests = list(glob.glob("tests/**/*.cnf", recursive = True)); for test in all_tests: - if test not in ftimes: - ftimes[test] = time.time(); + if test not in failtimes: + failtimes[test] = time.time(); def printgreen(text): if args.color: @@ -41,17 +42,26 @@ def printgreen(text): n = len(all_tests); -for i, test in enumerate(sorted(all_tests, key = lambda x: -ftimes[x])): - command = [args.executable, "-i", test, "-vV"]; +for i, test in enumerate(sorted(all_tests, key = lambda x: -failtimes[x])): + command = [args.executable, "-i", test, "-V"]; + + # if we don't know how long this test will take, or if we know that it will + # take a long time (more than 5 seconds): add the verbose option. + if test not in runtimes or runtimes[test] > 10: + command += ['-v']; prettycommand = f"[{i}/{n}]: {test} ..."; printgreen(prettycommand); + before = time.time(); res = subprocess.run(command); + after = time.time(); + + runtimes[test] = after - before; if res.returncode: - ftimes[test] = time.time(); + failtimes[test] = time.time(); exit(1); printgreen("All tests pass!"); diff --git a/tests/satlib/.gitignore b/tests/satlib/.gitignore deleted file mode 100644 index 48b5770..0000000 --- a/tests/satlib/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ - -uf100-430/ -