summaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
authorDon Stewart <dons@galois.com>2008-02-27 19:01:13 +0100
committerDon Stewart <dons@galois.com>2008-02-27 19:01:13 +0100
commit464d07d8aae2938a84f45e6f0f97f09a80ad2430 (patch)
treec3a31d6a72af01d0b9e78f9eece761bf1a9687f2 /tests
parent491f1133f1d6b33abb10b666208f0c164f3f134a (diff)
downloadmetatile-464d07d8aae2938a84f45e6f0f97f09a80ad2430.tar
metatile-464d07d8aae2938a84f45e6f0f97f09a80ad2430.zip
more tests. slightly better test coverage
darcs-hash:20080227180113-cba2c-74897f1ccbdc69956bd99c9a90aa3b11c469a4fe
Diffstat (limited to 'tests')
-rw-r--r--tests/Properties.hs12
1 files changed, 7 insertions, 5 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index f2b8eb8..0448776 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -553,13 +553,13 @@ prop_float_geometry n (x :: T) =
where
geom = RationalRect 100 100 100 100
--- check rectanges were set
-{-
-prop_float_sets_geometry n (x :: T) =
- n `member` x ==> let y = float n geom x in M.lookup y (floating x) == Just geom
+prop_float_delete n (x :: T) =
+ n `member` x ==> let s = float n geom x
+ t = delete n s
+ in not (n `member` t)
where
geom = RationalRect 100 100 100 100
--}
+
------------------------------------------------------------------------
@@ -763,7 +763,9 @@ main = do
,("floating is reversible" , mytest prop_float_reversible)
,("floating sets geometry" , mytest prop_float_geometry)
+ ,("floats can be deleted", mytest prop_float_delete)
,("screens includes current", mytest prop_screens)
+
,("differentiate works", mytest prop_differentiate)
,("lookupTagOnScreen", mytest prop_lookup_current)
,("lookupTagOnVisbleScreen", mytest prop_lookup_visible)