main_marking4/knight1_test3a.scala
changeset 463 0315d9983cd0
parent 424 daf561a83ba6
--- a/main_marking4/knight1_test3a.scala	Sun Jan 15 10:58:13 2023 +0000
+++ b/main_marking4/knight1_test3a.scala	Sat Mar 11 22:01:53 2023 +0000
@@ -5,10 +5,18 @@
        j <- (0 until dim).toList) yield count_tours(dim, List((i, j)))
 }
 
+import scala.concurrent._
+import scala.concurrent.duration._
+import ExecutionContext.Implicits.global
+import scala.language.postfixOps 
+
+lazy val f = Future {
 
 assert(count_all_tours_urban(1) == List(1))
 assert(count_all_tours_urban(2) == List(0, 0, 0, 0))
 assert(count_all_tours_urban(3) == List(0, 0, 0, 0, 0, 0, 0, 0, 0))
 assert(count_all_tours_urban(4) == List(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0))
+}
 
+Await.result(f, 32 second)