From 81a2d0bb75740bf79f6446d38a2aaf6c2e7834f6 Mon Sep 17 00:00:00 2001 From: Adam Vogt Date: Sat, 3 May 2014 04:11:03 +0200 Subject: run more tests (and add a couple) Ignore-this: 7b76bd48a7c7d6998505d0503b9d58a1 darcs-hash:20140503021103-1499c-c4f74fe49e61fced376890057daf51609bf6b24b.gz --- tests/Properties.hs | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) (limited to 'tests/Properties.hs') diff --git a/tests/Properties.hs b/tests/Properties.hs index e61d433..466c43a 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -126,6 +126,7 @@ tests = ,("shiftWin: invariant" , property prop_shift_win_I) ,("shiftWin is shift on focus", property prop_shift_win_focus) ,("shiftWin fix current" , property prop_shift_win_fix_current) + ,("shiftWin identity", property prop_shift_win_indentity) ,("floating is reversible" , property prop_float_reversible) ,("floating sets geometry" , property prop_float_geometry) @@ -149,6 +150,40 @@ tests = ,("abort fails", property prop_abort) ,("new fails with abort", property prop_new_abort) + ,("point within", property prop_point_within) + + -- tall layout + + ,("tile 1 window fullsize", property prop_tile_fullscreen) + ,("tiles never overlap", property prop_tile_non_overlap) + ,("split hozizontally", property prop_split_hoziontal) + ,("split verticalBy", property prop_splitVertically) + + ,("pure layout tall", property prop_purelayout_tall) + ,("send shrink tall", property prop_shrink_tall) + ,("send expand tall", property prop_expand_tall) + ,("send incmaster tall", property prop_incmaster_tall) + + -- full layout + + ,("pure layout full", property prop_purelayout_full) + ,("send message full", property prop_sendmsg_full) + ,("describe full", property prop_desc_full) + + ,("describe mirror", property prop_desc_mirror) + + -- resize hints + ,("window resize hints: inc", property prop_resize_inc) + ,("window resize hints: inc all", property prop_resize_inc_extra) + ,("window resize hints: max", property prop_resize_max) + ,("window resize hints: max all ", property prop_resize_max_extra) + + ,("window hints fits", property prop_aspect_fits) + + + ,("pointWithin", property prop_point_within) + ,("pointWithin mirror", property prop_point_within_mirror) + ] -- cgit v1.2.3