aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAdam Vogt <vogt.adam@gmail.com>2014-05-02 21:28:58 +0200
committerAdam Vogt <vogt.adam@gmail.com>2014-05-02 21:28:58 +0200
commit571addb8e0ffd6df31822e4e65bc882452a5b09c (patch)
tree798c4b4aeb70812d3c13b80ff66bd268cce9d4ff
parent4bb4a6f93c73e0767000e0664034dbfbb37ce40f (diff)
downloadxmonad-571addb8e0ffd6df31822e4e65bc882452a5b09c.tar.gz
xmonad-571addb8e0ffd6df31822e4e65bc882452a5b09c.tar.xz
xmonad-571addb8e0ffd6df31822e4e65bc882452a5b09c.zip
add forgotten tests back
Ignore-this: 53707686cd4428f782eee4aabbaf177b darcs-hash:20140502192858-1499c-db5800cb15496c081546b47f20ef8acd9e0d3ace.gz
-rw-r--r--tests/Properties.hs7
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index 70d7e18..e61d433 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -142,6 +142,13 @@ tests =
,("mapWorkspace id", property prop_mapWorkspaceId)
,("mapWorkspace inverse", property prop_mapWorkspaceInverse)
+
+ ,("mapLayout id", property prop_mapLayoutId)
+ ,("mapLayout inverse", property prop_mapLayoutId)
+
+ ,("abort fails", property prop_abort)
+ ,("new fails with abort", property prop_new_abort)
+
]