marking3/knight1_test1.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Sun, 08 Nov 2020 13:09:38 +0000
changeset 355 e4d779587d3f
parent 326 7d983ee99fcc
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 243
diff changeset
     1
import CW8a._
243
80102fba0a93 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
80102fba0a93 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
assert(is_legal(8, Nil, (3, 4)) == true)
80102fba0a93 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
assert(is_legal(8, List((4, 1), (1, 0)), (4, 1)) == false)
80102fba0a93 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
assert(is_legal(2, Nil, (0, 0)) == true)
80102fba0a93 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
80102fba0a93 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 243
diff changeset
     8
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 243
diff changeset
     9