summaryrefslogtreecommitdiffstats
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
commit4e091a99b29cb7fbd849c9f218c2d6075a831d29 (patch)
tree358818362756e572fdc813338755a96047d32035
parentf5d686a3cb3c7f36109e221969b80e7cc5a0aab8 (diff)
downloadmetatile-4e091a99b29cb7fbd849c9f218c2d6075a831d29.tar
metatile-4e091a99b29cb7fbd849c9f218c2d6075a831d29.zip
new QC properties: floating a window is reversible, screens includes current screen
darcs-hash:20070927220431-cba2c-1f2e67435aec367ee45d0bcbf1e9178f83ff8a71
-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)