main_testing5/bfc_test.sh
changeset 384 6e1237691307
parent 376 6cc36d0ef79e
child 404 bf20a9fa5c29
equal deleted inserted replaced
383:c02929f2647c 384:6e1237691307
    75 
    75 
    76 
    76 
    77 
    77 
    78 if [ $tsts1 -eq 0 ]
    78 if [ $tsts1 -eq 0 ]
    79 then
    79 then
    80   echo -e " optimise(load_bff(\"benchmark.bf\")).length == 181" >> $out
    80     echo -e " optimise(load_bff(\"benchmark.bf\")).length == 181" >> $out
    81   echo -e " optimise(load_bff(\"mandelbrot.bf\")).length == 11205" >> $out  
    81     echo -e " optimise(load_bff(\"mandelbrot.bf\")).length == 11205" >> $out  
    82   
       
    83   if (scala_assert "bfc.scala" "bf_test6.scala")
    82   if (scala_assert "bfc.scala" "bf_test6.scala")
    84   then
    83   then
    85     echo -e "  --> success" >> $out
    84     echo -e "  --> success" >> $out
    86   else
    85   else
    87     echo -e "  --> \n ONE TEST FAILED\n" >> $out
    86     echo -e "  --> \n ONE TEST FAILED\n" >> $out