# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1667932541 0
# Node ID 8c5804b2f9d26f7d96b96b8bc27fbaf089c120c5
# Parent  6af86ba1208fc1b8c701948a960f980d8406178d
updated

diff -r 6af86ba1208f -r 8c5804b2f9d2 main_testing4/knight_test.sh
--- 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
diff -r 6af86ba1208f -r 8c5804b2f9d2 main_testing4/knight_test10.scala
--- 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)