testing3/knight_test2.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Wed, 26 Aug 2020 02:07:46 +0100
changeset 340 b37db1787e1b
parent 284 fc20e5f83f0e
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
284
fc20e5f83f0e updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
     1
fc20e5f83f0e updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
     2
import CW8a._
216
8fc6eba5f754 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 216
diff changeset
     4
assert(legal_moves(8, Nil, (2,2)) == List((3,4), (4,3), (4,1), (3,0), (1,0), (0,1), (0,3), (1,4)))
216
8fc6eba5f754 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
assert(legal_moves(8, Nil, (7,7)) == List((6,5), (5,6)))
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 216
diff changeset
     6
assert(legal_moves(8, List((4,1), (1,0)), (2,2)) == List((3,4), (4,3), (3,0), (0,1), (0,3), (1,4)))
216
8fc6eba5f754 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
assert(legal_moves(8, List((6,6)), (7,7)) == List((6,5), (5,6)))
8fc6eba5f754 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
assert(legal_moves(1, Nil, (0,0)) == List())
8fc6eba5f754 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
assert(legal_moves(2, Nil, (0,0)) == List())
8fc6eba5f754 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
assert(legal_moves(3, Nil, (0,0)) == List((1,2), (2,1)))
8fc6eba5f754 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11