From cdeb11e320dac4bcd160a471e06b1c11ce72678e Mon Sep 17 00:00:00 2001 From: Adam Vogt Date: Sat, 3 May 2014 05:41:44 +0200 Subject: add some more forgotten properties Ignore-this: 8033fd85634a41dd6169cf6fb1af72f9 darcs-hash:20140503034144-1499c-b07f9a17a6a62f7ec4b9e064b9999e3f82be10b2.gz --- tests/Properties.hs | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/tests/Properties.hs b/tests/Properties.hs index 466c43a..120e950 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -103,6 +103,9 @@ tests = ,("filter preserves order", property prop_filter_order) + ,("swapLeft", property prop_swap_left) + ,("swapRight", property prop_swap_right) + ,("swapMaster: invariant", property prop_swap_master_I) ,("swapUp: invariant" , property prop_swap_left_I) ,("swapDown: invariant", property prop_swap_right_I) @@ -145,7 +148,7 @@ tests = ,("mapWorkspace inverse", property prop_mapWorkspaceInverse) ,("mapLayout id", property prop_mapLayoutId) - ,("mapLayout inverse", property prop_mapLayoutId) + ,("mapLayout inverse", property prop_mapLayoutInverse) ,("abort fails", property prop_abort) ,("new fails with abort", property prop_new_abort) @@ -178,7 +181,8 @@ tests = ,("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) + ,("window aspect hints: fits", property prop_aspect_fits) + ,("window aspect hints: shrinks ", property prop_aspect_hint_shrink) ,("pointWithin", property prop_point_within) -- cgit v1.2.3