summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDon Stewart <dons@galois.com>2007-09-28 01:19:28 +0200
committerDon Stewart <dons@galois.com>2007-09-28 01:19:28 +0200
commita576ec8b32e15da3068518c867c92f208cdac293 (patch)
treeec9fc774262b69877fb3499a5c5f0976f57afdbc
parentd7a6c9a01740065a3196536e0f94c022b701ea34 (diff)
downloadmetatile-a576ec8b32e15da3068518c867c92f208cdac293.tar
metatile-a576ec8b32e15da3068518c867c92f208cdac293.zip
add prop for 'differentiate'
darcs-hash:20070927231928-cba2c-84668ba6dab69541e063eaabf57724c13a28a916
-rw-r--r--tests/Properties.hs5
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index aa698bc..0f4b733 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -538,6 +538,10 @@ prop_screens (x :: T) = n `elem` screens x
where
n = current x
+prop_differentiate xs =
+ if null xs then differentiate xs == Nothing
+ else focus (fromJust (differentiate xs)) == head xs
+ where _ = xs :: [Int]
------------------------------------------------------------------------
-- some properties for layouts:
@@ -669,6 +673,7 @@ main = do
,("floating is reversible" , mytest prop_float_reversible)
,("screens includes current", mytest prop_screens)
+ ,("differentiate works", mytest prop_differentiate)
{-
,("tile 1 window fullsize", mytest prop_tile_fullscreen)