--- 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