main_marking5/bf_test.sh
changeset 394 839ad118e467
parent 393 7a9cc14d0912
child 424 daf561a83ba6
--- a/main_marking5/bf_test.sh	Sun Jan 31 03:28:20 2021 +0000
+++ b/main_marking5/bf_test.sh	Fri Jul 16 23:34:19 2021 +0100
@@ -262,7 +262,7 @@
 if [ $tsts -eq 0 ]
 then
   echo -e " optimise(load_bff(\"benchmark.bf\")).length == 181" | tee -a $out
-  echo -e " optimise(load_bff(\"mandelbrot.bf\")).length == 11203" | tee -a $out  
+  echo -e " optimise(load_bff(\"mandelbrot.bf\")).length == 11205" | tee -a $out  
   echo -e " run3(\"[-]\", Map(0 -> 100)) == Map(0 -> 0)" | tee -a $out
   echo -e " run3(\"[->+<]\", Map(0 -> 10)) == Map(0 -> 0, 1 -> 10)" | tee -a $out
   echo -e " run3(\"[>>+>>+<<<<-]\", Map(0 -> 42)) == Map(0 -> 0, 2 -> 42, 4 -> 42)" | tee -a $out
@@ -287,7 +287,7 @@
 if [ $tsts -eq 0 ]
 then
   echo -e " combine(optimise(load_bff(\"benchmark.bf\"))).length == 134" | tee -a $out
-  echo -e " combine(optimise(load_bff(\"mandelbrot.bf\"))).length == 6509" | tee -a $out
+  echo -e " combine(optimise(load_bff(\"mandelbrot.bf\"))).length == 6511" | tee -a $out
   echo -e " run4(\"[-]\", Map(0 -> 100)) == Map(0 -> 0)" | tee -a $out
   echo -e " run4(\"[->+<]\", Map(0 -> 10)) == Map(0 -> 0, 1 -> 10)" | tee -a $out
   echo -e " run4(\"[>>+>>+<<<<-]\", Map(0 -> 42)) == Map(0 -> 0, 2 -> 42, 4 -> 42)" | tee -a $out