summaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
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)