equal
deleted
inserted
replaced
336 fi |
336 fi |
337 |
337 |
338 if [ $tsts4 -eq 0 ] |
338 if [ $tsts4 -eq 0 ] |
339 then |
339 then |
340 #echo -e "For testing needs to take 10 seconds or less to execute: " >> $out |
340 #echo -e "For testing needs to take 10 seconds or less to execute: " >> $out |
341 echo -e " " >> $out |
341 echo -e " one_tour_pred(8, List((0, 0)), 40, x => x._1 < 5) is ok?" >> $out |
342 |
342 |
343 if (scala_assert "knight4.scala" "knight_test10.scala") |
343 if (scala_assert "knight4.scala" "knight_test10.scala") |
344 then |
344 then |
345 echo -e " --> success" >> $out |
345 echo -e " --> success" >> $out |
346 else |
346 else |