aboutsummaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
authorDon Stewart <dons@galois.com>2007-09-28 00:04:31 +0200
committerDon Stewart <dons@galois.com>2007-09-28 00:04:31 +0200
commit429651a103a81ffe89525c7abc266b3a6ec48aad (patch)
tree358818362756e572fdc813338755a96047d32035 /tests
parentf1885b4a1f7b60966013b5a066bee8e1804b4f42 (diff)
downloadxmonad-429651a103a81ffe89525c7abc266b3a6ec48aad.tar.gz
xmonad-429651a103a81ffe89525c7abc266b3a6ec48aad.tar.xz
xmonad-429651a103a81ffe89525c7abc266b3a6ec48aad.zip
new QC properties: floating a window is reversible, screens includes current screen
darcs-hash:20070927220431-cba2c-1f2e67435aec367ee45d0bcbf1e9178f83ff8a71.gz
Diffstat (limited to 'tests')
-rw-r--r--tests/Properties.hs18
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index b42f463..aa698bc 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -525,6 +525,21 @@ prop_shift_win_fix_current i w (x :: T) =
n = tag (workspace $ current x)
------------------------------------------------------------------------
+-- properties for the floating layer:
+
+prop_float_reversible n (x :: T) =
+ n `member` x ==> sink n (float n geom x) == x
+ where
+ geom = RationalRect 100 100 100 100
+
+------------------------------------------------------------------------
+
+prop_screens (x :: T) = n `elem` screens x
+ where
+ n = current x
+
+
+------------------------------------------------------------------------
-- some properties for layouts:
-- 1 window should always be tiled fullscreen
@@ -652,6 +667,9 @@ main = do
,("shiftWin is shift on focus" , mytest prop_shift_win_focus)
,("shiftWin fix current" , mytest prop_shift_win_fix_current)
+ ,("floating is reversible" , mytest prop_float_reversible)
+ ,("screens includes current", mytest prop_screens)
+
{-
,("tile 1 window fullsize", mytest prop_tile_fullscreen)
,("tiles never overlap", mytest prop_tile_non_overlap)