--- a/main_marking4/knight2_test8.scala	Sun Jan 15 10:58:13 2023 +0000
+++ b/main_marking4/knight2_test8.scala	Sat Mar 11 22:01:53 2023 +0000
@@ -23,10 +23,20 @@
     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 ts8_urban = first_tour_heuristics(8, List((0,0))).get
 assert(correct_urban(8)(ts8_urban) == true)
 
 val ts30_urban = first_tour_heuristics(30, List((0,0))).get
 assert(correct_urban(30)(ts30_urban) == true)
+}
 
+Await.result(f, 32 second)
+
+