updated draft
authorChristian Urban <christian.urban@kcl.ac.uk>
Sun, 15 Jan 2023 10:58:13 +0000
changeset 459 7acbef680bef
parent 458 5a86b9983d32
child 460 f5c0749858fd
updated
main_testing5/bfc_test.sh
--- a/main_testing5/bfc_test.sh	Sun Jan 15 10:57:28 2023 +0000
+++ b/main_testing5/bfc_test.sh	Sun Jan 15 10:58:13 2023 +0000
@@ -95,7 +95,7 @@
 if [ $tsts1 -eq 0 ]
 then
     echo -e " combine(optimise(load_bff(\"benchmark.bf\"))).length == 134" >> $out
-    echo -e " combine(optimise(load_bff(\"mandelbrot.bf\"))).length == 6511" >> $out
+    echo -e " combine(optimise(load_bff(\"mandelbrot.bf\"))).length == 6509" >> $out
   
   if (scala_assert $scalafile "bf_test7.scala")
   then