--- a/main_marking4/knight1_test3c.scala	Sun Jan 15 10:58:13 2023 +0000
+++ b/main_marking4/knight1_test3c.scala	Sat Mar 11 22:01:53 2023 +0000
@@ -22,6 +22,12 @@
   case x::y::p => 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 ts00_urban = enum_tours(5, List((0, 0)))
 assert(ts00_urban.map(correct_urban(5)).forall(_ == true) == true)
@@ -31,3 +37,7 @@
 val ts_urban = enum_tours(5, List((0, 2)))
 assert(ts_urban.map(correct_urban(5)).forall(_ == true) == true)
 assert(ts_urban.length == 56)  
+}
+
+Await.result(f, 32 second)
+