From fbd406eb03cd5276fdb9dd7c865c40d2291c96d9 Mon Sep 17 00:00:00 2001 From: Adam Vogt Date: Sat, 3 May 2014 03:41:44 +0000 Subject: [PATCH] add some more forgotten properties --- 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)