From e499faef3fcdbe612a92db1119c30bdb8abf2e51 Mon Sep 17 00:00:00 2001 From: Joeri Exelmans Date: Wed, 5 Nov 2025 10:08:06 +0100 Subject: [PATCH] even more debug output --- pkg/argus_wasm_bg.wasm | Bin 446815 -> 446889 bytes src/lib.rs | 1 + 2 files changed, 1 insertion(+) diff --git a/pkg/argus_wasm_bg.wasm b/pkg/argus_wasm_bg.wasm index 0089c628e555037c905c703ba3a0e908cfbb9798..d33a2b4b5bf8454a998bfe9adc503a5e46140706 100644 GIT binary patch delta 18346 zcmcb=NP6XB=?$sulY7{OCkL{tZ=TOy!px|;S%kZjkx^yxJRV=h&zs-y@G#nKxqpB` zlYzmUfkA=MQ6kH64KiOK%W(-ZpCik04l;krWHY`OeoyWnV9;P-FasN*kmYy>S&2lJ z;}vASK$hbfWIjih;}K;3p3OP@r#Rv|9w9kPBg?S?nXi!L_~RjxyhN7c2V}lLmg5U# zK1Y`017!Y<$x|fa8Fy^{B9Y3-vFG{$21iN98=DiQ61XN`(oUGHsJdkGHJ!-Ka%x*x z89!{ktj)~G_+j&PoxSQNJ8m3c5NKdw;C5tm)Nw@cUfe&x;Hcu*^WXr3z;O?l75$qU1ULF&z?JUqZ409L=` z;Qjtel2FgqHa;_}6WXZY;s z4u{zB;wgq5A3#QegAN+h3qU4e^~Z+i`0U7yfY{OT9K((YFpV&O8~_Pm*zqyZT;v5V zD*}>KCI>`vgM(_v3k)j`z%;_F_y7{Xuwr7UndpL-xa{~4s?0cHazeD4B^DbRVA^0d zYyb&h*Z}ebNCFh37%2+m2^_{BfN6pm{{bX`VLaFaukd()X~L_?iP5T9eE`!3vtk2C z0L_XolNZLAiT1q4v;rg}GAUM>=?~ZjRV-n20AwJ@=P(=QOb(0_W`tyeGg!<7$%st; z5UM{wQ^TF~k zM#dYHZx#D&PO1FC!gynIY#m5s^OpK@R>m8Xby__cS8Oh8l?3UT&{ogPxMH$ESERtS z=7S85tOB!`U3vKwSR7|huI#cES^yGc7MR7%%f-XPt-#{Ac=CxZXQ7oKVJ?s`D-Q=q zc=Kf0?jXipn+v)(fQ(h_4FtJiLYu_q?!KMOV0U_L?w`a1lAJU78xvII?lh3da|?|@;vcrDO_p1(ve{>GJje{$RUVta zEMn!p(J85KP^M-4j9PIPHUpOkS|jX!HI3Q$Y$GH;8TSKIjNyo;}paxMH*a;dUve zo`aij+`TWwcwqC6A3GQs4{R>{Rn5Y9VDsC5^BEZrZ0%*-%glISyEh9XhHQDQqY z8zUnN$C+~n7#sy1A8hC0Vl-xyY`J)V!BNX`!^Hy(0^k+`OkjHiH)ANsh;@97TNxP- zY)=tjlx1N&u)RryaSn(tFUEKVB>zSd!ta!3oXV^P(+)QeX5Tps3q0f*PlF5)QD$7g z$ar9Sv=*b+_Wvr3yFh}wG{Az}qqP_>GYO!ZI^AEFQEYpNE@L|*+(XlOxENihYv?oj zaKMyruhC~@=a5`+0NheLascLpn;-#Y$3NTWm^1F<;Fxpp0E45PaMvfgv4=_0DIlkEb(2wy94^zjn>Fc8z|1tj9 zzAlE5la+hLu>%YW430cmjw`kwN@V;c!FXW%-YUkqpfLN_$f&lxv4-&;D9jQXz=GTV zH8Pfy6ch7X8E1i_)T*7ao|W;y_FX-U57`)>OrJBE@e9X+OW*`^W&4aNj4ze=w@f_9 z;Ha&@=(q&Lcrbm!c1BUg3DcKtXS88lu>J9N#yC(SaoWQ;ot^Q?^jn9KO}KW1v4e~8 z$@cj3j7*FOgEKEMs)DTVzsUF+q`CSUqq)53lX(Xj%$PV7#6iI&pdjwZk>&Vi`|+=g zB}_~$H>cbGWR#q4_lHqqdfg93VPp~2=@)-6ilK_A|6~+n{4w3`Cu5n=2T&P0l~IAo zk;#n7MuEw3%k<;F7;UB}{9_cJF7}&IlCfvH!EZ+Y>2<#t&4oT=Rh_}O0;DFD>Btw5 zOYEj!{mtlyY-Kd_l+OpI*UK`CPM;^i>^S|ZEVBgjjV}kLe~@K%nC|eBm4CA{~0A2 z_kaXCm@j-jFx^pxIc)1HCQeqSp8oAyS(!>08RtybVrSZ@{HO0Av{%C6DBuX^@o;cE z_DnbkDi?Na|HsZ0!^rqxdNe1~7mhvs2SJ6$h3(;7Oe@$KpG*^CI*5qJlR``zxtPv; z-@Z_lNrs7O&G+g1)tS~Y?fJevUxSI6dAqMNQxFs5i|q?knPiz5PfXvZ&a|HK#`Zi7 zCTTXt2iv>!n2ea18ZJ!VXTUUx@x%5&L#7ujOcO3`@77~7WMbNI2_mszJEJ8?V$FA` z#F_69i9OplI)Eg0{Dex}_z96Xu|3g)=>-e(mxhDed-RwLn3$(D9-O}4fN3IAOXGH- z047FIsuKxe`pdzz;QaL8$xMrwHk{u+KZVJgiD|<5?QhbUzA`gDnEor7X))u6?ekKY ze3%$7Y=51`^o^P6#}9~xj-L<>j4!rd&Skp8#JFesh61J*M#eqcO^cZRFfuj#m~LFc z^qJ$%cW{3CuwAc|Nr#nj&-UmlCV!B!)zwUutV}n4Pmif$3Y%Wj$n*omSyRmvvi(#O z(`{D9C)1a8Fd=2gMV(ApAbWUwn3_NaOz36$3AU%ZpXmd_p5_Tm*SQ&=Opl&}tT}ux z(^>(>C(~KiA&WAuXPUsx|K}{Ux2nLbz~=a8`+{9e#+=MO-wsT-InUI=IA?qO5vGld zjDNNZ9%CwHW?u0dBEhud_x6M%OdA*(XKX)mnyHkTsi%Ls^?9aF<~jWbwkV%!9an5vyCrlHk+dpAq-G1!}(=m_*bDuGFF>Vig%ap^oeez2tPR8k{-!om= zUhtaf86(q#8QV2qFl8}rKlF}?6U3c9?-kRf?ejk{g)%cPnEv%MQySxj?J-}N7BMnT z*#7@36Av@vjO{!>nYJ=A&G&MtJxWMZ0}`aUd_n3W4k2_^CxD;HQRMK zm|IvFPi)`F!yLfK^ylkzZeixDP}*v{j0p2OMy8%`)6a-9PhtEsJyMXlnDNi_vx3ah zjB~cX6l7LlWSlYmp)j-cbXz{=*^D!`KNMzu$;h~3`e{+-sf;tGCyFr_GtKxt{hT1P z6yuKVAH|sEK{^B_m`j-^%%5H-%Pa;eYa$u1OfQgPwx4b;$!spPV*Wt}0pvnv!*oF@ zW}E4IB$=Is4q%mxV|)QJAfBmV>GX?I%!SNzmL8mb`ah%J^vTl9O3XW8JT@6-3&u0k z?PZvcGd<~^UMR&3E|8-c_e`&qWiDW9=mUw_OxKoU))l(agXWGq)3fB5tA*ZR6?Xv@ z#!5_6pe7vn$Ed`#rVr#A|LJ@R%u0+WrW-0S7co8oQ9)Csnar4e^h|ezW-Pe>k zg7NhBWv0y27{%Y*1GNS+6qrHPTY&87EAyH)oDxJiYy%Idcmr zl9Mf&^%$pYpJd4#%Evfk`wMsGZJ=B>-;?<|6XT5S_(h5}irf=d`OGEkYz)AO>JB^e)1@5o|SXS_0fLl$!|gp!&rm(6Sm zV;3Q@kAd0Ka+qC(?_d}#GJQfWv!tys)ckuG3WT6C_c3Gyp)wDqughVU6n+R&zy$Ik z%)k88@8vQ}a`HjdJ(>O|hgnkk8HPF@sDc;M4RVaY5EmIo(U@d4MTm3A9ZHz(r)!oli$U0-5Xye~)e>egriMk+9ZQ%cr^l5ut4!A_WwsD{11hj! zO*a_@CdUoaOUsyTrf(=^)?u2mXj&Ds*z~Vu%ofvi%9zcC-eXmr!L$Lc(2wa1!j6rM zPo@i0Fo!}Y`{_$7n8jf1-xbVaObdG9?opoZU&*X1G^6(*g8;I7?o98iWG-ObGW~xg zbCu9+tkN#i&sQ<)FkS$u@t^Kp%`C?B2Fc{@^Q)P^vNG=2KDCjVg_-}sG-w-5fkT1I zal`f%EzJCEj0>hW^f7^b=E=6&MdpKeK?@h4J=u!G+8^jC~+VczWJ6 zW=>F>Vb3Z!Jtc8^)ipTO?7nTO{7 z0Fcw?L!3Sz$?5Z%1Cg9Aj@{L(7vOjG_UMJow#(pwL~s6xnqu%a{Wt-+)R_9tAc*Mg~`221iCk1|BAE1qR1S)BBdeoSP4E zsXlf`eq9c8r1Esj70ilQ!*~1A70f-%7>y~1HO!rCq7BmzLi>$i7CWc|^=JFNP0aT| zO-Yd7B+>omc;qU0IN-zf%AL$s{7iHHPXBq1c_-(OKj1cN&)@CkCz%^qL2X%(IHHZY z>pb&cMy7^;+jm}MzR1aVXL{m8X65PYZZqdGKAA3ihgnzoPS-&O1!hN$EP-{5uDpzn zZ@R(#NM^_Lp!%ijAcNzK>A829!y$TQra!#HT+H}ny7psc6~;T$10FLcIbZ39W(6#o zSAg0PADI}q6__0_Fl4DP@N+x1fUE#jVQ?$Fe(^7c#z?uK0jimhs7S`v+iGraZvrN+dH7u4F=YC6cN= z(>Wi4U77fhc_NA7XFa{{5wi>|5Vt>~MIdhf`k0x6Np%Zo06<%T2|5xm@gRf1M^FSX zX)y69FuJkSEATi@n6C7U*@kh!^!R7Y-2xv#YCyAK3M>j7jt!Hx|9ZyU#lg5|y6y*N zsp<3IGg~s=fUrNq*#V3{rq_L7j$)c}X1d-7X36QFKQLP|u9>d;k=dz!#pweKj$8s0 zSa`U(6&M}2oPlvcHKXG`5SIre3#twsPl336AT9?;@eL4{1H=W@g^mwETxJj#Q~^3Z z260(HTvm|c=O8ZFC{XR^_!-3I7m%C)YV|2FIyRj>z~IOWQVpv79Q)61XaB_fNeWVg z$V?aGWoburlb7II5B@ASJ92Q*oj&DJ-;6wpVUmrkRuub6f zb)*#(P#~MY>FW-h3r=5;L0qs=;Pmwkq?bJuq#B&S{(|^mPk<9xQwPi}Z~}V@(hT-7 zGssyhK(Pk47@WSgfwoQ=noJBz;^xc@j#uU!X3$__P-J$z zu>G|(izE}{lI^T=EKIVDbGCC>v#4+|UYM@y%rcjM!=!@@0w+Op!yF1Mjt92ibY=-> zW!$jc(37Qx)o;hO0}T2M4A!tI`VH4mr_Wa)^98aT7a;RFvK(h1^CwLI?Z?u{)NpNk zoj=P-F0D7;U?Z!{3LFZYSxTU;6tkza0<+^ExD>krtK*&Rg;6Z?8MQk8;M6b!E(Ox? zW4cugOM^JHNeyjxD>Cwc1M|i7i!m(uj8~>R#(^-NPZY)2@ z;3y4}1V`~_5LW`k1-q(y#q`7JEUJt;fUViqK) zaiiw66Cfq*5G6aNFUVpMGkgFN;(!R9fa>Ce=z`_FA0Q=AgKx~59$&^H8qzfLAcG^+ zq!&w+BgV#_Z{dxh$gfSCGV3%!YW4 z8P%w}NJ@4d7dj?5p&-BJJP`XAEx&So@EwH|TlrTX8>&YB&VDWX#J;>k)t*(B|0jEBL zIUq4;boI=IxCt6su!?XCl9DCU4a!->49LccVl{4IZG_> zn?;B)xikGiIg6NK%VLDkmqifk(Sl?SNC`AZdKN>VZ#zc=J)_L3N4IgASvlsGTjgq-5Wq+&_G(S1mZ}v zKsp0b0u7`++wCe@To@V8Y;Ue&*~rAyvTD0oElU+&eMiGV&`{e179KP&Vr#@ey$Fj1 zY>gOJNU;D@f~^t5f}}(M)S?8}(vbLGGTpw1MXde~xTbde+yYKh42~>Wj(b2t_dx_S z0MB$BWDwZT1nTpFN)icZd#9xn1f**ns6OXV0Gss%Byb$00vh!z z8V)iDY-QqshM=_w)UY)m!`M&^>j4SD4Fj8WA7m2LRdc5E_p&%LUf3Sk%hJinbmrUk z4-;9!7^m-<$YR8_;wKW1@x=D`6IrB{824=F-olc?#CT?V!8VozM#dN0FK%biX5v1u z>L7yxlOt!DD?Dtl((3LXM|E z6ezT2fEbrR1fK#EC>~Z!h6FpfMfCtAApkNIT-|8|<$0;DjVGsez9~@bZOQt}~gakjNg?tnw&+m8zL_v#?CEMqIWO<43_w>HcEKd-j zQ1yj{m6P$z^oGAI{z6}_9RLljGCA63IX(fg*KB|Im&Fb|RQsRh1|#EPpu!=LT*dEHl8p6Z@pSIh` z#@fh;;97C8rZX`fn7)XMwTkh;c3E!LQ{0SOroRwlmEqWO>HxR}I6Xmv)o#0&IO|hp z(Cnr(YdX`46Vv6mSyi_0m1eDDWcqM!x}h|y6v)BybAka8QyvGJU!N>q5pq+btDYOPCoqOkbzMI-mLY@dMKvby%gQXQ{HPFdm=Y zuga>)_+#^1t3Hw+r>9u3`tY3q&BlTn2^?9DPbPp%S*Z&!F&>Z@yp&~hyfOW)1*;h( zi!y++=!xlimaJzPr%eB2$*RZrXS=o)D?cMs&#CD))~w4I&rE-8&8mt>l=84dIbF(z zHH!BHs1Sx)y<>W#4Xc>c1(*;|mg5dk=`L0}$}0;m9!$#T3g zozIrlN8kh&QTypDZCQD-YOrS%n7+!ERhkj3-Ch>dZj}KWDUs#4VBSGw8x~Bjvt!-Q zcwxJpJu4F<VU_GllWgb%N38W9=S|$bX>HVB#4=@OzX?X&YhibVpeYF$oZLP9a_j&JZGZ`w zKn0-1Gq?jjWBMLvR$b#2U^R%6oFmKe2Pj#>4eJ0YfSLr=DC5FvBC`Y(5g>Q)WI0Yj zj)>ldgWGdlSS1;yUVsK7p-OH{MM@~x6?)4Sxr#n zJ3y%C=LbJXD~xR4h{BT?O;(l0`f73;~5aes=(m5 z1jM)qB0$NAC(Cim^uIo=T55klVZr9u1PWY`I+iTQHy|P8DsxNg^nX6A%F`b>vvMj! z4PF7NS3y&D9U#U^5CK|x!IR}UqXVQ`Qw`F|c7z(l;0TLClo)G+sD<>viBSu61*Dte z_!!g`0o7ecK#bQQ0@^*8G81GnM70v6YvgzxBo9hWVAZ!EJa7V-vi-Ur>pN)?$RL9w zaxH&mdT%zXh6rRd0-MYmP@uBI8Zcnv?o1B^>4A(ozQGSq=h2GY55T#oFx z>5e(98X}NBpW}Xz3^WCkd7xdJ&>L(HW^4y z6wPh9xvb%8yRLy|UwJ^IQJ^(O;9~m2G;o`SC(9AcVszXy{Z%e&6yFtactP5L4K3S) z@>nexd6E0&3#OmRXVu_E?T3Sfko(~mwlfy6_A@aqnLe?IRfef&<@WVOtO-nvSEdV; zvU)LInODF} zu^KaOnLe+Mb)ww8eem%e(14)h4P^d>?Y{M_Nj!`*rf=wGjbmIfoxg`Qk#WcN!XDO0 zW~QEf)6ev?ZenU^n%*#h)s*qa^lcMZ^+bL&f-1xrj0%jPW;A2E1EN1q4+JSZIz4AHtCTrtD%Ol?1xP~DieUzbW-?=%0-_ItT`>W~ zl(b@K0MX25On*S7+=1zPL7LxyJ@o)2B4NdF0Yo#IF`WU?`@ot{fS3|i3_CzHlNr+% z5WQzQ-xO9U^W9(-Ge9EZRty~=n$e7@1w?};kjop9U#>0(R*KP~jzP#qa<` zgTezuKbX!ql~s!I;dGg)tWq-Dz^+;Wl90Aym;s`h&6uWu=nvC_rm`w|tpuz10O~M- z90j5uHh@yV3lNjdis1%`2E`kQz6`eb0*J|K#c%*bGnz5&0nwMH@0-dhWe!?jV8*ln zB*JXPFabm}nlbf&=FcMl>M(URPro~j z)tvF?bkXUoHbPUHK^~G&;Bl%qXBJT4aa^-Kc{=MCMo#DqZ^QZR2{Ty*SQ+1JFPz7E zfratGcBjRx5{!%=wnr~v?PFwoGX2$3*7af-6M8I;JdPKpuV2PmBl_gV0R~eh21QlJ z7dH-o2ZtFP-%NK{&Z+>KE?Um&!}H|^s8rm;q`>U-WxB!@R@LeEmb3C}Ex8HPxZ);E z;~FT7QGpq>W9bHy0<&Y!&FS@5SS3NrAPeuZdZQW_eV$c*`q|~I{L{CuV3iWP12^*l z)FcMSCpV|RdB7^gbmr!Ctor4qSFB`hV!SiG{vNCHbh%ZmIgC%H^WA6FWxO+e=PK3& zh>X~DgVn6jjBlp%JzxdR&FMT~1hHB7&Go>iLZ0~Tj(zq5vQBO_DGuj&2kSm!aGn69^;)r_g-*Y>path+gR zU;KbAq~maWGF@*c>nX+;(|_({Rb_lJU49pKW!y2n^Au|ZPxEh(bpi_9jy+eW^PXnSV!X4x;xy|P z#_8|QvdT~QKFcb`H0KtUv;An|O=kd+B4W8jKX9mrrPuTwR z0_#ks>7iFx<)?4F%qqsT<2J~zn$xFUWmQ7WdrEhWYi%ZJ1wgKv}FfvoSW~ zK3-w;J%M^+%BN9$#hk5S?)cX8)W!F#8uwcen=6TG*_Lf5@t~ z{njy+^87CAbVhIi z(g#ZAkg~((K1$iaJN>|YR$q()B=7-i662NWTOP0~i8b7Xd8Oqp%qtyt!KD}D2TZ%S z$3J8>WMbSged1%*QpOL{*`KhQFs_+y^Muuham)11C#=bgPo}?p!m7#mYr6PTRwu?O z)1#iUwlf}|{^%*I1IO{>2S6+4*rw|(V3wTj{EStE@yYavXRP{+3qb1Rr!RlTs=&Bn z`iW<(){KXzvpi?jVf;4T@HwjnsA2e=^`_8+{ooNN0nli~1rU42bk`TGjU0PV9AI!X zb^J2@+zZw>jL)X;e#sid)N*n<|0`B2tpz7R*-HYl%Tqyt)lnkLam7j4{v%FMu|J1N zfzz>N-}d5Htg4Lln#>HKq{->{f-y^h({Tl37F^^3SY!c`$PKW_3?z{YV37$(A}7Ei z9Y`Vvz#9gGT`^^P<49AI!16X;|yW10bS*$k#EfvYSEoEl6sn3NbC zTNwRW926J?ell?@aOyJbV07emXK_&AbiBX>a_^!49wp!Uy`C zjvK&2$X-|h7D4vH0{d$LVsX`eG1$H4;d9W9oJ1i^@-Jq*^R|v`jOA9 zjf^k0yM1950Bw*6|H@j*$f!E~>^D|($%&wNnImw^MkBz4wy+3&3U zjKUv4fx)K0>G**u%kcq-^JBXG4^}53aDdDKwQ*QV1QxRJuy9Z3|IF&kxMF(jXVw^5 zMo{q$5@+Og+_3imgQJ;1CyOGh0;l5v#;oZJf3UiGL)Y%GAT5sRfv*05EzLoagD-l4 zEyzKV+cVwpC#$6Bm9wCvCICrl5(=!2pq<#$6$RAA6xy3^?>FoA^|#^%q$xMTW%E;cE_9iW^5nvUn@18r#UIWb*}o6Qt7zM9C*rp)+adMh_uH{*@z zf;?<9A(Z^|Q#@=&j60_P8v{1m>AHq&4U9R{*BP?yW(=5~WyEIA+oCMMz{kMAkYA+0FlYKYBQ|r+6UqV% z{0s~X*QdWTVw2{4p)9~42<8eIv(09lGJTyfn?BnK6#)jv2h$%Lvng>tP=T27ZaSX{ z+xGfRssaq03=9mrRRtJ84$sUhNli~JQb=H6U^s&&mzI+c4WazZyb^_k7pejb0!Vt3 zGZKpulS{z5In)FgxRK zOwYAq`^M-oJ;j>MigCg8`POVkoLh7R7=#!Y7>-T9Wz8nd_-6VyYc_2r4&CX>Hf&a$ zF1ip8hfYtkVbf>p&=p{CTrhpM4VxU}g6X?#*z7qU=n621gY`4nvU%%T=s`8;3NSD+ zFfgd`2{1%4Ffe#9Ffgz(Ffc^NGBD)mK>{OpdX+8PXGWFjd3J1<8D*wB*|T{wW^C`X zXOm`R44A&kfo(qHhv{C9Z1Wi>On(KU45oKEv8`vku-(d;%^IYp%!Tbdh?^0|Q)4QG3^ctF(FQuP8Vn3IQ2h-k zdW;zu+!+`c=2$^O0p>H9qudx678@UE65Drr zvw1MF-mnv3P@8V$%_b{cnpd2eo|l@UkeOFvrNCh?z@RbR%8N~TdZZtlIOC7$g??ovXKSgE$68!%{^QR6H6= zBc}?OT#*|%W*JJ|ARd9Kg{6vl=;FEx3^2VLAbRT=;F|Oil4l^2a5+$_c;N;~6)^Rn zRPhJR0#K?DaECYwrVf@WRNNu@HQbRMYY9meF7A*}fVmE)8I&p#u*-o`gX8v{VQkx( z82?N!jAYx!C*ut%06~SQiTCvNMr>-^qode%GczukE*{6`#^^CUE{@IEx5po18;pj9 z`8ufhdMJ$?<}kTq{t)k-^oMw3{q}otY|@OOzXPCrs9ptK1qPTNfk22Jn7Io22ss@z zIZ#l01VVyp{dB(sw*U2kL8wN9LOCS})ks(FH@~a*X?@x23V2VSKSYIGv3xld)%e)CD$HMgVN|DnbAN delta 18243 zcmZ3vSo;1V=?$sulY7{OCkL{tZ=TOy!px|$S%kZjkx_N>JRV=hotxkA@G#mfxqpB` zlYzmUfkA=MQ6kH64l-XL%W(=apCik$2bte8*^KXn-&USnXi!L_yU&URnJz*+nSWyP6p47o6`Q|Eq%v}>xqg7bQPT0m=0vFkF2)O!FKfq7R#aWWcwzE&orukH zYFk(*A5=-0Y^1Yf@=?{u&HB2j>Lx309AFS=U}4~PWOUSVMDT9hKfvIq;`rzO0S1BX z%naNLtd5LkOk0>0SRFS^o){`J**8T=ZO4NH3<6h}8Mqyx%1?j<(3JmyDK~F<2va`g z;QcW2jyXhkOWCX4>$0a$>Zq<&4J%7|fV9Fe|V+v6wUM zU{+voTmaJtbK(V%0Gbm)J~9)1@C2U~7oJQ`j8?OFf?>k}m^PRVA3y?FZD@Fg&xQ|A z!JfGB6vK)KPoer?R!jgHgw2Y{J0o~FQ6mZzJ`bQY9%W)4(FU;UKAOW=S02yXB`E)!Y zk$^$4he1IxNiZ_s@VD~a@_yD$I#s>^57QpnuTz>&1fYpizAMsgn;UlP| zQvZly!vP%H%tSwY!ewAUk_zJ|kdsADe8MpB!sPnoJVuD;d{fNeETzf2QqaTKH${oD zVe;;jO2!qNO;de&8Ba_;ST4DFPLVAmW43A6HWfP@!MmhBE=T(!BNdjrT= z#oj=W8z!_#Z0_#c$qaU<*XI67JRr$AlfN-RMea@miAm#$k};kC|~Go#C?= zG0xchYxZuCiyb#eY(BTp7$p8-o7!Z#8;v&K-#-e^1 zaF+&HaC@{C<7FlRbW^AM>oSUM57A|8XM}rbIu944>vRo$MjsBC^6fSHjO-keQx1Te zSQ`$&oNyE*pzQc!`y6w|eHJ#}#lMn*z7vj_s3O8MztdejJ3U0f~0N)HrfDK45Tsv3-vl<3cu}2}ePBkwHNS z)Xw2h5OSQcJ>Qoxi;-i+(E|*QdX6`?KlEcf!^8CB==Al`jQ<#4Y+o0{$jQn*~wqcF0F>hz007{yRU)PFLHF}|2?_miic( zKmLo+W_rRuM&apVzZoT&{(PQp_?yvhdfhKZbD_srm1i){m~QZ!F_me{7m!ozreFQd z=!a})G;_=61JmnenMJ41lVEn7epQxPg89Uk1JggqGCNH7{mW<~GzVnzWK4&g|I6qs zv;~J`!aqhO<~v^wOiz$!j%EJx<-qg<^2`N{6Q-a1&lohl{x>80^!5K4B^lR%1Ui@x zd_FMUQHD8e>nbKrR;E9F+qbeZl`t~)OxI#(+Nk`d?;x}z!Qm+22>H6T$z#{=8LxtLb4GhUe{#B>l5ktcDU?Arfo0 zZ*%}jtoR9)IPnuAv15Cp2h$4{<|hpYxA*8V889)oG#;G3-+*Z%)0c+rLIF&SpkyZ! z!t|GeX~OyGzmu63F)cX1eSQj)HxpCC`R#Agn7%SIUYPzXnQ1ZOgYENDn0%NR4{U#( z#`KMu>BSF-h95s58W?YEznsf-hlz2`_6-G0EsTt7wwo3){b6MK@O`>*3DakeGvC1( z>cMusQYIZ%#x>ictC;*j%2ro1RkAXj_&q(QiYaV*O(W9}5NAy_Q^@vHO-#308Lv!V z*1?37BNuftWr6JB?O|#H88D%j=_lBp?tZ2Z2z#0*FkR^ovjUsro9zpBF&T3*|M_}gy3Ki}4#uAC@kf|8GBUo|E_jTo zl$m+PZ-@lbir?E4jxcRtWbD{}DK3&I+=U=4{lF9!n7Wwr~D$591D^a zObRTHZ?-SF%H+z-^yl05*Eg7EgFMrI3lb{VZ!y7&;P&_%FH-n`q$4)X^acD$9!R0#K_pN{r^`c9%jal?L0r3wlXqx{G4vZ z!YsG_;V-7u?2Ie6_cAfBW@KEk-I9g*6EowS?K&LHEi8;Xwr}KN4q#+@^L0A6F!NO? zZM9uSgn1n!)1R-?&xkTlVSF<^Qjocr@y+zJg3Qv4J=3evZm7Uq#CQcn1x=M^GGlttGu=UkS!}wCB6AyK$M(~T%->ka(Lmvm+DZ zis>hGnavq*Ow(hIV4N{MQja-HZvK%2pq6Sovm&DcgCm0(6N3VS0;3rd3lB55!A<)%lQGb=MTOs_X*j$_=t{hm2<3n-40Et&NgTeeTKWDezH?AZRoop~E5 zU(NSqzRtwhvAx`fc^f!+E{J9p-|ptetOH7(#i7h=K*>`focSUXHRkI!W8VLUMX zO(wIX^peJd433Nnj2cWV8caNbj0`;T+#nu<WS1^k) zP3VQIRi5r&$*e2X(R&clngqG$%=ErW<^skg)Bjg8R|$1vm3EnazKU6g@c>AT|8(za zW-+EaNG5NeU(NiLm2t)Psg2Am%={OoL0f4G912{H3%0LlVdiIJoG`tikNFF%`_r&} zOE>drCJfPyWoA+t27#j%h%Vf&3~%u!58-6&9fkLX6R zDzG^2nC?H5`4vB+7X?z%vE5@9^Cz&|ZRVl5JpknF`4DH%M{@Rj=0GH8i(_~3>IJx6 zyghm$vn?~@mFatTFfSH?b$u>DJC57gnb@XZoWyK6y>ThC0w`1$FGY5l$};9a$vaaI zGC1-mun96UxbiYMGAc6gFmWp|I5ti1TLyD#KE##!*d6$FIn05|(=AspD`JG}_N6PB zdzdkrP!4ODJK01(OgjkeE`nL?pnlVv?e{h@-vc!uLH?3N_m|_AtKd<92iq%mGF$O8 z_57Xw^BnU|&KG~cE!97NwwIq|ZeRtqU_s)DmgTPV%zqh~KK$Lj^CI&_PR29S6CW}w zPhWSNIgjzmblE%1y2@v|4l*b(J8EPJtYdWLWpupL4emZNJDvyCF!kC{~%&rA<^%$($Wq#K(2v1pzFYD#=$V&GO_cD%rlrNY3^?f3;` zDySNRTd`)k{5`N0>+ds*P4B(OT*-K4I{ST?^Ozh>(45DF<~+ISrT3XF8P7~#f1kOK z@y>L`2h6gJSEk!P0J}2f0XA16nSpR66S^yrRIQoL`4H^N#D~liNen;h>2;5oWnh80 z{Shq!ar@WD%p6Rr&;bA@=m5aPgA4*6K@q^D!NjA$=*Cj7z~k63UFjLK4daCA@z0pM z1s;IZfTpVySQI!MKTO>I>lt$w2jiOQx*wROrq6%RY{_^6!u||r2Qa>vUiX1HimBzy zbiEJElG8tbV76qOGhO#1vs3+y(+3zFxdbM#@Njc0Fgh+d1LK0KLdSI=E)PhS6C}F} z#N`8VIY8VKAT9@p3#$JdFMznrATFrVbG!`VvVgd(AjQ`~T(D7~8qe`Dh|4b^IRVu0 zQ($!b1mg38RD&u!$Ny)xvwvd#Bn2rxWTuPpva};Q$4hxx{xYKESysn4+c)yFEaHsb z+IEn^krQN)0?68ZATHRApmvhuF*sKaBzq3TWdkV&HIf{!z`3B7k>f28mlY%{4N`o6 z`Z`G#iTbA?Q5FRz&?wS}W>B-7iAR!Kfk}bEkt53t6mgD!KuVY)O5U_Vlt`c|nb3Za z!4YaoLpwx?II5B*ASJ92Q>H+bh;i40ZDN7iv|!qz3ibN zcYzbwTM!@Y32*}Y1mc3t0w=JmAkAPOGlQHp0~94-i^1t@8Hfu`_Mldj)Z%%0K; z%#Ls1QtS$>j%T(PMzPFi)cWxor-qI{Fe#9R7t^g`SQ^BkZD?rQTal3m9GEwzUyNbN zXFM|9F_vW|gtD8i8OI`{J*5#=!7w^9IwJF!PzrOS!gQGquQo(WF zw(KB-qXLKvj`L;HwbEJC7&lB0OlJvFII;X7gQGM^5*)>kL0kzC7woFv%cmbsXHjKb zG5uvaOC;l&?amo2x=aQOW*lU2WP@a*8M7ccjT<$m?EooZhbUPweL)tBnBfJG5C=qP z2UHg)L>DaYy#OhJ8hm2b^!PFs(U4CdF{nv5pxW3`wfzJsftvgRs)P+y$&{I(Yyq+S z$E@iA*({=bYmme`W=~JdWf84Ef+RL$HpFYps79SdQnCW7gb7v21tcXqph_4~l{`XH zasr}+TY+ghdk#yu;g|V{@O=X6BTQxj)g{Q~Vb6kt435xH`7?j|!Yme1-X$P0XfRBf zzA=YIjBgJ}2pXVk7C-{@3P=p9^~eH<7tsRr4M+*pq&rY0XaU-?5D}nX7JvhkcLtJJ z$Ml3;7P0y@NJ4WKLM%fI&jUzGHb9l2h36F{B}br2(8BWtl9C$`CEN;3+rQ?rh;i`! zn2iXn7qh27EN2llm@o$+)-VU+GPLBl0;B|5>CBiOSH>d7y9Y^V&Gg1HP`XAEIsi2Y zEwG+|lrTY3-<3Jwz~cJ>5`$J(FXn(#pFz)DM8yAr8U+n4SVg!5Ny(Jy2IVYb275q4 zToBXO%!T*_8agmtH$Y0D72k>JW#uffymuBM{C{TpgK`!z!!JlePZmK8LJN|f#fWJC zvj~!)79fdDSPapImY}vEDOmzlf)++6KuVxtv|}+OjP8KMpkZ`oF*uA2KY+xbN%{fQ zD6}x@Sb_+~AB(3Of}(o?NDLZC6P7?6i55tEKuVy2v}U_qC5sCq!~THu!VLqP zbRJ|9)Kxvx`FmL$84qj^>}Ba>WZLs>`-h1vVT{xFOk^=)n(-5f$GBtr`-v>lN{nl^ zb8lfuVPf2~y)di4*0LV~q zb^8F$1y{EpCQrBh$Rh5!1T?zI?YJI9u_!P&wtyI$K?Ep&aAY}7nF28r68w-B@>Y;M zzvB@Q13yGBo*+V@>I(}iC*z*!4S!kug`QkH02*FpaA|__hSIE( z)5Bz0eL);VP;$~ zeVq#HeCF-P4@_^=VU?PmrOK+pxP5xRDyt^rmFYWGS%VqRPp{Wul>y5zpPzPc`b1S$ zb;di}E7Vxo*dUVH$l_OZSZx>u5N&pF%)XkgsK+X5(*Vw&jx8Vx6h|Ccj^O^zIcQE| zhD2o-NS+;`j0dD_dyyXNVMgvfM-DIufTQ8ebO!_0C5$JgKQ&-oIlaz^m23J8L)JXT zC)3%DSj(BdOxWIF#CnxU^v+7iR5cT5$X`H#2{h#LWP6q=Dz-0 z0=SHoIsg;n0g1uOSVqSa)8AUKnn5xs11N*;n678ZdX}+e`X5VHJ;pcNwXInB8JYf^ zoNi;yx{Ptp^vBk$s)!^h4@;8MrEFNEcy}})tX?s_(S}t_>HtiLC(CgKsBD@H4pETJ z8*Ny91z!9=z#uS>NdZ)R$z(a6n9gU*>LaiNi>UqdmA0(BST)$o3S^lv$$$-!$a1`a zO}8wlDGOIJVctPxYbQ*vvt!-QcwoDoJu4Gva>vnuHJIP_B5~}3H zRHUSHaQl2$))+>qFQApkPz6t}!~M$Wcz3#}JF5wb{0|IyrRlBitU@S?IzY>mApr(5 zWTQK48;V0`pgT0!gSCT2X$#1Y9FBWH6srP*;}j6%Ac%lQ#FFWMeOR^B-hcv&&G8e6 z0;yxka=Zg#BiEu!TBrZ>VO5^~z?qd(8EWthP<08K$om1R9+|$cjJ1w&({$T%)&#~G+vk4^z zr&P1{Fz(p?v6|I^iE+tvqdHb|#v9YK>R62#mrS2m$2w8&)IRu#4`_(c@dz@1&vxH> z)+8RrmgyV1S>qU|Oy}=mO=MiMy|9Nhl9}np-sxxhSvN6#Xq?_Kfz_1p#q@0xSoK6+ zG=eJ08H@^ypmkSMK=ixmKPIr+GrpK^F_G1P@x}DaiL9DJ5Oop|Wg-fUj_;-~naG+b z4-wx1$}$3GOj|&7a}&tO4IpO2bd^c0c2*EY4ImLFGp0Z63Ji|#!1n$CG5O4xzJTbj zV4)8nCYu@48xTEt`kYCuQX)IRCf)#vFq$!40nxXnpPIxfB?FrDHDlTV65+RESOKCL z&6t*e=yTI1vq~|Zoi06@RZ0dluWZKjfeo}`&x+vzh-Nfnx&xvgPY(ns+&VpHGOLt1 zXhPPEX$43^(u!dQh-NZlngXIXgIzHJ#FVsRXaLd7W=wxTh1`bedqJA-fPL@)BqCwO zZ~;U!nK7LK(d)pPPk@*bRt!5pG?N+A77)E=I^PslDf87}6*E90;#LeDAezyPsRcxX z=8(;p8bC~OD~1oCrZJNl(;E=Ia(es}Rw>4N)2pViO38r6*vy!AfFwk$7*>F2CNrib zAo|Ai4IqV=r=JEXyaIOV2T;W)Y{l>ZM1#TuL|>TBIF(h3@#1uusjN~m%fPN$0g{lm zVweGL^GN(?E%q;rth1|DrF8@bzsJ{03^a}#V`RxGnz5=fav95%^e^nlNG}cP;J3z z#`Fb5FPY9ija7>Az;vx?tV$x6z;4jf6Z3)`I*vq~^BKG+_;gtd>6@yhg9OIg>8 zVNCI{IPy3in7)1)YmMlY8wVInnHUsR9dFz?03I%8aJ)0!VL7V;XaZ?Ds}IkU8=z8g z50e73)0626S6Ef2-&@YguQlZ+Oyi83FpYDdEJg)p&}O3>ObX17e{M{#zrrfX_+@$` zhH25~S>>mnUCzoseftVlDX}wfBQHP=VsN~2bNZVHtWu17rW>w6cTDtoR=MdFD_NTu z&rGks$ErMCZWU_|9@|aN-;jbbk_DeYgjij zGJW|uy?-6+JjNZ<_13eRF@5>DJ#9VfZcg4CKVZx0I2^A`*W1Z@it)zupF3Gq8E;IN z-^FSyx#brqyhT8Zi>w#~K$9|{ZVH3rn(5iQSQQ!fOz+*rYRhWss3P3PK8Epo&e%@xgY#J*-zi zj@+)Yk99u>lB?JpcTE3qjP(HHjp-YYvuZF-n11Uxt1&24Pq2!stO45~196;$0)wM~ z8578-SY&iHRFQmttVI)N*=iavRVeRMoL0~0g{v%9FI)5Kgnv#IAeP4 zNl@Q)`qY!GwvrEUD1HD^tUq1q6e}N7&z0$QCt1Z9d!{>{V%1<;ab>!~ZdO^w71KLU zu~zVWhPs2>@z0g%yr)^S7|(34IL*3+QFO{JczV4BPp{J*&$22o_1v0Xc$d{1OG>|g zmX&|H&RJG@ZW7b;j&rP1VmIJc-ho^B;1)PNGo8R@XY_g2%;}fTv1&|zbDot0TjHAT zdx3QxU&n3mG>w{A1F0L$_ShLC}jli^aJ-6g?)7hV}nlR3pZu5lIhjGdD&L^zNj8~?=eZs2A_-eZNQ&uO&mg!MX zS=$-6Pk;23)q!LC@dKdMa%|J}7BEXrcYeky!gytR#4}cX#t9&G^3#_;V^v_BG5y3d zR%^!1(^;Og>M%Z=Zup#41JwL`&U#bm%zp4llK^NOVh@PjGTrqBYa_?n69*U^O&y<1 zKlg(54dbQhyI-;fF?~5Po&Oc9mDYrlpj<1V0N#eFpup+~n&&$S+hW8C$_#Uu6gV9} z?A>1cidB`dUWq}InE{j@IUQdxW+`wwu3*ekVuXu50E;bP%u-^3i`@W=&0x$@Vug!c z0ETXo zn6eZ=c7v?me&!9U5}VKq*r1&Px4=V21y08q(>}90F}t%kOc(jV>dQD~deRTp7;Yv| zX(+Ieg@=iIy6b1wM#d}KkAG$rU}Rji{l*v8QbtCV>3-i>%_aZtI{;b93T#aclH8i<**{q& zMUR{Xr5XW9s*zA&bp&mGo<8#@Yb-}km!krM2Gg18|9-Mca=cgp=3SXC|BJO*ZAT}V zx1`fiU;+!bEQ1200)s9CgCkRk5`zX4T<3{jti_C~)A@e0if<48%{rBv@xb<%Y;684 zIxCJHU{GKbSjWiC4Vpe?RA2(J`9QnKSAbGEXo{U1%>8qGdI~q2DQL`eHaD9xdtN@Keffl(yOoUHR zK)8FRzu{%`XWTR0hL25yal!OdKDOxsv(ADBjzFFRJ7U6g9)7kk#$DT!`PpRUm=-cm zpP|cU#Kgcb{gf`70%P9v*Sc)#tR->+4D!=A*t5w^H`QaaWV}2*Uym)DF?srJJ+?T; zBipU?*>*CzHyl2|z|G3Yz`!8G;5Y%!k!5gP0O!atIBtM*b*Co?&*Bvm0TGc_kgA%TH`;fAsRgCI!F^cZ8d*^DjIe;Bjr zv+Yn3U~s%JUDt$7iSvRA#Q1yDBTU$~*Dq2PVBln6U|6jRF*Gx;BsD#?2yECMG`X~# z{KS&XymW85kJ27#JAtOn0zh(`NdiGdK_# z>8n=g3NScMxP5?u`>e8-mV#SmUSf`dYehj(YH@L9ex8Ds76ZeC=`6Nv_M8`V1sKFZ zmQDAuW%K6L(1RJYz?My#Ge!>*NU_t8*s^_Q6q&xmj_ood&-5O9HgCp=?KkY%q!}3< zrhjo@o6q=Q`V>dD`HT(IO`O=~Gb&8K;>5O|@xb;LXEtk)ngcFu=Na!zpWwCs7+`7@v=tPz6m&J7p^NJ(!1exs=&eU+ z(nm;&SV0Vi8JL(JI53|pK87_K@AFi1EHFsMye3So1OkaZDYP;e1oP<9buP;(JrxausxaNSve z;ij_y!)<2)h8KqyoU~q>x3Z@R01Vr2+`X$_v z9cvCr0w(T|P=L7(rWuq309-x@rPIiqhSF)4=O$%N+Sn2Om3S$#BV$OA%2*@T_c`Nnlbcs z0F)2atDvjE0Mo+|2+;#GS3w^kCxa#j3TKNzNI1=(J|ltcf4yT6s?nez4hcdv5*EZ6 zK@hDuXnH`ItRo2GZJ4uQ&H;t+5*%`&dD+v&lGxq~`UVRycr!3C%m{`Qr1PhXB(tTf z3WPukaitK5y_tDsi8+}m3ZUwys4OwZN`ZmFV)}w)HfgZ~K>`fNg9I2(2MI8o4-#Ow z6ePgl*fRZMG8<^H(;$V-SwJLIfPn*41&4xM>bPTia|&BAaXd2Vl^cg#*Z%kv8V_ZM|LK@o{#v9w`rn9kS NGS+Nga)FJN5dg&U^UMGM diff --git a/src/lib.rs b/src/lib.rs index 25b9a18..1da6eea 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -86,6 +86,7 @@ pub fn eval_boolean(s: &str, js_trace: JsValue) -> JsValue { return JsValue::from_str(format!("failed to parse expression: {}", joined).as_str()); }, }; + console::log_1(&JsValue::from_str("evaluating property...")); // evaluate property on trace let eval_result = match expr { Expr::Bool(bool_expr) => BooleanSemantics::eval::(&bool_expr, &m),