marking3/knight1_test1.scala
author Christian Urban <urbanc@in.tum.de>
Sat, 22 Jun 2019 08:39:52 +0100
changeset 265 59779ce322a6
parent 243 9bb36426c781
child 326 e5453add7df6
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
243
9bb36426c781 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
9bb36426c781 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
assert(is_legal(8, Nil, (3, 4)) == true)
9bb36426c781 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
assert(is_legal(8, List((4, 1), (1, 0)), (4, 1)) == false)
9bb36426c781 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
assert(is_legal(2, Nil, (0, 0)) == true)
9bb36426c781 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
9bb36426c781 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6