From 6aa5765183f8862c429d60112a7118dfa801d016 Mon Sep 17 00:00:00 2001 From: Don Stewart Date: Sat, 29 Sep 2007 01:57:45 +0200 Subject: 100% coverage of alternative branches darcs-hash:20070928235745-cba2c-c8d9bd87100da803d11d00300bfd6486bbc29911 --- tests/Properties.hs | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) (limited to 'tests') 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) -- cgit v1.2.3