100% coverage of alternative branches

darcs-hash:20070928235745-cba2c-c8d9bd87100da803d11d00300bfd6486bbc29911

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)