From 131cbfc449e954252fc8cc93ea1e4b43881f76a0 Mon Sep 17 00:00:00 2001
From: Don Stewart <dons@cse.unsw.edu.au>
Date: Mon, 30 Apr 2007 05:57:29 +0200
Subject: a bit more precise about building non-empty stacksets for one test
darcs-hash:20070430035729-9c5c1-90b4f4b1e0db1884704e3a1d8fc246734220b603.gz
---
tests/Properties.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'tests')
diff --git a/tests/Properties.hs b/tests/Properties.hs
index 19ccf49..91ffe33 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -59,7 +59,7 @@ instance (Integral i, Integral j, Ord a, Arbitrary a) => Arbitrary (StackSet i j
return $ fromList (fromIntegral n,sc,ls)
coarbitrary = error "no coarbitrary for StackSet"
-prop_member1 i n m = member i (push i x)
+prop_member1 i n m = n > 0 && m > 0 ==> member i (push i x)
where x = empty n m :: T
prop_member2 i x = not (member i (delete i x))
--
cgit v1.2.3