From 464d07d8aae2938a84f45e6f0f97f09a80ad2430 Mon Sep 17 00:00:00 2001 From: Don Stewart Date: Wed, 27 Feb 2008 19:01:13 +0100 Subject: more tests. slightly better test coverage darcs-hash:20080227180113-cba2c-74897f1ccbdc69956bd99c9a90aa3b11c469a4fe --- tests/Properties.hs | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to 'tests') 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) -- cgit v1.2.3