summaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-rw-r--r--tests/Properties.hs10
1 files changed, 9 insertions, 1 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index 41f729d..4a4a4b2 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -24,8 +24,9 @@ instance (Ord a, Arbitrary a) => Arbitrary (StackSet a) where
arbitrary = do
sz <- choose (1,20)
n <- choose (0,sz-1)
+ sc <- choose (1,sz)
ls <- vector sz
- return $ fromList (n,ls)
+ return $ fromList (n,sc,ls)
coarbitrary = error "no coarbitrary for StackSet"
prop_id x = fromList (toList x) == x
@@ -96,6 +97,12 @@ prop_ws2screen_screen2ws x = (ws == ws') && (sc == sc')
sc' = sort . elems $ ws2screen x
_ = x :: T
+prop_screenworkspace x = all test [0..((size x)-1)]
+ where test ws = case screen ws x of
+ Nothing -> True
+ Just sc -> workspace sc x == Just ws
+ _ = x :: T
+
------------------------------------------------------------------------
main :: IO ()
@@ -122,6 +129,7 @@ main = do
,("fullcache ", mytest prop_fullcache)
,("currentwsvisible ", mytest prop_currentwsvisible)
,("ws screen mapping", mytest prop_ws2screen_screen2ws)
+ ,("screen/workspace ", mytest prop_screenworkspace)
]
debug = False