testing3/knight_test1.scala
author Christian Urban <urbanc@in.tum.de>
Wed, 24 Jul 2019 15:18:44 +0100
changeset 267 9e0216756771
parent 216 8c868feb917b
child 284 9a04eb6a2291
permissions -rw-r--r--
updated myassert workaround


assert(is_legal(8, Nil, (3, 4)) == true)
assert(is_legal(8, List((4, 1), (1, 0)), (4, 1)) == false)
assert(is_legal(2, Nil, (0, 0)) == true)