summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDon Stewart <dons@galois.com>2007-10-06 12:06:54 +0200
committerDon Stewart <dons@galois.com>2007-10-06 12:06:54 +0200
commit337234ce6fc067eb8de296bcf978173e1b99374b (patch)
tree1f4f7a83b4fb386858917519867f61e80714f460
parent0210426f2d6488115362bcb5f681e5178cad969a (diff)
downloadmetatile-337234ce6fc067eb8de296bcf978173e1b99374b.tar
metatile-337234ce6fc067eb8de296bcf978173e1b99374b.zip
add floating property
darcs-hash:20071006100654-cba2c-bd3552becda4ce11803c40285685230c41bcce66
-rw-r--r--tests/Properties.hs6
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index 7ef7e67..a850ffe 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -542,6 +542,12 @@ prop_float_reversible 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
+ where
+ geom = RationalRect 100 100 100 100
+
------------------------------------------------------------------------
prop_screens (x :: T) = n `elem` screens x