main_testing5/bfc_test.sh
changeset 384 627a944c744b
parent 376 944db68cddbd
child 404 5ff7ffa929cc
equal deleted inserted replaced
383:72d6a4af4b4a 384:627a944c744b
    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