Binary file core_templates1/collatz.jar has changed

Binary file core_templates2/docdiff.jar has changed

Binary file core_templates3/postfix.jar has changed

Binary file core_templates3/postfix2.jar has changed

Binary file main_templates1/drumb.jar has changed

Binary file main_templates2/wordle.jar has changed

Binary file main_templates3/re.jar has changed

Binary file main_templates4/knight1.jar has changed

Binary file main_templates4/knight2.jar has changed

Binary file main_templates4/knight3.jar has changed

Binary file main_templates4/knight4.jar has changed

Binary file main_templates5/bf.jar has changed

Binary file main_templates5/bfc.jar has changed

--- a/main_testing3/re_test.sh	Sat Dec 17 12:42:49 2022 +0000
+++ b/main_testing3/re_test.sh	Fri Dec 23 16:52:34 2022 +0000
@@ -185,7 +185,7 @@
     echo -e " SEQs_smart(List(ONE ~ ONE)) == ONE ~ ONE" >> $out
     echo -e " SEQs_smart(List(ONE, ONE)) == SEQs(List(ONE, ONE))" >> $out
     echo -e " ALTs_smart(Nil) == ZERO" >> $out
-    echo -e " ALTs_smart(List(ONE ~ ONE)) == ONE ~ ONE)" >> $out
+    echo -e " ALTs_smart(List(ONE ~ ONE)) == ONE ~ ONE" >> $out
     echo -e " ALTs_smart(List(ZERO, ZERO)) == ALTs(List(ZERO, ZERO))" >> $out
   
   if (scala_assert "re.scala" "re_test6.scala")