| changeset 284 | fc20e5f83f0e |
| parent 216 | 8fc6eba5f754 |
| 283:3102d61edf45 | 284:fc20e5f83f0e |
|---|---|
1 import CW8a._ |
|
1 |
2 |
2 assert(is_legal(8, Nil, (3, 4)) == true) |
3 assert(is_legal(8, Nil, (3, 4)) == true) |
3 assert(is_legal(8, List((4, 1), (1, 0)), (4, 1)) == false) |
4 assert(is_legal(8, List((4, 1), (1, 0)), (4, 1)) == false) |
4 assert(is_legal(2, Nil, (0, 0)) == true) |
5 assert(is_legal(2, Nil, (0, 0)) == true) |
5 |
6 |