diff options
| author | Camil Staps | 2017-11-22 16:31:56 +0100 |
|---|---|---|
| committer | Camil Staps | 2017-11-22 16:31:56 +0100 |
| commit | dcc58967c1ceb79667a75fe7b97e8b04ae3ee55f (patch) | |
| tree | 0755a945eba5e1bb7810d09f67dd8c0ffaf4894c | |
| parent | Hotfix for prop_no_pawns_on_1_and_8 (diff) | |
| parent | Implement Check after own move prop (diff) | |
Merge branch '8-quickcheck-property-pinned-pieces-cannot-move' into 'master'
Implement Check after own move prop
Closes #8
See merge request eveen/Testing-Techniques!9
| -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})) |