marking3/knight1_test2.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Mon, 30 Nov 2020 00:06:15 +0000
changeset 379 5616b45d656f
parent 326 e5453add7df6
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
326
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 243
diff changeset
     1
import CW8a._
243
9bb36426c781 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
9bb36426c781 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
assert(legal_moves(8, Nil, (2,2)) == 
9bb36426c781 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
             List((3,4), (4,3), (4,1), (3,0), (1,0), (0,1), (0,3), (1,4)))
9bb36426c781 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
assert(legal_moves(8, Nil, (7,7)) == List((6,5), (5,6)))
9bb36426c781 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
assert(legal_moves(8, List((4,1), (1,0)), (2,2)) == 
9bb36426c781 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
       List((3,4), (4,3), (3,0), (0,1), (0,3), (1,4)))
326
e5453add7df6 updated
Christian Urban <urbanc@in.tum.de>
parents: 243
diff changeset
     8
assert(legal_moves(8, Nil, (0,1)) == List((1,3), (2,2), (2,0)))
243
9bb36426c781 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
assert(legal_moves(8, List((6,6)), (7,7)) == List((6,5), (5,6)))
9bb36426c781 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
assert(legal_moves(1, Nil, (0,0)) == Nil)
9bb36426c781 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
assert(legal_moves(2, Nil, (0,0)) == Nil)
9bb36426c781 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
assert(legal_moves(3, Nil, (0,0)) == List((1,2), (2,1)))
9bb36426c781 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13