summaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-rw-r--r--tests/Properties.hs11
1 files changed, 9 insertions, 2 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index 138924f..385769e 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -519,6 +519,10 @@ prop_shift_win_focus i (x :: T) =
Nothing -> True
Just w -> shiftWin i w x == shift i x
+-- shiftWin on a non-existant window is identity
+prop_shift_win_indentity i w (x :: T) =
+ i `tagMember` x && not (w `member` x) ==> shiftWin i w x == x
+
-- shiftWin leaves the current screen as it is, if neither i is the tag
-- of the current workspace nor w on the current workspace
prop_shift_win_fix_current i w (x :: T) =
@@ -568,6 +572,8 @@ prop_new_abort x = unsafePerformIO $ C.catch f
_ = x :: Int
+-- prop_view_should_fail = view {- with some bogus data -}
+
------------------------------------------------------------------------
-- some properties for layouts:
@@ -702,8 +708,9 @@ main = do
,("lookupTagOnScreen", mytest prop_lookup_current)
-- testing for failure:
- ,("abort fails", mytest prop_abort)
- ,("new fails with abort", mytest prop_new_abort)
+ ,("abort fails", mytest prop_abort)
+ ,("new fails with abort", mytest prop_new_abort)
+ ,("shiftWin identity", mytest prop_shift_win_indentity)
{-
,("tile 1 window fullsize", mytest prop_tile_fullscreen)