From c246cb63e072c831556f5cc8112c4f975def3559 Mon Sep 17 00:00:00 2001 From: Thomas Walker Lynch Date: Tue, 5 Nov 2024 01:26:14 +0000 Subject: [PATCH] release v1.0 --- developer/document/build_transcript.txt | 58 ++++++++++++++++ ...An_Introduction_to_Structured_Testing.html | 2 +- document/adder64.odg | Bin 15399 -> 0 bytes ...cript_name.txt => bash_name_of_script.txt} | 7 +- document/directory_naming.html | 4 +- document/work_flow.txt | 2 +- release/Mosaic.jar | Bin 12427 -> 8217 bytes .../Tests_Writing_Output_Stream_Policy.html | 0 tester/document/build_run_transcript.txt | 64 ++++++++++++++++++ tester/jvm/Test_Mosaic.jar | Bin 7671 -> 7671 bytes tester/shell/test_log.txt | 14 ++++ tool_shared/bespoke/version | 2 +- 12 files changed, 144 insertions(+), 9 deletions(-) create mode 100644 developer/document/build_transcript.txt delete mode 100644 document/adder64.odg rename document/{return_script_name.txt => bash_name_of_script.txt} (81%) rename {document => tester/document}/Tests_Writing_Output_Stream_Policy.html (100%) create mode 100644 tester/document/build_run_transcript.txt create mode 100644 tester/shell/test_log.txt diff --git a/developer/document/build_transcript.txt b/developer/document/build_transcript.txt new file mode 100644 index 0000000..29aa92c --- /dev/null +++ b/developer/document/build_transcript.txt @@ -0,0 +1,58 @@ +> cd Mosaic +> source env_developer +> emacs & + +... + +2024-11-04T11:19:53Z[Mosaic_developer] +Thomas-developer@Blossac§/var/user_data/Thomas-developer/Mosaic/developer§ +> clean_build_directories ++ cd /var/user_data/Thomas-developer/Mosaic/developer ++ rm -r scratchpad/com ++ rm jvm/Mosaic.jar ++ rm shell/Mosaic ++ set +x +clean_build_directories done. + +2024-11-04T11:20:14Z[Mosaic_developer] +Thomas-developer@Blossac§/var/user_data/Thomas-developer/Mosaic/developer§ +> wipe_release ++ cd /var/user_data/Thomas-developer/Mosaic ++ rm -rf release/Mosaic release/Mosaic.jar ++ set +x +wipe_release done. + +2024-11-04T11:20:18Z[Mosaic_developer] +Thomas-developer@Blossac§/var/user_data/Thomas-developer/Mosaic/developer§ +> make +Compiling files... ++ javac -g -d scratchpad javac/IO.java javac/Mosaic.java javac/TestBench.java javac/Util.java ++ set +x +Creating JAR file... ++ jar_file=jvm/Mosaic.jar ++ mkdir -p jvm ++ jar cf jvm/Mosaic.jar -C scratchpad . ++ set +x +JAR file created successfully: jvm/Mosaic.jar +Creating shell wrappers... +developer/tool/make done. + +2024-11-04T11:20:40Z[Mosaic_developer] +Thomas-developer@Blossac§/var/user_data/Thomas-developer/Mosaic/developer§ +> release +Starting release process... +Installed Mosaic.jar to /var/user_data/Thomas-developer/Mosaic/release with permissions ug+r +Installed Mosaic to /var/user_data/Thomas-developer/Mosaic/release with permissions ug+r+x +developer/tool/release done. + +2024-11-04T11:20:44Z[Mosaic_developer] +Thomas-developer@Blossac§/var/user_data/Thomas-developer/Mosaic/developer§ +> clean_make_output ++ cd /var/user_data/Thomas-developer/Mosaic/developer ++ rm -r scratchpad/com/ReasoningTechnology/Mosaic ++ rm jvm/Mosaic.jar ++ rm 'shell/{Mosaic}' +rm: cannot remove 'shell/{Mosaic}': No such file or directory ++ set +x +clean_make_output done. + diff --git a/document/An_Introduction_to_Structured_Testing.html b/document/An_Introduction_to_Structured_Testing.html index 0b29ab3..384beb2 100644 --- a/document/An_Introduction_to_Structured_Testing.html +++ b/document/An_Introduction_to_Structured_Testing.html @@ -621,7 +621,7 @@ the last row of the table, to have reasonable test times, there would be coverage 10-18 percentage coverage. At that level of coverage there is really no reason to test. Hence, this table is not limited to speaking about exhaustive - testing, rather is speaks to black box testing in general.

+ testing, rather it speaks to black box testing in general.

Informed Spot Checking

diff --git a/document/adder64.odg b/document/adder64.odg deleted file mode 100644 index 942c77f0014a49daed5f538f271bb46c08fa85eb..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 15399 zcmcJ$1yo$gwm*z}uwab_*FfX$?(Xiv-5nCNaSiS+L4$ipa0pK0?u6j}Cv)H2nYnM~ zervt8zTN9|*FLBAuWX;{UA1c~$wI?mK|mltKtyMlXy-sP_R~W^K>WI1Zb8^t*_pd~ zIhq?gI@(&98oOFK*fY7?n=v{VyI8p}Iyjo!n>m=e*_qqBGFmztJHE3rby4~Y;0wmT ziR2|E>R@kSW$EVp80LHMcc?=_iN(Ci!>ubaZfZ zb9@;RxBt?A;+~xn!!e52`(Ju%H2*2slOQZfxNG~ZDS1((07e-Gz+hx5` zXD}CL=c#HbS8~TB#ign2;y2Zga-&Cz2@5h7s6Oez->4#(5k3ihOZbWDvvdunUVsvc z%N0{es`Px#t6mH13cYOjjQ%dr`|**Hyg+gd*1~lghO?6u3cn6v%53}L>QM1y>GtVK zu|}J46Fmh3nG>M2j$@*ji+9W-5=EKMrOQpAkcxuctfi79T#L1yur2gzxUN_ninUeE zWq*LI&ukAOVfK}F3VF~R%#pD(Dy&joC<#yIsA()V&KI%DOto;|eJ}9wl?88$G2fa0 zgFI^tBvG>#Mgu^r9{e$Lh2{_@zyyF|TAW z$uKoS<_d2^UyEaXAV!ai#5Hhyt#-n2Yh;-jPOZN5)mD_8h#p^Xe!IK&NJOmmEde=O zuwF5!$DcOB&R%)gB|)2TWMpHVu?fX~U?%gOeD3O3oNThXw_L7_(ot3>$oOZ{Y?*$T z3+;Tk{LW*1sN9?RECZ%2^H{Ock`(W0H$tNG!!tDEp|XQN1A38;dh7#Hw?>6>^G04; zOL-I=NW+@K9?Va%Y-Y0-avTlA6B&sI%}lHsG)ISMYOm3phP1|DsI%nVoG_(>AeZTL zJ{=3dwg-tgk|RhvJ?jiBv&UXoavu+QMU@H>A~;EWF*ONik-Hid@IhEOq!J3+blk?e z7ZI9$Ggyl-m3$t~rLn$qIs5~)CWyWQBtWXuAobHSseXeA-nF$>lVglUtcDWbkq|9G z9#bI9ktEINFJfB9G5H0Q#mA?UPNX5Ks znvj9!1`YV~Wc{hp7l!e53>k_VXqx)%rD7U-IN`DyBOyX@pyy0zv!kd4o+0<@mxGcc zD13FIygREO->{^R8LsH5e>`g9sQRGgM`ZeKNX8|}+YFF@Y<|=nd$h@#jmESm)v6A( zaMBCZ;_hVqP9a03dE}zS&8N+oL4vU$R2AXjy|h;8B>Se&4nH@iq36`}`I_V#oXiZl z-WJTUeukOZWlqz~vL{BET~qpq#U}U*r&)zcVgM*ynm2 z8`#Y@@Y#)SUCQj%!7N=+^N0>f1;w0oMXcp^H+YZ3dN?S`3B8-stV|{Ga98M6zj?|X zE_!d1-+;9eO06bLy?9i|>{MHe;A8Po5nD@Zhs>L?+PM;}Z6!9lZc?mpDgqS%*-}-e zHmpYTXF>MpX)VEd3F}I(Y_r1MTII)wuIlK6OPPvjmVS~zFphU$3koK8L1oxew>$k; zlG}n>!StI}ejV;p=zy))oN>|n^Un;_djvpOENm9JkXeK(D+%HIB~u&w+X$FW-YdzV zhkKWfftWWE1S%Ynj7R`8}$8nO0aKbsRP&Y!)fq?{d3<{0O=}>t&T2Z4KU?otpIa5+YV5$THAXRqj~r-550?m+ z9J^gtrP2im(w7*)NX8JU=n@WY!V8XMCdL<^hgYzEHf{&V&Tc-Tn=Onq+lB}gU)#H1 z_P;YuaWb%)Ai6D=Y~|SqTuO3!_&8{t9fhEap4822>VCi0M)PhBcH(m(T z_?nJLik7f=htMxV>p0)zl)&MGUnaGk_nm<@a=HZ}Cf_?C4`2WBos)+=C_U?bRw3lu zQtET&{aks2qT{4o4}7+HB8DeSe#G)+C^|a%GA(#!O2KbhznVd%CiD4ecQu(nCqyf| z)RRR{KX_Ki8m;+NJr5HJ6>Xv{=<9O=^kc*LY^4lB2V&*N$l`iUx~n@je(12X*N#f# zI3BNyzStCR{6f_toL_82B6N)K5#4Bpyt}faw617d`s$?*u3h;lIQIgLonKzzfgY7 zIND?lR^g~16G2Kh)SNOYj_)fU$(2?#DUYG2WH;v%EhH9q6hrnyjA20vi94x$TZ*wD zAyroKHg~3|0fW{ugTigtyNLggIllVq0vpjKvRh=pp0MG`Vqef_*z-D-d@#sDzH~JE zOltF0bl{i6-JRZKtmcG29L5g8281gKIyriiP6W0L0?v>w$;_-6jf`2t2BDBD`nk^?vf_5KRLXhi4`}L#q+*}}7q}d7WMh{jt zD3oTtT9#5bhaHW{o+!yyjdCAKZV24KpUXy*4Z!BVRyDpYXZa4xaikbnYpfqXe~`_|Cr>Vq*|f=g7D@{VKaxx04teV z;nxixc&6kOlI<#wTY1(z8y*lAVl&L~f&^Q`AW zuB_f>XINaYq@i0z`?=18x%nr=$Jm zMy_IfsLz4*qva+<*{X$7wbv)Z^1_wajzNHEyH%ojoQd~EX*;!#*I^D>5s%xC)E*4O zj!^YUl*3S^u9y;(N>+AAB41FH_4=<8rU0T)Q2=q+@Q-p9l`xC_BRqx_%mu7jmDX6W zRDQfloeI5?n9_XIM((Q4=t4y&oemxrpao4bF&a}JQgiO}_Dk>MYSGlQC7+v&65E*f z(HHoqnI*K`J47gOd8t0M3E#AhwE`B!Y;o$i@YfYfR26k~HG>pgkA0p!&+qK&0-?Cm zkRske>8p8jm%EMOG4&%pcUO!=y9`Ap@;e}HbR(78c8K>n(fU+WbjXvc9du3(&4J#= z>1D2YZgdDc=LK|lE#GLGuW;(}(}H|KwH#SUrF{7AWHon7(UlIx(Qgz66x8@lZT&b7 z(@hcElhcjvPF&Y%ZRpt~59>vL!e{?vj-#-QrwFI8+s(3R*%IR|ihzfi?*6db=Fi)q zMrfN(w&B%=Zf+|*WqqRY&{GT(lZ=Q#!~xznww#RD{jO_sY%4L0I{w9|CH15Eqpa;t zn{dYKQN+xe+Om=?IoSIhmCm#ss)?j9tLGm;c2h6f@ijtkLYaXg?qN>1^4Z(8Vo(`n zXwk=zGMKTU*Q$n zqE9bMg&T`Eu&r>|1hw4*k~9LfSUWVR@bMs+`@=jF61KjZrX;>@)GpS0-` zc%Lopo?Sb;slBdM(|I3tc{O9M)@X|6cxq^-|J}jp1I-Y|SAKN&vGJ(yU6I9)5MCuX zF|9;zDOGo~`zIe8=p&yxpatJPa%jJ5^=ILw9EzSK3Eg>k!?s(hw^nGyh@ttF^RcHa zc)E;KoUbv%{}8=os}hEh89}}vF0%vLGFr8VT2Irt&#M;r$*F&9o zbQ6(cr0P3z5tbQELBI1}$~G1;$zVZhQs*~Oi>k+3LkL!N+@bMGb-B!pJVwEQbjw|I zCq@0H4U7peK44yd6YPQy7G(O+zu>;=R5Xy`Y7eWR`rWmJ!qs_fb_~j~GtRCKG>Rk# z)>!rE+gIwTd39MT;(-S`*ugA12tSt6ux9*vAIhDmLR25KfMBMQ$oAu!pTKH^YyVK~!_+SLh?N7&)S#RQ;!XVy=P+TcnS|RUn zUiAw31EZ?QkhIcMUDted>{wqHv|AHQ<87hyJQr%23|L3PNs_K=aR zs$eY9Nhc1oJF;q(j8pDafo|4~nDXM5Gl6LE;0Vd?_9yR>Q!xab%P05i=sbrER2U7R z1G^u-(g;!&Eag}8SH}mY=FZbLH}g-Y0Z+@QqkH{$xiQLZD#1HKty4KXvHF#@p}k!x zLaX*s+%~JH<#U)ea;i=44VL;HGgMx&)9WN`OuG_y2*knHYr;tf$uop319_zD+ss%7 z(WI-d3@Ah=u>tArQlX)mrZkQPxPudW)+isC5^~NiZ@lsjFSe{v#F<>PvJK+%Qd<=6 zLn@Tn9-48i`}9s5I}%gl8jZ)k+ui4N+O>C0Ndnz=wTK4FJ6i6R^s?2wqHTunWW=S` z?&|8A{Gb6km~OKZsDmm}8eAqpGF(Seh9*s#Z+RWM0^Tve*v(waAS~7uRT?H)+h|5(ieRTKPd zH`2po?$dJjN(wrd5HsT4$_jCle)1h}gaZTiLo4d){=mT#YGr`Vs?8u;cm)QgT&y!5 z--o_v5->SuW|NxTBY!nVkARm%NKf`$aD|fvA+}^tD0NUM?ibYMh^`v9J=F5yIh})U zB87p_Y16rD`cL|c++eo(!&`?9g!G^Y%t_Jv5Qo)*farXZ!-$ghbZIRPIajOpm>A2% z3AE)&FGPaaSP>CH$ATY=m}9Gwz0^vq?MUqR$P3dmxHgX;BN&0N=dW{C<%~IdJw6<_ zJ$+-a6?E=%Y*t-p98RY9@m21O2SajG=8&`qH<0IKH$QF@=rh{ZG6+anNm93bG}s!5 zU7B1A%*x|^RRYHwe;6CK)1K2jx#whay~QG!Hl%E3o}(TxnNxK@axVDjomqE1s1Bw# z%{N$R1h>!)o4>7^7n$9ieTV{!eidfqZtSnSfmrjeXY4)HoH1ytI_4NSPMHHQp!-li zfu|myUn~Q7gf0;d+B0|v2u}9@W+|Zj+AuVCb+xj${MVMD&Z^5I7rK8}7un|iXam~& zxI!yqC?cplV;M|Fp;K>%s75?}vnt61(VJ5Tv&@uW`O@f=o=PNiA#n z$%)B3*vn0qYS419$ou-k8>S9{DOLJq$*#g1e=U1*6kUTRq`#zlX zeKB!r=aPNUte88T*_uk#^x(bs?OUjLzG7#Hb~n+wyVi-!^r}kr^^^{oHRnm4sX^kz zTO{O`ADd5(AHdOzxjZ9 z1z}0``a!hH-vIwnacqPS`RQomqS65W3C;^R&h~s^`nY-TcScVthRp~NAO~;tio1VG zV5W)IIWc8sytD0-v%^Xanyd3trr(JekF4)hc&vpKq{Kw{ZZj(Mjv-`Km4egH7vZ9l zSUP;bO#A0rbfj!P8fmw#5@hNkQN$zn8m0>^>RR#rzTjR)cJPFFX@CU)Gj(9pER<}P z^UX)0WgKKJ9y!B|R&*0hVc-S}`t3SxHsoAzm|k!XX@vPk6C_%Tm2PXLU)j~uR^gs) zQ;Xhvn&__(DWy$6gg3w3VyEV&7#vzm+Tv{D(J{ViwgALEhab5`9vmupOmj$_l_7_% zDu=or@Hl>Q5I(>Aw(LNUC-tw)G71oVU!F!z3 zC(MTuJ@}D*EBswtI%4ZvF>Ttlpp)-C6V=brQL#IoNw1V09UbmO-LFY;@HopsnGYE> z?WusUBgmN8riH?r_g+K@FcomD;F6r;h@1<>WF(h;4c?322W2DIfNJ@y}k8s)2AAJlf;A>^JhHBV) zBm@wA&ChUbvzN&BwARJ!_Z!qUu$GEz`e^G=Kg4(M#@Be7*-Es&6L^olrnHWdEHX=U zg+^1JAdS-PxbKRDINE_V93jz^SkUh*Bej?w0&YP;n1_ZUr`5A{NemC_$zjy zR-PTwYYhVx-LpDgz0w}dUhY8~piU5ng2g+_#*{{>x6x=eHbUoHhp1u>()rxOG>LUb z4%aif14UP#?6#BJ%~^VsU8w{f&OBq`adjZAeTv*u&TWAb)bvl%&N?LIZTm?{7vR}@ z#)n#h+04cFUo}>$o1Yqztof7%srK-h=If&^OOpF#xq4i1?5Yr4{-}xZ|D0DgWWYLKdCSeqs%a^=oKpg1{mYg{{Iz0c;(m8fIZnxPH zT&q&iOHF#kucU`ucF-HZ=le?Kx$`0Eu!MRr2yyftCka`{G1a+fDG z?nG#GMkxbd8N|wV`uIVWb^*uV0c$EbIi;)|c9_tT+>PDXVSY%uYTmW2<(=-r5*^S4 zx*A;V{BycnqnOo5xJCL&qvfq-g*pLgx-43#F+$k8QIb6Th#~c!iudd1LwFgU6^G%= zt%&}$2i{Y162au}j3~6lM1nPrTH+6`8#Ce=h9_KGMV_BQXJM9^9-k$&EZ!m2R&s{m z-fr`lo6fT2V7fr77C2}uPOK*!*%FpKnJNg^&wvW-q+OE7Y^i4@TmNH<5- zGe~2$4o@Ow=nG3xs}qH<$mwjyLieoF+_rc=xIASKJpX{R1^5XuZ3A>epj5f-hTy$e ze)!46yd(VXNb0Au3Ij=Yn5^Mg9?Sh-t* zkE(u-L{Q+NK}+wruiDO@{^n%kxWNdPck~%TSh1;NWMbC|K%TiB`qbU0s#RDdXa)afPT4C>{lW2 z@?)VSrzZaLi;Rr?`t@r90s?Y!a(a4tR#sMCUS3gAQCV486%`d79UW6sQyUu_7Z(>F zAD{Q{-$zA7B_t$dWMt&$=T}rz)YsRywYBy4_YV&bfB*h{X=!P5bMx@<@Z#d)>FMbO z|M~g37;dH+0s>c4T1;5YbMZJULgau4OMJ@9exHwW|M_`)cp6b$c`|ISqeD|jhE{u- zS~L+_JGTTw7y|+h1}_j263$2{5E2jF=y&#SZ~n^jzjFSM;9tf6g!TvKpKkub`9BqL zUCziD`x+Wl^NuW54HnNZWS#TU)PE5M*oj2$J>N;!?FoVM6wZHE1cSl_4P5*6b%K=% zX$b+B35gdN1cZG_8NHE%{4)yy*ZY#?x2JfHa4%i(zgVMgz)SBSsQ%B>f3pK!a3P^V zrw8Ms3&ZS7iKp=X$asR#rc@eh!{hR*8F9Jb9O){xBnNaZ4_xHl=~Uz9yIE3uO!V)S ziqrjAc4uAPHyOr5-3Zd8{+#{HA3s=tHN=Ng34xusaK{H0TN$i3-xGz39!m*S9mERB z@>)~L<@~5ovdiBqtTcp`fu>93t(~=_IJ&%%#yn|2NjJw_6#bh7C^>S-1k{}~6e}!b za*q%wJ8{Y@-i7+cj^Omy#yD+Sa<5nz`gTy>mpQn?Wkm~@H$s*4pB>94YE#V6+A$9A zpfnVBwn3e?HN{G`@Pz2}rv{L`HAeinq9Ak=kacEh1nL|d)UqG@B=&7%gE~GNA-r<& zd6j3g=6%@$m6PBo!$MXMk@`~|O2W1X632K0Wl*H0M?-PCbYqkx*JdA`RHc35GN2cw zgEmBLY1OR0&3g@UkhXWagrYtv@;t4rja4iHmrkyTOm61GG$rLp(U!*y0E1M6NU(U~e*|5DZg4;MDwz%zgiLQ4|Q`-_oo^qD5LP6xN;h9YhM!>`ITKT(YjUZ*cg zNRZE>flI4UMCB!8$+cd0e9k$0JLTSwK^GHYQ6a>|E`<=pp5^as{dBT-!ymnF+GZGd>}(H*2@6vwb28J)w^Y0 zZ0B)Ped_~mlc1_tm7FMbO1W#`%TC0Fi8Y;b372!nsl8}2R$NqaKEKg}T-w3tnK*?x zvZCCg;K#`Bgj>XE)&NAfjJ>`rCm%cP97~rzPCVazGXaV9ST0T`lUM8cxWs|-gGBVb$qTfZP4ZzH>Hy)yNl^@KDUBo@T!tI;hHo&{)Ax|s| z+S+Mh7`j5}BUV3nW1}RUmd*|tCI#7?6l4CiIQ}qdi9O)8#MwK%T9`KptfM1KhQ|FY z)X{QpQ}@`=aQ8t5q$-LyMiU~^~>30^T{zuiJgZy|T@J6DYn6$cFl zD#f^Os9Va9GE{ScA!gIgBGV|a7fS#p%a zezk9(U5v}6rWi*3Hq1UYCr*y{t?kZTm5qE#a(oqX>LyWfm?Xo(Jce+2O*SF!(uyE; zS@+Na{F3F8|7ri+*t!YXTS1yNqSE{pr+9t`#XjLW9axmrW6P4UB>%^)z~0Q zi+rZJg&*zJ#O|lKLpI5beJ>XiQc8Vi6mq7MMaq}QY9RTbB#IsIDd#MYm`hXV;`uS> z+qL(NJI%_Dw8{6>Gah-y^Y0qLa)xEr-V>ar?A2AYWgN0UO=}fr-V@(g(*MZS?F7E} zzt`)TpAO4tVp9I0dD;mXvWlm#_3i^KPh6t_e|z(wUF_CTx*<^B({=~4LO=u2i`V|jLO_o}pmYnR1^?^m3+su8 zvV!&%-fwkuShrr62MKQ#PSkgjS&$Eyc$nHU#Pn#qxT$n$4M{jDi-l3#i5Oa++M;F7 zf>NIjOOI`z*j!qGQ+%ZwT$B4Gfp>9)GUx00`D2(7(^z=gJ*<&$4eLAy8n`<*g;J9S zI9G7kKP6RV5qG#i|1w>_QZ3R_DNV?s!P6`9nV{d9wR?E6J5eotZPJ`oF{x1FEr4Uq z29%ib(g9)2@E`|wI46rn77AsvtyMyiT?UX$YmE~)OZjCUB|(v`fglPW1+k`WtI?@v z@~2e_E_JV!c6WgR<*C#vupl@%Y*~pfVU}ew_GBqlvG5zwZtw z^A`;jlFo(xMC-xBC>B^9pEpKGM4_T8viazr3uWm&N|t#BYuTKSXs)Bm2#~)f!@%}Q zqmstQq#nG{&+4Sfei72QET!C=#`z2vIug{I%*rxZ**LqzS?A#y#wub$$=W-usiT@T zB4%pDrmGWeVNAwOYf5*FsC)9BlvQ97Fm|IRC_0VK5O>QaCn#!0L9f=+_Rz{>a1Tg4 z?6})(&2~?~h8UnWx*-$HaTpxy=TPF}>A$keI#4;}BP6TX^)Qn}P$j{kKPZZQ{InIO z4E}(Vy-DO^J?i9TFR$z_suxPjyIb0wTC>>iXBpLYfRc>=3MfGP1O?YsyG&%N>NEi4 zxWu#k=Bwavv3ueO_to)Rh*7wKxYPN*@D=yT2oM?15W5Xa+?{t26MNNH6$LqTg4yBV zv}X+sJcWRlwu1O#Q;ffYHbyc=deOW;)bB6)_8;o^8w>Tzuz`3H{Fie66Z>KS{ifUh zllgb{Mb(KRLIi2xab8TJM_JmKU@K2h@r&7U0Fp!kcH-=xb9rT2bO%Cg@+L+?z5E^h z%jo+*n0^oJc+x@+f`jt}HAk-nl|7stu%5#dPj;foGXy^m_aSRz*%5HWX9#kloW$+V zF6IqU_IDi7N4#v*WA&I}4DVV4{F)drtQ@L@t^GufYy-CUc>4Imc2)%H7Rmc*uk^2C zc!>3XRppR(-FsJa1`uNKpc^lg z#N_r_Re&PJjpi(P>)>@*p^qDCD5uzG*bVBBh zIJh-YSDrFLqE-~p#bsDL+?*ei$ciGs=B8-K%VHlha^&0|r`1`+WWbb-F9V%RuI=hR zK!MuE;*gLS6(pQP99qr_MaJ?P!Kw~dmmYV0Ax^=<1vqEb6vqhPOe|| z#P;}eO$A5^8cb1@4pb>}xFJK{^^1@r9^aA?c(Bb*@mKh}{exv;= zkkI%oDgNCaY=c(zCfMG&hf#n>RH*}GYSn?_jwC_nt{v_7=8>~#2+)Y2@$hL_EEB#5 z5K4ejf5+AugYO@~>dF=wE~<_YPpw>R;v};uk!^5ho3N~xLXM)%jC(+N$EH4peuA%_ zmU3SyT^_8)0jzWttV-X^c13R~uFwW^dFK)*`O6-KKF zFLsO1xUx=Guvp_HQ5dV4M3$V>rDIl!R@Feuzfq1al-%NCE5DD_&QfAnn1zwyQk#mW zqVAlBJ(FDe@UpIt_X&?RjvUof{prvxg`=NTKtaVv`h=w;t$*7ezl+!?UfCY1TweU4 z1Weq>Bj(R@v+FKVLC}a9>MkMX8V@@J5oG-~J5xEFy7{iEPp!=s4GOV<1L&HSP@bg5 zZPkBzqZd?PdwBPg3gqlioiZejI7#|e!vVblUK7Z(y`$CDq}picq7E-m&x#6cU^Q`* zaXwS#^ODhEIuIf%W^uv6x1?de*EBXOemoeQ(@O%d z0uGvy%H@)rI`#UrGMdT+2(4O`)p*W->SpGRvHLqpSdabuIIjmo%Y)2qR`_rP8p&)K z0HiJhlFL{(9{mVyusq9(h8(Q{32S+G_n%7hx5z0s0w}O;|0#=I_HEh%N zVu1)_L<_t%T@wK7IMF_>a#4=blS^PD_a>d(Wh+7ciY4Ds@w|$98Pc6aR(x3qHv*|6d&?qVI5N&dWtNw&@zfL>49+<1*7_m<>YDrpy%3ddm7K8k40bE`v1 zX3sbg^V|!)y7lCan3b1yDSAeo$0jsffN>6tcy|x_1Ay|mhZf1c=NA;qWT|8p6 z$zQ^$vYXc=6_N=M)d4}PE_ErbF{5C1_ z(6|Nv_V8VfCgjKVRdCm?EXzPz%3@3T&wy>)V9U9+Uo_X1k=8$s?#6%QL zO45~Y6lZB8{Ng)eoukuY7-EmwCLLDhgf@q8iJeQ2mvSt&$>3g6vkDjJq*f62REBG( z+SR~H#~(pAcaBlsho`8oA+g$U)9+8G7trpa8=VY88Hn_>-AFKXEAymBH^;${pQi|u(g8+kU#c0Pb!6IJ`nGaZ7kCC-uC z`~|1>3(7Jb8+gcD+y@W`Y^rGOHL{5gQ5q|{H@>1?;}o~U8=^l-8Ugh+oV_9{M=l9V z4~kfWO$9|C39kI%)Yql+>sMSt%e%|usk%M$=115Pqc-IF8Yo-Y%`-6$dHMo;Mx?PB zvCmGBLfuX*x$v!v+$DM0>{8F?1bJtGk^2F8bab_H3?9962cXaNjM8`+|qBikS<--JBsU|UF9^0fvAt( zVYhyQw=-YJ0T7$o{Zwprq%T$%!i#+dh0^UAdMO)t#yZ5G^f1-^!!GIJ8PYTzXR&mj zprPWjZnLHSsB_oixMtpL7F;V~){OThq*I_q5hu~Ubp?gyz)6Jt6V2ys?_}mv*RdWu z=x!~84BQjB7@3_s7Mz6e>T{j}c83WDYHp_&`{soE>`m^;%#tw9Vd|I#_zMGejuhLV zuveT8&Z~@@OV+Ck_yU^@Y%SpHn-D^ zfSC1uW{ikA4nUn(edl$`X3n4vvm;SAbFprtKqubE`XSh*3M?86)X~ZsbfPR$;!@ZS z)=5o>sbzeNLrM(Vw3^I3XYKGzv6kN4gvtx(-f05hfp`(9J?-*pG9_}lP}#t^ltQFl zu3_ZXm?~dR@ypdcHQsC`X4kjWhpTM}K^W8NK^SWuMb=|;k<@*4%L|*7rb7xu$g_ie zY`l%2k6nEiypRKJKnwjJ6=H)QRW8PW#kfTsO+{PgcGN^ExNf07q0G<&V4$tOn2EfQ zI-U9uz}F2ffFyJzfk>;|q8UjQF7%b9?>9h?6V=ZJz|=j^?7pc^?9CMTC%YUi9%$Zi zAS^S!OfPW9x!Eanq_c>nq7ypgFm;g6sFh`xhjOK17T`GWHIsSIc1hN5MmHjiXHf43 z6*N?7ozMb1+KX(xTF$B^=-BP~6=2d-4~`*o$<3@Kol8*<89`Tz%_5nDe>)lz+YTzGMlaSNr@Y#1%C&j%(R23*wsRGqpW6I={ic< zLsP@@$6LAR{sG5tKP`GimPL-Q7y_q&$6k;nR;wp$n9ZMy7wz`q(41lG@D=q&nsy{k z^P1K{C6iyoVV^qY?rxTAw#HzA+2XN^(g=9S)fdA5+SwIE3W4+IDKN@`k=RRnn4Wn3 zp7tyYi%8~5`vA0|S*(03X`B>z#s_5d_C~!R94l3-8{b0Nv&vK^ljBDQK@vq%^6NE_rb^;kVKX5=?f+_Er|=F29`{tV$fW?gOHP zo%%(t`5ZmApiC8p^=9Y#K#VJ^1idBDW!wkHzAqld`+)787aa#Vm5EO)e zMrSAnYbF}T#R!%4UeVzXC1#6ZZ8W*RUcgo^>fz*HdLblvl5$klwmFl}EBM&jow4dTjj zfV|t#BYH(bkax1vN(9Nn#-2mY*4w`~F%~o(!Na{ORIQmR%5oOYfqW?y+}ludi8)#lY8i2&KW|zvMjO}=ggNESBjD>Bor3JKgap~8jwHe z_o%=Bl=>qF1jMgkzCTF$CHemu+V|Hg{2>eh@hgn&4~lt7{wLU5m<*&7Q_#2czhXVdH&R=W8_A(UzS(`sX1OFN2x0mJLjk5k5l)r`w{xi~F z+g12CNPi9;{AZlM)@bSPaQ+fX_|Hgx?I9ef|J_4>gckk_<@Zy?e?D*g%X#<*$-SWb z5o-9m3jZ$m=hH{OP9y(8s;GZCoBW@GfA((wI-K+e`QiNasM3E*{@F?T%lrKYX}t90 zOMLBbzVP3r{>g#*hm/dev/null diff --git a/document/directory_naming.html b/document/directory_naming.html index be43a3d..d409362 100644 --- a/document/directory_naming.html +++ b/document/directory_naming.html @@ -102,9 +102,7 @@
  • tester/ Workspace for the tester. Has the test bench, tests, and test scripts.
    • document/ Test-specific documentation.
      • -
    • test0/ Test case 0 environment and associated scripts.
      • -
    • test1/ Test case 1 environment and associated scripts.
      • -
    • test2/ Test case 2 environment and associated scripts.
      • +
    • javac/ The tests of the test bench sources.
    • tool/ Tools needed for testing and managing the test environment.
  • tool/ Project administration specific tools.
    • diff --git a/document/work_flow.txt b/document/work_flow.txt index 5f699a2..6c3ea4c 100644 --- a/document/work_flow.txt +++ b/document/work_flow.txt @@ -29,7 +29,7 @@ 4.1. The release candidate is located in the `$REPO_HOME/release` directory and has passed testing. -4.2. Check that the program `$REPO_HOME/tool_shared/bespoke/release` outputs the +4.2. Check that the program `$REPO_HOME/tool_shared/bespoke/version` outputs the correct information. If necessary, modify it. 4.3. A new branch is created in the project for the release, named `release_v.0`, where `v.0` is the version number from the `version` diff --git a/release/Mosaic.jar b/release/Mosaic.jar index dd5ec49c9ac17e3daee50feef45a1303a429e471..f1f8c7a9b8334ccdd657dc94f527074a8994b4b5 100644 GIT binary patch delta 191 zcmeB9oaw+D;LXe;!ob17!QhdXGLhGc8AN%VW}Xt2GFgIA9>kq&#b^ws3mC!Do7XZn zuz>_N8*p?off;+a7IT6bNg^jWco~^Q7~p13_R+Bb>u%R62b;>Ms}JTI>pFw!N?k87 meM~n9OiSy9f$0*xNHBdt&r5`rjR6R_fbcdG1A~Svhz9`XtTNdE delta 4172 zcmZXXcT^MIy2e8j2%Uu9dkum}70@8PgS1GO4xx&430EQp z9nqALZ6-4T7g30rU8W*|G!c)5U8XO=<#cl`LFAQ-_nIZio)BIRx`AcnmxFuYVKSEg zTan4c76$m^63p}k^CGkjB|IDg9X^=r`z&hE_I$UX^yejt8tI6pXsL?Xq7{DpPz>mx zPL0;Dv~h58v+(=&G0`Rh;=bU&So(-rQaofmY$>cuDEpzgfT~OCrlu)8S@sLWCA$#? z!ET1V({U|uJ5eNTucbA3o|-V`>#^a)($C19?K14~hB6;2PK#K}mjwM&7qo{*iU9d- z)d6sl=O%4@@jDuMC232Hx0 zPTzp7Hc)yo>etp9v)KE*#t$sS@U};*&LrvPBu{80nxjsm6|AF-VhV<3T5SgdNny8R zHMXQp6Z$QOYaEb*AYDoY#s&LV(eV?AJNl5GUqjT06>rExb+Jk>bg3S7_O+1Yoz6gH zfRxbyw8N-#ZJN}htfx(!bAhsh#PQ9EpY_+#WrhY46B7kO(~(G1Cmc!ynkTEyra|$3 zyYq_1K0IH)y3(w}pVTI@e{p86v7Tx=GX+Z5dHTI!!Adho^9Qg$|Al%TZE- z#(hErRPMD+8wwgIy&{Mmqd6tgi=?vfz3Vr^;X0Gd7 zKDidL`kaOt@Y|W1FMs_f!J1=`uRO)+{u zbnixs%)aHmo-H7(H!-`I|X}bMUv)q0bHtE{(Bx9b=W0O}g4e zw@hN2N!i<x6NGtxWVO&-tCeesDU99sJJxC?6}XX3RAkbzl%ASyI7;J05ua zf+=#)^V(==XEB0-=1B&BR7iL2lQ0}DOxo3p-VWUcMTcXRB%PnRxwZ4ib$LS!-d7-u z?2V&qje=2ID8g0};rlrwAx{}u_R#tCWVkfuMb`oOy?_vg6UG2K!>Nc9#oMDK!6>o? z%JID6(SRZ3hEjjEQDBY&c*DST{LZIY_j<+Y;3#^YzK^q&kBcmeSYfE@o^S8Qy{86= zUUo^AHcb1B;)b?=gul+C=)_saKyMORPaW8-e~)sN#E(3Ui-p6?AHo}SK!8h zhSGs<7FW4hqnF`+a~Rd~&zmyawpTxv&!>r8o!_RJ+#0Z*^E@2)jeD=n-==T1YDX8XnEzDB{|D=rT)E~FZwFw79x#WS9qlZ}+j z!-H@FMhpP((*gkhA|3b~b^i$_(F-tT+LMtYF31#@+UPxSi&hPfPcRm}?J#NOuB8vs zVo=|Z_t`NU3!DAGIiPwR=Cq@hBRrWB=<;#97T-$MA6FO7R}kHBoz%aUm@6OoKF(?0 zEWS%c?PR?s+~Q}pQ~@fFu$`Un$q~VWQeyIi*<$i40o)L3Os7c4ahA_EzuBmIr`4V@;U3Yy==jr1S#@mU`#oe3QStjuQ4x zrK$4iCwEua*X%bUq)=RKne1WyJ@W2T5ll*98fZqIsx&cUTAZpyfL(Yq=QS$R_;*Wn zP8t@pLiAC=H+ifH9F{DO84`lSC$*EpUi8wi+fs%LD~%mn9DC;WFy&pS$zWcL^9A(tI3;sRcFw8ujK{-P{x&$dO)19FD)0Dn}q zlOR{oKF@=pz=fEhvc7Q>HA=#rdvuzahrO=1BA;tjrM#G$7AmmZSr4PxzB_Ey2u*7p z!5YhZX3bka6HlHAY{q=F63VjH6RfU=NQKjvsMp2Ke~yjQK>rT=JXyz-slDsdlEIDg zMNmsj?0a5simlHi@7up~_~qtl9sqDG(sGwVW0}5RDg<3j3nw6C=D0oMBu5Y&szjhA zqR3do-`#3nCW&?_f4@bIk`Om*AG-(Jg#Sc62@I$7(aCBnO%SwKB3AwBWW8N4Wu_ho zPW?{xEyU5UqgJZm%V8VSf-_pt=SW7E4grv8O=%pdUGEljwk&{$rUOB&9!+wrFG0Bj z>_>p!L|`+^r~}Y5kvi#1mU)4hN)g25aexuou4F`4iISUV<56q{Zl^Duqhg=zV zS(+t#;fgtsLuT07^>lZ}-%YDbOIO8E=iI0|m69JZF|Qte8GozWwo0ANlC+dudTj#grx9HjNqXFr6KHlDOIMVTaT53tra%4Rs9*#YfGEy z!Iw{u1oU1!lvaf3wrqcf^9%DKb$|!luRqek5-RsdLCfrw5K7_i3dFeEDkhLIzgpqQ z)gOoOafbDBwRIrZ+jMwNDSYV^HHar_wUHWGGbt;bNxlkv&dsF1Ou_gX5viI(Cl!>S z+gH5?;eVGaQW{8B+eT9pP`B%1hP;0-1~!-EI{tIx$06myb;4T%;eJ$dmX-szfKz>4 zNk$(wr;xAC1cY--`g|rR7RQ1>l?~JFEXgjdbFMy}Y22f%&+TE+l8cg^{m8%fL{3(A^(;bGj{}ypUz8aePcP&gZ&&!-|rDFT;t%%I{}4+||5s{B^1pbK16p z+BmtSs`-Rw*x><02SPTtZ_tL9-3E#GFLM+YKfoJ1xF6b)6}CW+el-qvDtlQ>EMoNL z=izCG;jbS1eDW^({+n5e=~XqcR{>S;kp6US%yOIffk9l(YRwYUQFz5`n+pf^HI*Kk++fWARdeih-DbU`>|tU@W8Cr~O@G#K^peG3(X?)k z=$LNN(dcSw&b2&X#lBmMI4(;sU37(ArP(yKjPC0e!)aE2Y#g7%6p48T6Rl-y4j-bl zF+kk1A~>^<4=VA1k+-9RL_}1pc~F}Pb6b)0F{dUVjg5`heMNqkiVeX1y`e2JkNpvc zN`n0p-It4bjo6br%5NxCC2AeP(NpSQ_NtD&-~moI}?4KpHKQT_ubjpF;SgkaM(YH9wUKdhhS)+00$4#h;jGenw2A%oGLUe#pdyL z*VU|VX|wS~m`^q}TG)`N``vF7nJ|GrtR@%_zOg&tAz~lOoxaI>eAXZI9yd-dYtC<6 zXR^b%4VnqkKIk~hB|%R2Li;CZ6b^qcivtKX>h)J3B zX6mw@_K+9Bq-&&fH>btmjH)P5Ub#@0^X*K&0ccp?4qZ~*hcr_;3tBbs!t|3NP$ewGDc5Rsbi&9WEp?$F;~x$9U` zTSA3@!sugp8717l%A?}iFQGgHJ09;|^;qPkm7}0#U!y5dZD^-OJe-P zk|DIwI%CWzHz{9#Q~AwIuVn5PV92T~(vdj$_cr1VhuUfk9mqc%$b~|&?E^J!3Xfq+Eh|iic-;Ad*ve zul7`zDwh{s7onNLeXCf&#i}34H1d`=(6D$Fl|}_W)QVDYZ&F2auOCzBzR$~GQ{b9) zjZqOFzw))0m4?}7=J>kdqz4)iUqk(}8U`5Hqp(u-T-A#KC|9Q5ETpLDZml=466)yA3YR3h;tX*6>qW{0*h0*-eg9`qUhR^xJk?9BKk^Wa8 z{_{^RbblHx(Z6&vJQunPzbbj*SN{}V_^?0m1^G*;&UYz1w`Kn&yrA2keG&dks49Fe Y6lDG1uaR82n4> cd Mosaic +> source env_tester +> emacs & + +... + +2024-11-04T11:23:08Z[Mosaic_tester] +Thomas-developer@Blossac§/var/user_data/Thomas-developer/Mosaic§ +> clean_build_directories ++ cd /var/user_data/Thomas-developer/Mosaic/tester ++ rm -r scratchpad/Test0.class scratchpad/Test_IO.class 'scratchpad/Test_MockClass$TestSuite.class' scratchpad/Test_MockClass.class scratchpad/Test_TestBench.class scratchpad/Test_Util.class ++ rm jvm/Test_Mosaic.jar ++ rm shell/Test0 shell/Test_IO shell/Test_MockClass shell/Test_TestBench shell/Test_Util ++ set +x +clean_build_directories done. + +2024-11-04T11:23:23Z[Mosaic_tester] +Thomas-developer@Blossac§/var/user_data/Thomas-developer/Mosaic§ +> make +Compiling files... ++ cd /var/user_data/Thomas-developer/Mosaic/tester ++ javac -g -d scratchpad javac/Test0.java javac/Test_IO.java javac/Test_MockClass.java javac/Test_TestBench.java javac/Test_Util.java ++ jar cf jvm/Test_Mosaic.jar -C scratchpad . ++ set +x +Creating shell wrappers... +tester/tool/make done. + +2024-11-04T11:23:27Z[Mosaic_tester] +Thomas-developer@Blossac§/var/user_data/Thomas-developer/Mosaic§ +> run_tests +Running Test0...Test0 passed +Running Test_Util...Test_Util passed +Running Test_IO...Test_IO passed +Running Test_TestBench...Expected output: Structural problem message for dummy_invalid_return_method. +Structural problem: dummy_invalid_return_method does not return Boolean. +Test_TestBench Total tests run: 3 +Test_TestBench Total tests passed: 3 +Test_TestBench Total tests failed: 0 +Running Test_MockClass...Test failed: 'test_failure_0' reported failure. +Structural problem: test_failure_1 does not return Boolean. +Error: test_failure_1 has an invalid structure. +Test failed: 'test_failure_2' threw an exception: java.lang.reflect.InvocationTargetException +Test failed: 'test_failure_3' produced extraneous stdout. +Test failed: 'test_failure_4' produced extraneous stderr. +Total tests run: 9 +Total tests passed: 4 +Total tests failed: 5 + +2024-11-04T11:23:33Z[Mosaic_tester] +Thomas-developer@Blossac§/var/user_data/Thomas-developer/Mosaic§ +> clean_build_directories ++ cd /var/user_data/Thomas-developer/Mosaic/tester ++ rm -r scratchpad/Test0.class scratchpad/Test_IO.class 'scratchpad/Test_MockClass$TestSuite.class' scratchpad/Test_MockClass.class scratchpad/Test_TestBench.class scratchpad/Test_Util.class ++ rm jvm/Test_Mosaic.jar ++ rm shell/Test0 shell/Test_IO shell/test_log.txt shell/Test_MockClass shell/Test_TestBench shell/Test_Util ++ set +x +clean_build_directories done. diff --git a/tester/jvm/Test_Mosaic.jar b/tester/jvm/Test_Mosaic.jar index 73b55655feba138c3172d6497c1feedc45646574..9d9305e416452d706e212527f0143e3dced2adfd 100644 GIT binary patch delta 146 zcmexv{oR^3z?+#xgn@&DgJE)B%0yl(W)S6d8bocDV7$NtX1r$J%mQXCGnDu| zAX2#kY;0hWGBHQ6)Z|^#79fGiU!}{zbiRxkm|h_R5q~V>3Fhm|+JosrD7{(M1ppYo BGMfMZ delta 146 zcmexv{oR^3z?+#xgn@&DgP}w%aU!o3Gl=p!4Wc$nFkWB+GhQ=qW&tx6a@4Vc8A^N} z5UE@NHa4(GnV2J3YVs~=3y{F%uhQjUI$y>NOs|lEh(DI`1oQP}?ZI>*l-?}s0svJt BEBgQd diff --git a/tester/shell/test_log.txt b/tester/shell/test_log.txt new file mode 100644 index 0000000..0271459 --- /dev/null +++ b/tester/shell/test_log.txt @@ -0,0 +1,14 @@ + +2024-11-04T13:53:57.865246Z ----------------------------------------------------------- +Test: test_failure_3 +Stream: stdout +Output: +Intentional extraneous chars to stdout for testing + + +2024-11-04T13:53:57.874296Z ----------------------------------------------------------- +Test: test_failure_4 +Stream: stderr +Output: +Intentional extraneous chars to stderr for testing. + diff --git a/tool_shared/bespoke/version b/tool_shared/bespoke/version index 3a9dd05..7faa3a1 100755 --- a/tool_shared/bespoke/version +++ b/tool_shared/bespoke/version @@ -2,5 +2,5 @@ script_afp=$(realpath "${BASH_SOURCE[0]}") # 2024-10-24T14:56:09Z project skeleton and test bench files extracted from Ariadne -echo v0.1 +echo v1.0 -- 2.20.1