summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--tests/Properties.hs12
1 files changed, 10 insertions, 2 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index c4d2b8b..0c08f96 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -744,6 +744,11 @@ prop_purelayout_full rect (t :: T) =
st = fromJust . stack . workspace . current $ t
ts = pureLayout layoot rect st
+-- what happens when we send an IncMaster message to Full --- Nothing
+prop_sendmsg_full (NonNegative k) =
+ isNothing (Full `pureMessage` (SomeMessage (IncMasterN k)))
+
+prop_desc_full = description Full == show Full
------------------------------------------------------------------------
@@ -887,17 +892,20 @@ main = do
,("new fails with abort", mytest prop_new_abort)
,("shiftWin identity", mytest prop_shift_win_indentity)
- -- renaming
+ -- tall layout
,("tile 1 window fullsize", mytest prop_tile_fullscreen)
,("tiles never overlap", mytest prop_tile_non_overlap)
,("pure layout tall", mytest prop_purelayout_tall)
-
,("send shrink tall", mytest prop_shrink_tall)
,("send expand tall", mytest prop_expand_tall)
,("send incmaster tall", mytest prop_incmaster_tall)
+ -- full layout
+
,("pure layout full", mytest prop_purelayout_full)
+ ,("send message full", mytest prop_sendmsg_full)
+ ,("describe full", mytest prop_desc_full)
]