main_testing5/bfc_test.sh
changeset 462 34feeb53c0ba
parent 460 39ec5c112312
child 475 59e005dcf163
equal deleted inserted replaced
461:f28ccfdcfae2 462:34feeb53c0ba
    93 
    93 
    94 
    94 
    95 if [ $tsts1 -eq 0 ]
    95 if [ $tsts1 -eq 0 ]
    96 then
    96 then
    97     echo -e " combine(optimise(load_bff(\"benchmark.bf\"))).length == 134" >> $out
    97     echo -e " combine(optimise(load_bff(\"benchmark.bf\"))).length == 134" >> $out
    98     echo -e " combine(optimise(load_bff(\"mandelbrot.bf\"))).length == 6511" >> $out
    98     echo -e " combine(optimise(load_bff(\"mandelbrot.bf\"))).length == 6509" >> $out
    99   
    99   
   100   if (scala_assert $scalafile "bf_test7.scala")
   100   if (scala_assert $scalafile "bf_test7.scala")
   101   then
   101   then
   102     echo -e "  --> success" >> $out
   102     echo -e "  --> success" >> $out
   103   else
   103   else