main_testing5/bfc_test.sh
changeset 457 85942c3b387a
parent 423 554278cd4b70
child 459 7acbef680bef
equal deleted inserted replaced
456:873d0b16aaa9 457:85942c3b387a
    79 
    79 
    80 
    80 
    81 if [ $tsts1 -eq 0 ]
    81 if [ $tsts1 -eq 0 ]
    82 then
    82 then
    83     echo -e " optimise(load_bff(\"benchmark.bf\")).length == 181" >> $out
    83     echo -e " optimise(load_bff(\"benchmark.bf\")).length == 181" >> $out
    84     echo -e " optimise(load_bff(\"mandelbrot.bf\")).length == 11205" >> $out  
    84     echo -e " optimise(load_bff(\"mandelbrot.bf\")).length == 11203" >> $out  
    85   if (scala_assert $scalafile "bf_test6.scala")
    85   if (scala_assert $scalafile "bf_test6.scala")
    86   then
    86   then
    87     echo -e "  --> success" >> $out
    87     echo -e "  --> success" >> $out
    88   else
    88   else
    89     echo -e "  --> \n ONE TEST FAILED\n" >> $out
    89     echo -e "  --> \n ONE TEST FAILED\n" >> $out