new QC properties: floating a window is reversible, screens includes current screen

darcs-hash:20070927220431-cba2c-1f2e67435aec367ee45d0bcbf1e9178f83ff8a71

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)