From 36d391a2467f6d95b65b7aa666231393199f9ef8 Mon Sep 17 00:00:00 2001
From: Erin van der Veen
Date: Mon, 20 Nov 2017 13:56:34 +0100
Subject: Add sequential check property

---
 test/Test.hs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/test/Test.hs b/test/Test.hs
index 6741e70..1978f1e 100644
--- a/test/Test.hs
+++ b/test/Test.hs
@@ -101,5 +101,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}))
-- 
cgit v1.2.3