From 091df37b748ac83810cd7d58921c9eea6372f48d Mon Sep 17 00:00:00 2001
From: daniel <daniel@wagner-home.com>
Date: Wed, 28 Mar 2007 04:53:37 +0200
Subject: added a quickcheck property

darcs-hash:20070328025337-c98ca-5ce390ce8d1d5f5a35fe1ba851cf09fc96ca7183
---
 tests/Properties.hs | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'tests')

diff --git a/tests/Properties.hs b/tests/Properties.hs
index 503330f..9e5a0fd 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -10,6 +10,7 @@ import System.IO
 import System.Random
 import Text.Printf
 import Data.List            (nub,sort,group,sort,intersperse)
+import Data.Map             (keys,elems)
 
 -- ---------------------------------------------------------------------
 -- QuickCheck properties for the StackSet
@@ -80,6 +81,11 @@ prop_shiftshift r x =
     in shift n (shift r x) == x
     where _ = x :: T
 
+prop_fullcache x = cached == allvals where
+    cached  = sort . keys $ cache x
+    allvals = sort . concat . elems $ stacks x
+    _       = x :: T
+
 ------------------------------------------------------------------------
 
 main :: IO ()
@@ -103,6 +109,7 @@ main = do
         ,("delete idempotent", mytest prop_delete2)
         ,("rotate/rotate    ", mytest prop_rotaterotate)
         ,("view/view        ", mytest prop_viewview)
+        ,("fullcache        ", mytest prop_fullcache)
         ]
 
 debug = False
-- 
cgit v1.2.3