diff options
| -rw-r--r-- | tests/Properties.hs | 7 |
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) + ] |