From c4554391d314081cb2b1a971a12e754b3d89fc18 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.gz --- tests/Properties.hs | 12 +++++++----- 1 file 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) -- cgit v1.2.3