twin/xmonad-contrib
1
0
Fork 0
mirror of https://github.com/xmonad/xmonad-contrib.git synced 2025-08-02 05:01:51 -07:00
Code Issues Packages Projects Releases Wiki Activity

added prop_select_two_consec to test_Selective.hs

Browse Source
This commit is contained in:
Max Rabkin
2009-10-01 15:58:53 +00:00
parent 6ef8fd353d
commit d330dcae24
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
tests/test_Selective.hs
View File

@@ -5,7 +5,7 @@
-- L.LimitWindows. -- L.LimitWindows.
import XMonad.Layout.LimitWindows import XMonad.Layout.LimitWindows
import XMonad.StackSet hiding (focusUp, focusDown) import XMonad.StackSet hiding (focusUp, focusDown, filter)
import Control.Applicative ((<$>)) import Control.Applicative ((<$>))
import Test.QuickCheck import Test.QuickCheck
import Control.Arrow (second) import Control.Arrow (second)
@@ -52,6 +52,12 @@ prop_select_increasing sel (stk :: Stack Int) =
let res = integrate $ select sel stk let res = integrate $ select sel stk
in and . zipWith (<) res $ tail res 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 -- update preserves invariants on selections
prop_update_nm sel (stk :: Stack Int) = nMaster (update sel stk) >= 0 prop_update_nm sel (stk :: Stack Int) = nMaster (update sel stk) >= 0
prop_update_start sel (stk :: Stack Int) = nMaster sel' <= start sel' prop_update_start sel (stk :: Stack Int) = nMaster sel' <= start sel'