marking3/knight2_test6.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Thu, 10 Nov 2022 09:52:40 +0000
changeset 438 a02e9efd7bc9
parent 331 3a9acfc6106b
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
331
3a9acfc6106b updated
Christian Urban <urbanc@in.tum.de>
parents: 258
diff changeset
     1
import CW8b._
258
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
assert(ordered_moves(8, List((3,4), (3,2)), (1, 3)) == List((0,1), (0,5), (2,1), (2,5)))
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
assert(ordered_moves(8, List((4,0)), (0,0)) == List((2,1), (1,2)))
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
assert(ordered_moves(8, List((0,4)), (0,0)) == List((1,2), (2,1)))
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
/*
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
import scala.concurrent._
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
import scala.concurrent.duration._
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
import ExecutionContext.Implicits.global
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
import scala.language.postfixOps 
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
lazy val f = Future {
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
}
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
Await.result(f, 120 second)
41c4f7d85f59 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
*/