updated
authorChristian Urban <christian.urban@kcl.ac.uk>
Tue, 08 Nov 2022 18:35:41 +0000
changeset 434 8c5804b2f9d2
parent 433 6af86ba1208f
child 435 fda7c39f3b6a
updated
main_testing4/knight_test.sh
main_testing4/knight_test10.scala
--- a/main_testing4/knight_test.sh	Tue Nov 08 00:27:47 2022 +0000
+++ b/main_testing4/knight_test.sh	Tue Nov 08 18:35:41 2022 +0000
@@ -338,7 +338,7 @@
 if [ $tsts4 -eq 0 ]
 then
   #echo -e "For testing needs to take 10 seconds or less to execute: " >> $out  
-  echo -e " " >> $out
+  echo -e " one_tour_pred(8, List((0, 0)), 40, x => x._1 < 5) is ok?" >> $out
   
   if (scala_assert "knight4.scala" "knight_test10.scala")
   then
--- a/main_testing4/knight_test10.scala	Tue Nov 08 00:27:47 2022 +0000
+++ b/main_testing4/knight_test10.scala	Tue Nov 08 18:35:41 2022 +0000
@@ -24,6 +24,6 @@
 }
 
 
-val ts70 = tour_on_mega_board(70, List((0,0))).get
-assert(correct_urban(70)(ts70) == true)
+val ts70 = one_tour_pred(8, List((0, 0)), 40, x => x._1 < 5).get
+assert(correct_urban(8)(ts70) == true)