main_testing5/bfc_test.sh
changeset 384 627a944c744b
parent 376 944db68cddbd
child 404 5ff7ffa929cc
--- 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