--- a/testing2/knight3b_test.scala Sun Dec 03 21:11:49 2017 +0000
+++ b/testing2/knight3b_test.scala Tue Dec 05 00:34:14 2017 +0000
@@ -1,8 +1,8 @@
-import scala.concurrent._
-import scala.concurrent.duration._
-import ExecutionContext.Implicits.global
-import scala.language.postfixOps
+//import scala.concurrent._
+//import scala.concurrent.duration._
+//import ExecutionContext.Implicits.global
+//import scala.language.postfixOps
type Pos = (Int, Int)
type Path = List[Pos]
@@ -30,11 +30,11 @@
def correct_closed_urban(dim: Int)(p: Path) =
correct_urban(6)(p) && moves_urban(p.head).contains(p.last)
-lazy val f = Future {
+//lazy val f = Future {
val tsc = CW7c.first_closed_tour_heuristic(6, List((3, 3))).get
assert(correct_closed_urban(6)(tsc) == true)
-}
+//}
-Await.result(f, 300 second)
+//Await.result(f, 300 second)