--- a/main_marking4/knight1_test5.scala	Sun Jan 15 10:58:13 2023 +0000
+++ b/main_marking4/knight1_test5.scala	Sat Mar 11 22:01:53 2023 +0000
@@ -23,9 +23,18 @@
     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 ts1_urban = first_tour(6, List((0, 0))).get
 assert(correct_urban(6)(ts1_urban) == true)
 
 val ts2_urban = first_tour(4, List((0, 0)))
 assert(ts2_urban == None)  
+}
+
+Await.result(f, 32 second)