diff options
| author | Don Stewart <dons@cse.unsw.edu.au> | 2007-04-30 05:57:29 +0200 |
|---|---|---|
| committer | Don Stewart <dons@cse.unsw.edu.au> | 2007-04-30 05:57:29 +0200 |
| commit | 131cbfc449e954252fc8cc93ea1e4b43881f76a0 (patch) | |
| tree | 9471ef8ffc939df8f32b05949859c1d5ba39b692 /tests | |
| parent | bb906ca3966cc0bf4211c2b3720df489492b5bf9 (diff) | |
| download | xmonad-131cbfc449e954252fc8cc93ea1e4b43881f76a0.tar.gz xmonad-131cbfc449e954252fc8cc93ea1e4b43881f76a0.tar.xz xmonad-131cbfc449e954252fc8cc93ea1e4b43881f76a0.zip | |
a bit more precise about building non-empty stacksets for one test
darcs-hash:20070430035729-9c5c1-90b4f4b1e0db1884704e3a1d8fc246734220b603.gz
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/Properties.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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)) |