--- a/main_marking4/knight3_test9.scala	Sun Jan 15 10:58:13 2023 +0000
+++ b/main_marking4/knight3_test9.scala	Sat Mar 11 22:01:53 2023 +0000
@@ -23,7 +23,16 @@
     if (legal_moves_urban(dim, p, y).contains(x)) correct_urban(dim)(y::p) else false
 }
 
+import scala.concurrent._
+import scala.concurrent.duration._
+import ExecutionContext.Implicits.global
+import scala.language.postfixOps 
+
+lazy val f = Future {
 
 val ts70_urban = tour_on_mega_board(70, List((0,0))).get
 assert(correct_urban(70)(ts70_urban) == true)
+}
 
+Await.result(f, 32 second)
+