diff options
| author | Stephen Paul Weber <singpolyma@singpolyma.net> | 2012-04-27 13:07:54 -0500 |
|---|---|---|
| committer | Stephen Paul Weber <singpolyma@singpolyma.net> | 2012-04-27 13:07:54 -0500 |
| commit | 16f0cd61f101ad1de2da3b3445b7f31b124de317 (patch) | |
| tree | 8a452edade6b91951bc8c189b185e57b7853beb9 /Arbitrary.patch | |
| parent | 2ed08625f7f56ab5c086498d47242299cff10e98 (diff) | |
MPI encode/decode QuickCheck
Diffstat (limited to 'Arbitrary.patch')
| -rw-r--r-- | Arbitrary.patch | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Arbitrary.patch b/Arbitrary.patch index 11b6b51..28bd37e 100644 --- a/Arbitrary.patch +++ b/Arbitrary.patch | |||
| @@ -10,6 +10,15 @@ | |||
| 10 | 1 -> do x1 <- arbitrary | 10 | 1 -> do x1 <- arbitrary |
| 11 | x2 <- arbitrary | 11 | x2 <- arbitrary |
| 12 | x3 <- arbitrary | 12 | x3 <- arbitrary |
| 13 | @@ -116,7 +115,7 @@ | ||
| 14 | |||
| 15 | instance Arbitrary MPI where | ||
| 16 | arbitrary | ||
| 17 | - = do x1 <- arbitrary | ||
| 18 | + = do x1 <- suchThat arbitrary (>=0) | ||
| 19 | return (MPI x1) | ||
| 20 | |||
| 21 | |||
| 13 | @@ -133,9 +132,8 @@ | 22 | @@ -133,9 +132,8 @@ |
| 14 | 3 -> do x1 <- arbitrary | 23 | 3 -> do x1 <- arbitrary |
| 15 | x2 <- arbitrary | 24 | x2 <- arbitrary |