main_testing5/bfc_test.sh
changeset 384 6e1237691307
parent 376 6cc36d0ef79e
child 404 bf20a9fa5c29
--- a/main_testing5/bfc_test.sh	Mon Dec 07 01:25:41 2020 +0000
+++ b/main_testing5/bfc_test.sh	Fri Jan 15 02:40:57 2021 +0000
@@ -77,9 +77,8 @@
 
 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(\"benchmark.bf\")).length == 181" >> $out
+    echo -e " optimise(load_bff(\"mandelbrot.bf\")).length == 11205" >> $out  
   if (scala_assert "bfc.scala" "bf_test6.scala")
   then
     echo -e "  --> success" >> $out