diff options
| author | Erin van der Veen | 2017-11-22 16:26:59 +0100 |
|---|---|---|
| committer | Erin van der Veen | 2017-11-22 16:26:59 +0100 |
| commit | c34bfd161d295949d9bafdb551c4b4e860f20a5a (patch) | |
| tree | 0755a945eba5e1bb7810d09f67dd8c0ffaf4894c /test | |
| parent | Hotfix for prop_no_pawns_on_1_and_8 (diff) | |
Implement Check after own move prop
Diffstat (limited to 'test')
| -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 f8a8729..897c788 100644 --- a/test/Test.hs +++ b/test/Test.hs @@ -107,5 +107,12 @@ 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) + ) + return [] main = $forAllProperties (quickCheckWithResult (stdArgs {maxSuccess=10000})) |