diff -r 7acbef680bef -r f5c0749858fd 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)))