diff options
Diffstat (limited to 'test/Test.hs')
| -rw-r--r-- | test/Test.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/Test.hs b/test/Test.hs index f451c75..032e125 100644 --- a/test/Test.hs +++ b/test/Test.hs @@ -107,6 +107,13 @@ prop_not_in_check_twice = atAnyTwoStates (\b1 b2 -> not (check Black b1 && check Black b2) && not (check White b1 && check White b2)) +prop_move_not_result_check :: PGN -> Bool +prop_move_not_result_check = atAnyTwoStates (\b1 b2 -> + case turn b1 of + White -> not (check White b2) + Black -> not (check Black b2) + ) + prop_dont_touch_my_pieces :: PGN -> Bool prop_dont_touch_my_pieces = atAnyTwoStates (\b1 b2 -> notMoved (turn b2) b1 b2) where |