diff options
| -rw-r--r-- | tests/test_Selective.hs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tests/test_Selective.hs b/tests/test_Selective.hs index 15ea5c0..186f904 100644 --- a/tests/test_Selective.hs +++ b/tests/test_Selective.hs @@ -5,7 +5,7 @@ -- L.LimitWindows. import XMonad.Layout.LimitWindows -import XMonad.StackSet hiding (focusUp, focusDown) +import XMonad.StackSet hiding (focusUp, focusDown, filter) import Control.Applicative ((<$>)) import Test.QuickCheck import Control.Arrow (second) @@ -52,6 +52,12 @@ prop_select_increasing sel (stk :: Stack Int) = let res = integrate $ select sel stk in and . zipWith (<) res $ tail res +-- selection has the form [0..l] ++ [m..n] +-- relies on the Arbitrary instance for Stack Int generating stacks like [0..k] +prop_select_two_consec sel (stk :: Stack Int) = + let wins = integrate $ select sel stk + in (length . filter not . zipWith ((==) . (+1)) wins $ tail wins) <= 1 + -- update preserves invariants on selections prop_update_nm sel (stk :: Stack Int) = nMaster (update sel stk) >= 0 prop_update_start sel (stk :: Stack Int) = nMaster sel' <= start sel' |