From 83f1d4f2677795500eb86cb2b829b092b5f214e4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jo=C3=A3o=20Sousa?= Date: Mon, 18 Mar 2019 21:02:19 +0000 Subject: [PATCH] Fixed bug in prooftype parameter --- bin/BFT-SMaRt.jar | Bin 367795 -> 367957 bytes .../reconfiguration/util/Configuration.java | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/BFT-SMaRt.jar b/bin/BFT-SMaRt.jar index 1a2e3a1c82454057f5867db501e26faa3a39e96c..429340b15b4837ed2c613bbafd97c625669b942e 100644 GIT binary patch delta 11142 zcmZu%2Rv2(`@iehdu6Ze9kOK_>RTzfT;afF6al)h5N6_S+(Qe-BfuZkj~ z_)7Yp`#HCMU%%h~zFuDExzF?dJp1!G$8&D&eXgMb_%a~T0qrW8vH2qCQ)9DwY) zBL&wSg{c1+q`{Dt4(r%r0Z?ww5S9_)SP5i2oLazOFu{3KIvTLkQHUk)u>Kmr*cf!8 zV6MHafXI{Cw*a*B8hs&O;rKcnFU;Tp@%@(>E8|)`P(d)uK#6QiXW&@vqV;nSMD0U6 zegS})3_F8jf}&oaBK^3i9YAzHkARBW3R_VkvG^wg5G7XpMNKC1cHPkgjG#Na(0rAV z{w4rUMhgi*Y7M)7aRSc1@kKPE-4kA1fK&SQIJ%1QM?0{P_i{^tm7Ey4g{V)(^cai~ zF9stDV`Z^iu$3RgT)X>MIX!tPX@U-mhXAzUVF^t(69!`>jKK(^&;>t;p2W(6y}$&p ze+goXGIzEQ|fl{Lr*g{l!=qxq|jbJy^26c0P-#CEt_rQg zDMp+r*lDDv!nil6#hW{EpHZqv0>_EwxkeV}gz973g)#Ck?E7YIV8r5J=zQSbUd8EL<-=a;p`O;F{qtJ@)u$+6T>$JqkG?B6xAOLM?YDh4UeI1>pUS z`SvbsuENvGTh0p8bhP$gKgiJ9n>VKE^@z#AHA#B1;?6zc1t~*p!%G!ThS@3gn{x#< zRvjm4`96g9&HS?G@>@|(#^kg09KJAg3!V%?Z z5eW^k>By)SK@q)MOiVJN1m9*}q1#sbs9R#IUOyT?nUa*-$a|PAvmu@^!0VHmZg{td z&2s%(K#ZH1+WsDG*02(%=wPFwkydq8BJV9hCjY%dTTk4bENmmxT8Oj<($5$3+GH9y z9Lr`fQ6 z`2KK|X~mril5Ek_*CTJTY)YjA)`qL)Uym0jyU>UajyfK{vF;PdcL^dxm zjTtUxHPze12zg)9;4O%|HGhcO-_zzLjwkJM^Nn5^ypI^WS@;e5{nRr2VPfqUM*i|E zHl%*;GT2?!Ky#{JB?zsXB^u5j%9pQJyqX)MfJK_@^$6pm%I5|~_HrY^{Rj(YbIRh>y=xy-jf@Ph z(a82K-K-AJZnDlas^&5+$g?qa2z{nzHi_-HT=mZ6Re(afOIE1;_>5N}G^a}pbJx$5 z{WBx?^$bmpxlCcN8|nB4eOI7Ih7NFdg7hF)8WdSe5T3GQ-g8T zf);+yLO7$R1w3j&maFbbYE9Fj&;$*AxOIG>*Cw_ zw-XaHV^%rskK{YA`A&Nb$$Y%G#{Oz(A#Zw@gkGm+ZO`qCQX_QrLcYac!(aQ{a(Evt z=~;p^;JM^JFu$S`n&p}%*>4zC_;o?}u1hA1eGJbft<%H9;(IEZNw#Sf7oK~Y`mU<~ z=$h4fOVppsW?+S{KSX9bmWfg6yvLr zSl*x2-No+{v|oJwt~wOc(q3$Af9+1I2#eoRQ-IFyc;XBDFSoumA1m1u%&vOA@NGy{ zP4zx+a{VN4uu5d1W#pm+@h{mI&YxC>n|@Z0^JYKnCfdLK9I*VVzVSglqe8Ix3l}F7 z*>8Q3iwTdNcC4xm|MQ7=-sRh+CilHcHeUjkPvTvzYo5+l-3g*m8~Nd~d#kXpDd93H zVE$(v7sIgH@DHcWYArWUTierjp3l;&)yK3PCsm0|eQS0~`lb+^S8=zs_4xuFRnoV} z`m>AvX;*G}6Ngk^6ns3ttg`N?fXV+sYG3eGRZ>4F*xhWBrp+Cknpko3h}5m_rv;sV zi+y!8tYXuxlsNtwM>ljpMnHzzOe>2`S;r)j`b%owYR-XImT-OdW!GxG0cXuWAsVF7V2kjuP1W^Ebk*`EM^3S`$np$|cA7QS?{gU8GZ!;iAF$nUnX7F!yvbh~k(x(4AL7`e@P^aA+RXUlWX-$1 z$}N!OLQGMB)*g$6GNUy!o?6}N0mp$8o%2mpAC*HHD?`Jg3(jQM^h~C@^{hiJF5QY9 zraY5rZqJs8vVxP-)4Ji1CgMnH#hHEZand$)SOhIVi4 z@0Ofe^CGC+il1%TH?li+{^YD+_P7Mk<*tg#BdKR&W2iovr~0R8oycO>-Xq`1JZ-{} z_1?Vu@|k^OCF=}(%#GAOy*kub;nuqvLTb&`6z=wlJNJ&r4EL<-xb36wAEjj(pyGK* zxYM(a8)MF1TJnxN&<(G*x_Bw;Yy40v_FmMyiJu}FsdibuF1_uW>QEl<(fW_%=|UDs zR-QWjx>Fm9e6k}JJLPLP?t0c6RRq4&Ub!Y&)hVv{=;j>1okd^6OD)*a%}mqz_VrI^ z_O)6{5yE@}h$2NqV%ZaBBle)=UAwCZhP1N`m8%(HT?M&*QWnt%ILekc&-n~7^w$b= z{=9YFeKC4>y~~?BU6J3!!fLs)y4WTkK>aY79AD-IIgtl@K!=$b}EiNuTdH2JM+9c6j zTj_TfZQ{T0U1fMQ^m8+5M~g4b%$an9RzX*Zw>M^De4|Wc=jmRi7#rtv-@Ny|MX=a7 z@<_k*#dsQSX3Vf@)}Z>YmJanY<4a~C*`^0L56{iB)Ta^KGNq{_^dp|K4(#+5yLkck z#%5E;R#}nXj-8I^jJY0y$H-CfJrwyU3%fBLy;1Gl`wE}&50hu>;An*;R(Qhlt=c+6 z`>F%Wr`3;FPKZoUuMKW}c(f&&B=jT!X4`b9YB@8Nt~^yh5PF_4!m?RI8!v`;HDB7H zJjFYZTpU-{f3177XqVpcUTf}^yzb5XU3x*i{TYrr=>#1g;^;d~tfHi2e<$o0mw2Vb z)Q73hdp0j&c9z{;n@aOtj?-cq&Zz5}D!VUC&kB&CUaG}7Z0R$}u}HqDTkrPMrp=!8_h zTWeJD;i@YM#BPPW!*9y%nEi*$l}WiTN%VcsB2E4KZVeRMwc9^+P+NYa^`1pS*CbLP z{NY~73YD=v3VPVoQ?qyUx9s&VrCbdyGC0y-p6d8~>~Xt)@`$@t?4wUM4#)Y@?|Z7+ z^CutO;E-Cmci^Mn%Hu1IEgkpWaa@8_v5VY)f4!=&@N{1xvFGCHZjWW|3uQ?@i8Wm* zH4*&IR7vK-&hCZ|YD_(hDYH0_R9cT&joZpBhiOxWBvN+2v+)tmr%m}fN5e^Fn5ti? zDw6Z-7DI|mqD_!tB@Z}2!hHQ0+>pmIX-ipQ; z{yzX(rW9^&hZwd9GfQaCk1zYTcYy#iRY|zv$1Nm z7XOTw`I}fSx<&MDq+gjnE|=2pK|7IbKIQ6cX}xF`!!pvjH-?qJ`)~|Fd+I<7gJ7rZ zbm*D3Jnm%QB^I62>K)vZ2D&RdLsG`w=i{c0;w}hER8;;vg_l^83}GPBKVHViaQ-5= z)y{UBI_+xlaf05~*maTuT{XO&nBUe1C8-BKSh^vPeOpU>LkJ#QO#AZMH9^Sc#;?)u zYMZ6ES8ZQ6FR8pXiNIYO&nZ1x#8TibJ{EbNUT?ZL!862p^tI&Zb{EDTjt2gSQgU#;q@zGi3G3`I5vpK}TwjQbBpZ_MH`2Nyt z=n}uB{b1Z(;<{|v!`nN#c|{*>sLN$6m{@duab)RF3+^B>%m{Y8H|+5aH=ZM`wlba2 zGzq(qn6c{~(_5j3$%gADQdgziqgEo$N6cO_W$i5ZVP}wPBsQ&GINzsUwU&GRWW`h@ z{mgxz89fI!B5W9~6`D78>zB9b<_+;>DwXA54s5^buj>(alw?{vu@U>vk9v!C^PA6* zWK@>p%x8og*qZyg zt`~L@gH1oHuq)P!ZHa6?5kAM$_g1I1UFKY;8ehbrOSqe1xCWs|*X9@^!Y-%ul(E>i zSvb>%-<-4}MnQ`?(m?;usZ z_UWOpL~y6#S$v>UfJx#3?WiIiJKsa6lj<%(#`Q&g5BV-8+Fia-u*QFTQgdh3MW4f# zAKbqwY;G{zKG}C$tu%QkcBw?AX53rG=c6`t)ms0Pd1azX)s&{g&*6J5WkC`QucS?ROW` zMiVFx$2M9(EQrdEPgUtGHG^#e|E^g5}egW7R?^&Qb2<}up**N4}|CdK6@jIRG+ z(Y^Ky^UI1$z9MQ#gSNjei$2qyrVH@gDp?&hI5puUG;Qtm&Lu=TQgY3raRY}7nekEp z*3OJ~Lt#7F@i)*ZZLbI(0uy7>D=EAN7|D{DW$~0z;1_wkKdR122`_?DL}k1Inx;;5 zyc;Jid2p<{cz;h5>|u+SBptNG_n=u3w#I9qS#h$(3!Q)dJK_5ur8eYO~VB{k&Apl)qCq%e{QtLYj zwqihPwVyDBy0FWF@EBF{!-|lO@=^~H%9%j!z(QhYAS6?10x@NjSv@DC1@VJK6-!tppY{@xg-xYA|<(PrN3eo1x(~!33ylSSF01 z9gS2>5EgC9|6c8 z6?zLnr-6{PA`a1@O19)7N?g4v&~7wBf+oboh&QAQA#oZ*)6h|bvZ_&^*`=KbVvmKX{D6vTO`oFKi1{;Ryrb9huRz^}GxE_sUZ`_q6XAJpRfkjFoUJ{)Jw1&lNA$AE?&>@gx*vTH! z0A(t)hx7n3Y7c?K0A_Z8i~+~N0XhtbyAIG1KrlH%_JHtngbV@kmm>v3bp-MNoPZ;c z9UwZ6K&F6Ta)JT@amon_2gJ&6&QWIyXVe*T1|oGA3Q_0+xdP63F48b;t`zS~U7=vW zZgz!I0kPMOLiD&nIe_Ep4kZKPZ+D6)(1Sv(dQe0sk3vBJGk=t#(Ag6@1~|`t6B=HW z2vWSD<3RMyixP^LH-zkZq#s7TAvZv1`9LQDLGpq803qrN*#aWQ7jg&0YhP#&Ao%?t zOF#trK^A~$_M_OM_NQdj-5)XmqFeru3n1tMASXbGL?9_i4uH^?Np}LEgMdvqh7jZ? zbvy=v*J^OVF~|Uj#*RUU0HG9!5M)exAOwzF_;DcO0-3`VgjAPIgaknc0MQi$SpkCc zI0fT%9C4G3sW}b>074)b375>t2u3=9OneSTQcEVBLm(eOJPM&;ltL*SBolmaT`05@ z$j3t|c4Whl;K@r2MQO0BQAnN0qV*_>QR`^L1i89bq9F$$`VozEH5p?Y1DS$X zuYcYU!8cG$GlP+UBybdI1!?Qz>9vEd;($p z;e>cd1!Q9RQ*(0*Vz?WJ!KiN2SVaa&!VifM9sH{fM+N))A`X+Y*L0ahUIFnU9{KSA z`N04EDNnrLK(;DDUPKQwk#N*-5Rp=dI3nVecJm*(Fi=(Xsv>R+F+E51->S-6QK)_g zl6dI^h!^0Q%DYYMkfOP>U@*$R?IPFm#P98Y@Jz5&4#m||97L5fi2iFx_u6=2BW(TpVIpW&qGcqx)J96l5?)vrQP;Mi}wqxn70agq+2C$rUY@t*CuU=zYir&F= z2>g}+o=Zpk^R)wPet2gFa+Z;c_b+cS$gcz_A99auhQPU*5C`m^K{=`3>1UX$abhq_ zau|%nZzOUpPm~Kqp*J%iVNlQB45Te@q@mo&G&~pB7~s6CC55SSA@R*1r4`$zC9s5y z=YemQ;28lP9C}j{S2I$PF6=-$czZs&;G9fI8GsHg2h&#|_l*(X|5lm>PiI0Zz;dIE zC34S38U@iNy3KO^9^2LKHm- zLWFVF~f<3XHzzn;S&r@xWjQz5WhHlzb;aVZi*a|)1_0x^@9>LLF>HNyGa8+z|rcG8j?@-S}yBn9dJr3RNU$BLA{oo*2vlv%ttXPF)1?fx}92 zJY0vo?=p}Rb^C_kf(?o&8zKQg#t7^p%&S;3q<;1(7`LSX%EF}sN$$f+ZRgpQoV ze?H}jBo%c17Zr#Rb}vR;Bezs=F{0#)1}eHzjBF!hGy%6DTr372ErwLF;xJAsL*71#D7^+ys#s e1sqU{IAd=Gr7nOr8OSXr-k)cEp3m@{`?7(v>K-Sf@nJlH4uhe=U~&o_FEfhavym^Q zIPmpQnEVABV+lN|w`ke^Vrei4yGj)6LPM5UrP8*r1L7Ew1d)lZ0dS(5>HwrlyW{s3z}Y`Kk4Cg-+@2F~vcH@~M=}0t1r}1DZtP+uCq{D4 zcjhWR2E)&T!3e=v2`ndk+X-T>+Vi`Zo;v!<3hRziqX)59 zP=uErR-7z^bM&yX0QFQ48wXU^oiN7QfPmo#=2$5pTrkIWumGyo35y59x+V{79#B?i z>y6bysX`wt1Hi#|!m%Kqb#vj^CRA^EES44|y{D40{8m^lGsz zs5+Z^>~oM`B%4S;16U5=gZ%(@1oc642n(ao(Glz~lo}q#rlZQerm)ElVPh zLQUM*j+;fP3{l(`R7<4<&I+ZNWO4Jr0i@1&VAbzf7Fg312f@44aCBhqMb8C2*~f;# z92Li4WMP@_SUwb>dI4gGgVb=WB*W0I1A!g2_7=75DFWSc3U_i&?xi&h&hI*H6;m$z ztV=i86RxVB5@T_?*ZQR7q@~-AV)toZMUGk@zecrMKl+IIyN#8v(qFm53hT{^+bwvE z64$H3n-t#!y!qZd6J&JZ>p;aNBBn`cKA4yFLZz|{^Vhh1K6+uv_al$PI`)xRnVF~= zJAJQki+O3vK7Ly<(xe*o;Dg?@v`CL$FFMuxDwQ+7q$&)X^D=lkvbfQ?pJ?dpVk|<% zdTYB1-%FNR);;PhM17&Y!5CA^-N(kbx7kgqJ#FwRen9YrS(8Mt)ZFFQRDoX*Fzqk1&FuvcHC&GKl%jOy4{DX~F|FX~e#qj=^WNsW>@ zB`;ps5d+R$%<`N{H@-=-I=C=jYe-7&SK7xM&h|F@MVps>$~^wi@ZoMRtU?Pa=7X-=-^x%T>d?!VA8XL zpZ6%ciMvyVVcJn4+5<)BK1!CXr`8-N$#EDmooT(MoLwvW;%TXj>xh2hNS3^kkw^N6 zLm9Sy(`VgHqqZCiBaZSUh}+mj#{EhQ@!a|FOUlLLH}UtW4?106Y;#gAbKkE-GWf-9 zV{<15r(C)$!FTg%{j)Tl*G0k?+XGI;cI6&Ys#VL5mUEN*;JVKwrFL2J4p*OTp_4f2 zeet{aqVX4}D|3%#aW6WW`Yu;%)kd=0dF!b2ZxQrh^w_I2dIhf{-E-<0yYAF8N#z1O z>zR%xH;NC^A6z#15L0B*eZ9=^e6j-77O9LgE32+M%jHfU+j*nfzA@M*zfJI9YW4-S z*b;G{iM2g*O)hcIeyA26GSAF6Iq#I#vFb=V%6dwt^G5Qr$vG6 zDaEeC&Nm(jJ??BcP)g5v?`d;a-+2{P*wR~ZE>CclEAyIxM|XA2d6mMr^Pc;4ov2xl zRb+l*KFl>`^0Y|6_?+u-x>`W@)^xDl{KWRHwVV4%~FVUJ!)~71BH?Pf$do%Qd7=VM@IB7|6(3=P|%$e$qYMAIy-YIE-`Y?0U0Z~R0{|A3DMg3TXsq5 zAr}t2DGT+N=jY9Sh%Zg=5xVgurH4ksa73qjujb0v^J}G+y(0Bivh#XYp?!D7s<;j@ zGKkS$)2PbhFKWwgs)@xev{vqD+^Z_G>hKx_bMk2FZH2z1i)fYVI3Ubq6B{+VM18$La1g z{i>rhaaQ?^28UO5VqjQhPy@^Y$4MO$JU*lA z_)YN_sbi|)iRPyyCWifKHT(1=75EZ|;sw%ccz)lL<8S@YFv$7f&ATu4K?Yhz_lLH8 zqY6?tGHrQzbcoG|+G;%agG!R((V_P)Uw-j~wdz#dd~C`^6TYTy9@Jv0JfqQ#8M$=#iX z%KzqLuKXI~(&lb1C&qf7HG}^CTN_lc#*6XKOAW7XKg?I0ILo+d{o27Obzo@1HzHK< z#J-@^fJnhol8eP2Mjw#|`!$YB$bD{VW6txDGh<)Em8hlpv`NEm|?*5RqL+_f|~u6LnJxLck71)E8VP8%EEgW zm5Dd5Jz5YNYWx=YG%+u2Nvnyg;AbDC#o};P=h&JcT@7i!oW9@w+tKrUSdJz~hw+@w z^wHH%D#JOku21bmo?8l)k8v86=&U?5{b`d~)!6oluhjRz5#7(87EQZer5WEgJn-pt z<-2ydCTPd3e};>Sy7pYbfggI@Roe@mS;$>z|J*<|E$78pO6%>H5TA6n_Y&mMyQ18* z@8Li@E%zlV4H7)brMi|9MM@dh{$u)QUm}5)D3f-%F%6D!+mxy^Fb;|DS=!Yp)i4LLf^z{82 z7S)l;F|nF zz0RZj(^<=V-8iwg5i5=ADj)~ar!_~=h_3@n3 zvHnFI{gI~?mUJI3nVar?v970WZX~4WI_ad^t>#wCAK4bOO(lUXNlg2VvO|(_|BU%^ zv6zEI`Na=8gU@;g7I&6R?^EM!zlyZ^%2b82Up}EBm{Q*o*ew_hUYM3w?7=2W$kdE_Ow;?Jyh6 zeZKE`so{+BHF;+2J8X-JF73|`dFCskFS<;1=Visqgm&5x3kMgOmAs~cnWA?o>s@@G zP`ukTpEow|v>xaFQzVxoAzusl&Ju#JoqVTA2%7rZtJU`+EiUsSM)r+!pC9+HZ^D@H zfax)+JfVzj^rv#R5qC>R{+h&&{w^Orp}iPpv3P-?aRrjzu`(&?zoj**YGMyT<5Vbr zf9Md~+C9no#BcecC#Jt<$ZDMJGurw!_2JqTSq=BTfvsPwPH_$hlCVkK%l@`45{Cxq z7a^Vphn`3Y%O`z^?GbP3>CvquMl{iORrqk~YubqfjY{pZIXPUs{PJ8 z*=bhbp~OiALIKBUK7&g4ew#|R+9xJ;Z7@yyHTqz#NfFG_9>YY zBYb>reU6E4%dy)z1usc1Vug3cip`jvUmmt}-<~yPi}1OH#=BxMIGu1wdPP6ZIczdRqnm(YItW>YLi%UFX`^(DZP&=w8vF+ z97+o<1SI7JvlX$s@U0>&j}-+a^Mbcfwb6xCJ`1mO!5!nJxe2vFqTzekjqL=E(uDV9 z(wI?cr)icd2qyn_VF>35F?Q81&BD}$OmNcVa_dxCarf^^o~gPFE8ov~Um4l#a(%!; zhBo2c2Ys#QgxyK4)^|v@X|^oYGk2Xo(h@%Y6tDNhDa2n+f)2}YqxM`ho`q28=P#G_hGPf*IbkS(3PUpFfE^k873s?iFBho!ERac80INTEL+??c>J{WyaCbl&MaMYikJ!2d*EYF5a`P zSs{*aiD7;-F4SWM3$)JNlU*i*?!-;rU74# zF+u=iDZ^)k9;zOGTPGP~o)I&b-tp#+u&ul3u3F)Zy@%h@$uGGbe*2(K__iGTK$Y+Y z_2IWX@=Mx>-!53PHTHK*rFZ;x(w$Xg&vVpWQ(I});!{*4N4^Ws zZhf?*Po;9tqHT+DyadTk;dbciQIG3mjZmhfHAaJF-A#6VRq*B6tgeH!i>EU@qWCY* z^0yl~y)0kht9on389QU}%P6LMVB+ILtislsqOMXRoXP#t!7Q#YKKFo5O-8TAwwy?_ zyv(#8lI52!SRUKkUw(C5Y=VE8QA** z;=aG0(FxnL$*{8sNUGjAF z-SU8p>fv(NCH_S#SNv@ERsnBLd`B0iz4%ZzLw;@*)@_YBq`^s5Cy+E-{e$Ow_j-_N zzJ3eeSzp80$3@9`5I#!0I4A5|gAWri!s(IM@ZsoR{sC;K%)SjN>$eMc>`e+AHCKbS z+dP{5++1Utd>l@iq2v5$q*`8OML~qQyioiM9T)rcu+@QS zW<{#onc=R_zslC{V)l(E<)}3KvN6e4%siSlxjf(M@x zh5NNA)jZs>c-C(6?9NwF(^BhuSJW)3Q%0AP_FrH&G5vi)sHbs4&*k*#ji_(+@jvS| zTKKykHclM*Y`85yoOr!faxQ1+Zj&kf@)_uQ3w6ZByqz1rhnYxkbJLux+^$cDXX>0+ zxUuxHn%6G#B=u}%MR1>ZtVNE2L_#56XNCSxV;MAy>pG2ahG^T1(-hYQdck#**0^!d zF{^8_#Z{p^UnkrOGiaW9`QwOa$M149P6eC zp-oC+8;)gj)3@$%CN3VeXOo3%BY^Ihoj`jJJqHG3C56FAz^rXJzB>JU+z!wVM7zhy z)i@Dgy}lYpkM`jn*5XKL=k8D=&H?q~PBYF3rSNUILbQok+Ku~wj=0>1v*iT_KbcC| zJK`~zP$~>&582?3x*gNFP;_Yd46Y6+h8-4hYQSpAB8~?YwtvMvMzvj8#{Jj|LQQ1G zivid@X8Z{h#> z5KfAOsOutR@C#_J{N(UjXwn-M@h3o=x{hdoUqPi?jqplnDojoB+fW-mX806d;2zTE z<$?Pn@wBj{7oH9{s_cdLLzPrT;@i=->xC@58S4DgTzos)35BoWKgfU)!GriBR4O`( zcjX7XE35c>AT;vJ2?fB4!4l|EPhg0!2hG3$J0TVI=?o`96U}TX4`B}&Fu_A`K?fM{ z6Y^1NaXZ0O7)W&v5hhTp;`)R~sFJUSgea63bc9e0Ou)i+1Zgnfm>oe6g%zD9@S?C* z2ZAoh6U^vDSR%t9HYS6HTy~YUW61qJ`IEV^Y770U?GAGZH z8Ye`{yJ^iD_P$wfmPcL;aWZ2t!munSw53jj3Nk`l;C@UH4xOn$4yYI{hV7it9J&_S ziO?8uYl#Rsqe2^gC=MMkBLdN&N|vP{O28fR&>l4OH6@6N5ub>>zhKmXCZW1x`Vg}0 z$j|nM&{0}E@|p^6G>4SP>fvQ`2&4{HIu3!JJM3{B(gC9SE-sK2AVPeQl)Q6+ z#K9A@D|7@9_J4?bt`K;`1Aljgw17z24LS;l4@*?r;;nE$@CU{{EZ)iJ^ zt9VoF#CcPKfA3B4ckemK2w)Pr2b@@F1tPJ5S4deGC;_&TMXaWOMclAQCInu%!GaeN(YWK_AI9Q1@Z|T( z;P^K@+&r@COpC$XV8>vjk(arDKE)x8aKS}LT>x3khBb4)l5Zh`7RFe zazYK{JK?zgXInD>vF+yn58L_vI8NB;0z?O4$gikj)pP_AA5BIG!V>`$pBKpEx+&a^ zXxvs<*AHUgC%e%2iH*r0Ih`@o7>vp$7ouR#KuYm6AsND%r=VKnQ*d;W{|;Af*zkP; zG8~7Ts+%Jz%0Pz=XW&?w|2GVEm%K1=DVgx(C1eV29ETV{T6*kX+G`_m(8ZgK0ogEw;)1v zNFHchnrUooLJU8|VKBQlX{;iHcEJ3>5FOm^2(bZQ8}eABb|DU2LXHiEP4L!QvO!TY zo*sTkg24F&kCPBz_BH+$2>>lOUtAB|Kn#9D?ns-plsBW$56y_%m(Ec##8mw7pcyh_ zCs{BUxlL9#T2cI`V2B5(4&orm$0MqXkP6Y*1TE@Dp|84eyl`_EMRm)d(=IAr48}2gXcmaa8-hTl0^j+(UV1-0Eif@XuB{()ch44g^1YTC(FoC>ktS%()-Esq~*H2=*u9=4R|$ zDLmY(i06SdA|Vc-_wV)hKUhN<3N{hJg5|*SYeHrbsc(B^fo-l#Z@4uQIshhzHVW~- zRuPO9fa(AEzkB|kdIPeQ))2q8Z}NYu0Unkzzzf6m;gncUoYbr#`(BRN*^Fg30$3va zHVR?~{%@&f^P2d7^%|N|u)(HyYFH(jQi!_Ih<_etK*k5>o8hV87(@o9?H_(&kRJ_D zKIF0>c)?3C5C`1-2l`Gk`mn+l3}#UhgAx6MM81ndc2l6%UU&|e7(+2D8H3d1?MPIM zO$;Oi3|7^7@8(1zeT&Sh@Fp!jS!5_TT#x(*l0P9@7#)GsTpLoao0HN9FUCM}0CaT8 zgZ?_Q=MFjkTVD#S6${A&qxCxtkdquK4@8^LCZhp^sDGug5FdcXDO7IA@MAEC4q`9@ zo1lWDC{%Y8&jeOEu-~r#IUxwyi^5s|U3p2cY#gP+kxMEs_AneA2kitEb1M#c4ktfv zgFnVWLV(E-kK`)_f+ypVZPqv*VgvdGiK4`VNCmAS?#piSrw0y+hcp3bxIHU%837C- zj%+?MPQnxMlv|u&0;0c&2X0A%_+ZNf$}BmPxnmSAJuiU^W^ks|hHXGEjU`h2hmdn! zVw34Z{HPXxe!@RbHLzX4f{BR6ne8ZoSD3&Ik_D2>&_B4Ajre&DnFsMr8nq6g_&dm8 zkc|Pd7GZrdR~+7wMA<#}CL!E;LzF9FL}35V&BGC|gRw^Tp=JRL2KgKR@25D#AAXPo zsRHF2h#EY<9RYsoK-lt+V;K!VGZ~SZP^55x9bpSBkpj_eM|VTM!yI46kqIgNPXXti zMis(6$q*l~^NFmf$pNrM;p8inoU2|&*fdUn%>{d1hQN=@;5agS4Pmo76Lx~6f%Ptb z?1V-Nvfe)-MtA;=hrI44oGAwBTnLd^6I)DMt!O zaTCa>85T%`ZBfBi|D7Zes*EWQ-sL2O{! zul(l#@P@G&kQ}IlnQw!1PDmx}Msg&$Ns}K31Y@@$Kk&-qfSCWYCU%UTQzb9CXk;VZ zye7861sRkzF_D3U$V8;*Q6NIhu)v>NzjP)dn?+?p|GSW1BD0V4Q-%cdBb#@$4dq0u z3Y#2mN4BFM$OV6M)qW763}6z4w!#8eDMcoI6;ZY%MUkDn3h{%O%Z1Ixe<7QY7?K!d zTmJhg4tXF?!G4s77~z&bdIrdPekh@`^el**+)IG@vXC8@23E>~c4MVr_bf;qYYmrY zLCV-j_yhT=1{TSNG_a-cnQTZ1?#_m`;bsrRpRyqVFrFa?*?4{!z~VX3Hl|KYC&uIe M2BU9|%oyhX0JTs&=>Px# diff --git a/src/bftsmart/reconfiguration/util/Configuration.java b/src/bftsmart/reconfiguration/util/Configuration.java index e08a0af1..9958bc2a 100644 --- a/src/bftsmart/reconfiguration/util/Configuration.java +++ b/src/bftsmart/reconfiguration/util/Configuration.java @@ -189,8 +189,8 @@ public class Configuration { } s = (String) configs.remove("system.totalordermulticast.prooftype"); - if(s == null || !s.equalsIgnoreCase("macvector") || !s.equalsIgnoreCase("signatures")){ - proofType = "macvector"; + if(s == null || (s != null && !s.equalsIgnoreCase("macvector"))){ + proofType = "signatures"; }else{ proofType = s; } -- GitLab