diff options
| author | Don Stewart <dons@galois.com> | 2008-03-07 19:09:05 +0100 |
|---|---|---|
| committer | Don Stewart <dons@galois.com> | 2008-03-07 19:09:05 +0100 |
| commit | 0cf32c618ce3510677e0ef0582b094eefcd9a2d1 (patch) | |
| tree | 489752800ff258a7360d0b2a26a08b0708693cad | |
| parent | c4554391d314081cb2b1a971a12e754b3d89fc18 (diff) | |
| download | xmonad-0cf32c618ce3510677e0ef0582b094eefcd9a2d1.tar.gz xmonad-0cf32c618ce3510677e0ef0582b094eefcd9a2d1.tar.xz xmonad-0cf32c618ce3510677e0ef0582b094eefcd9a2d1.zip | |
bit more code coverage
darcs-hash:20080307180905-cba2c-723aab5ae3ca821207bdc70dbd05a8da8d1822ea.gz
| -rw-r--r-- | tests/Properties.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs index 0448776..23d6c8b 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -355,6 +355,10 @@ prop_focusWindow_local (n :: NonNegative Int) (x::T ) = i = fromIntegral n `mod` length s in hidden_spaces (focusWindow (s !! i) x) == hidden_spaces x +-- On an invalid window, the stackset is unmodified +prop_focusWindow_identity (n :: Char) (x::T ) = + not (n `member` x) ==> focusWindow n x == x + -- --------------------------------------------------------------------- -- member/findTag @@ -718,6 +722,7 @@ main = do ,("focusWindow is local", mytest prop_focusWindow_local) ,("focusWindow works" , mytest prop_focusWindow_works) + ,("focusWindow identity", mytest prop_focusWindow_identity) ,("findTag" , mytest prop_findIndex) ,("allWindows/member" , mytest prop_allWindowsMember) |