main_testing5/bfc_test.sh
changeset 460 39ec5c112312
parent 426 b51467741af2
child 462 34feeb53c0ba
--- a/main_testing5/bfc_test.sh	Sat Jan 14 14:13:16 2023 +0000
+++ b/main_testing5/bfc_test.sh	Sun Jan 15 10:31:30 2023 +0000
@@ -81,7 +81,7 @@
 if [ $tsts1 -eq 0 ]
 then
     echo -e " optimise(load_bff(\"benchmark.bf\")).length == 181" >> $out
-    echo -e " optimise(load_bff(\"mandelbrot.bf\")).length == 11205" >> $out  
+    echo -e " optimise(load_bff(\"mandelbrot.bf\")).length == 11203" >> $out  
   if (scala_assert $scalafile "bf_test6.scala")
   then
     echo -e "  --> success" >> $out