diff options
| author | Don Stewart <dons@galois.com> | 2008-03-07 19:16:57 +0100 |
|---|---|---|
| committer | Don Stewart <dons@galois.com> | 2008-03-07 19:16:57 +0100 |
| commit | 77f396d844c0e8bcd0ea3f9c88f89aa54514317f (patch) | |
| tree | 7ea8515497cf8b5636a7f6a4e039d3f91f012317 /tests | |
| parent | dbbaa5b7b5de2a0d774493731be6ce1f6a398f98 (diff) | |
| download | metatile-77f396d844c0e8bcd0ea3f9c88f89aa54514317f.tar metatile-77f396d844c0e8bcd0ea3f9c88f89aa54514317f.zip | |
more general properties for view, greedyView
darcs-hash:20080307181657-cba2c-cbce57144f581da1aa34ef78dcadba41f7207a5d
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/Properties.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs index 23d6c8b..f8f0684 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -136,10 +136,10 @@ prop_empty_I (n :: Positive Int) l = forAll (choose (1,fromIntegral n)) $ \m - invariant $ new l [0..fromIntegral n-1] ms prop_view_I (n :: NonNegative Int) (x :: T) = - n `tagMember` x ==> invariant $ view (fromIntegral n) x + invariant $ view (fromIntegral n) x prop_greedyView_I (n :: NonNegative Int) (x :: T) = - n `tagMember` x ==> invariant $ greedyView (fromIntegral n) x + invariant $ greedyView (fromIntegral n) x prop_focusUp_I (n :: NonNegative Int) (x :: T) = invariant $ foldr (const focusUp) x [1..n] |