diff options
| author | Camil Staps | 2017-11-22 16:51:58 +0100 |
|---|---|---|
| committer | Camil Staps | 2017-11-22 16:51:58 +0100 |
| commit | 5bf752794a6637f1bf4fa8b97a5fbce22f3fb1b4 (patch) | |
| tree | c336c9f66d9e2bc56593d1b478c09d1d7c157d37 | |
| parent | Merge branch 'master' of gitlab.science.ru.nl:eveen/Testing-Techniques into 2... (diff) | |
Fix prop_dont_touch_my_pieces for caught pieces
| -rw-r--r-- | test/Test.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Test.hs b/test/Test.hs index 032e125..91849c2 100644 --- a/test/Test.hs +++ b/test/Test.hs @@ -118,7 +118,7 @@ prop_dont_touch_my_pieces :: PGN -> Bool prop_dont_touch_my_pieces = atAnyTwoStates (\b1 b2 -> notMoved (turn b2) b1 b2) where notMoved :: Color -> Board -> Board -> Bool - notMoved c = (==) `on` pieceCoords (Just c) Nothing + notMoved c = (\b a -> null (a \\ b)) `on` pieceCoords (Just c) Nothing return [] main = $forAllProperties (quickCheckWithResult (stdArgs {maxSuccess=10000})) |