updated
authorChristian Urban <christian.urban@kcl.ac.uk>
Sun, 15 Jan 2023 10:58:13 +0000
changeset 462 34feeb53c0ba
parent 461 f28ccfdcfae2
child 463 0315d9983cd0
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