main_marking4/knight2_test7.scala
changeset 463 0315d9983cd0
parent 424 daf561a83ba6
--- a/main_marking4/knight2_test7.scala	Sun Jan 15 10:58:13 2023 +0000
+++ b/main_marking4/knight2_test7.scala	Sat Mar 11 22:01:53 2023 +0000
@@ -26,7 +26,19 @@
 def correct_closed_urban(dim: Int)(p: Path) =
   correct_urban(6)(p) &&  moves_urban(p.head).contains(p.last)
 
+import scala.concurrent._
+import scala.concurrent.duration._
+import ExecutionContext.Implicits.global
+import scala.language.postfixOps 
+
+lazy val f = Future {
 
 val tsc_urban = first_closed_tour_heuristics(6, List((3, 3))).get
 assert(correct_closed_urban(6)(tsc_urban) == true)
+}
 
+Await.result(f, 32 second)
+
+
+
+// try out tour_on_mega_board(66, List((0, 0)))