# HG changeset patch # User Christian Urban # Date 1481895273 0 # Node ID 990a1531135d119a8ee482be604e9150a423e470 # Parent 9384b8c98014439159f760510def0abd92fb91f0 updated diff -r 9384b8c98014 -r 990a1531135d marking/knight3b_test.scala --- a/marking/knight3b_test.scala Fri Dec 16 13:25:08 2016 +0000 +++ b/marking/knight3b_test.scala Fri Dec 16 13:34:33 2016 +0000 @@ -31,7 +31,7 @@ lazy val f = Future { - val tsc = first_tour(6, List((3, 3))).get + val tsc = first_closed_tour_heuristic(6, List((3, 3))).get assert(correct_closed_urban(6)(tsc) == true) } diff -r 9384b8c98014 -r 990a1531135d marking/mark02b --- a/marking/mark02b Fri Dec 16 13:25:08 2016 +0000 +++ b/marking/mark02b Fri Dec 16 13:34:33 2016 +0000 @@ -80,6 +80,18 @@ fi fi +if [ $tsts1 -eq 0 ] +then + echo " first_closed_tour_heuristic(6, List((3, 3))) found and ok?" | tee -a $out + + if (scala_assert "knight3.scala.bak" "../../../marking/knight3b_test.scala") + then + echo " --> success" | tee -a $out + marks=$(( marks + 1 )) + else + echo " --> test failed" | tee -a $out + fi +fi