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

more tests. slightly better test coverage

Browse Source
This commit is contained in:
Don Stewart 2008-02-27 18:01:13 +00:00
parent 87193ff61e
commit 4d9a6c2681
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
tests/Properties.hs
View File

@ -553,13 +553,13 @@ prop_float_geometry n (x :: T) =
where where
geom = RationalRect 100 100 100 100 geom = RationalRect 100 100 100 100
-- check rectanges were set prop_float_delete n (x :: T) =
{- n `member` x ==> let s = float n geom x
prop_float_sets_geometry n (x :: T) = t = delete n s
n `member` x ==> let y = float n geom x in M.lookup y (floating x) == Just geom in not (n `member` t)
where where
geom = RationalRect 100 100 100 100 geom = RationalRect 100 100 100 100
-}
------------------------------------------------------------------------ ------------------------------------------------------------------------
@ -763,7 +763,9 @@ main = do
,("floating is reversible" , mytest prop_float_reversible) ,("floating is reversible" , mytest prop_float_reversible)
,("floating sets geometry" , mytest prop_float_geometry) ,("floating sets geometry" , mytest prop_float_geometry)
,("floats can be deleted", mytest prop_float_delete)
,("screens includes current", mytest prop_screens) ,("screens includes current", mytest prop_screens)
,("differentiate works", mytest prop_differentiate) ,("differentiate works", mytest prop_differentiate)
,("lookupTagOnScreen", mytest prop_lookup_current) ,("lookupTagOnScreen", mytest prop_lookup_current)
,("lookupTagOnVisbleScreen", mytest prop_lookup_visible) ,("lookupTagOnVisbleScreen", mytest prop_lookup_visible)