diff options
| -rw-r--r-- | test/Test.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/Test.hs b/test/Test.hs index 168983b..b9f58b3 100644 --- a/test/Test.hs +++ b/test/Test.hs @@ -96,5 +96,10 @@ prop_number_of_pieces = atAnyTwoStates (\b1 b2 -> length (pieceCoords Nothing Nothing b1) - 1 == length (pieceCoords Nothing Nothing b2) ) +prop_not_in_check_twice :: PGN -> Bool +prop_not_in_check_twice = atAnyTwoStates (\b1 b2 -> + not (check Black b1 && check Black b2) && + not (check White b1 && check White b2)) + return [] main = $forAllProperties (quickCheckWithResult (stdArgs {maxSuccess=10000})) |