summaryrefslogtreecommitdiffstats
path: root/tests/Properties.hs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/Properties.hs')
-rw-r--r--tests/Properties.hs3
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index 2bc5443..9818f30 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -363,6 +363,8 @@ prop_findIndex (x :: T) =
, i <- focus t : up t ++ down t
]
+prop_allWindowsMember w (x :: T) = (w `elem` allWindows x) ==> member w x
+
-- ---------------------------------------------------------------------
-- 'insert'
@@ -687,6 +689,7 @@ main = do
,("focusWindow works" , mytest prop_focusWindow_works)
,("findIndex" , mytest prop_findIndex)
+ ,("allWindows/member" , mytest prop_allWindowsMember)
,("insert: invariant" , mytest prop_insertUp_I)
,("insert/new" , mytest prop_insert_empty)