From 571addb8e0ffd6df31822e4e65bc882452a5b09c Mon Sep 17 00:00:00 2001 From: Adam Vogt Date: Fri, 2 May 2014 21:28:58 +0200 Subject: add forgotten tests back Ignore-this: 53707686cd4428f782eee4aabbaf177b darcs-hash:20140502192858-1499c-db5800cb15496c081546b47f20ef8acd9e0d3ace.gz --- tests/Properties.hs | 7 +++++++ 1 file changed, 7 insertions(+) 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) + ] -- cgit v1.2.3