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