diff -r 34feeb53c0ba -r 0315d9983cd0 main_marking4/knight2_test7.scala --- 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)))