diff options
| author | Stephen Paul Weber <singpolyma@singpolyma.net> | 2012-04-30 08:49:46 -0500 |
|---|---|---|
| committer | Stephen Paul Weber <singpolyma@singpolyma.net> | 2012-04-30 08:49:46 -0500 |
| commit | 8e71ed177f024c0f3019853ba79a1cf8c3efa5c3 (patch) | |
| tree | d0cde3e82b9c5fbdcab580948e9091759e7855a2 /Arbitrary.patch | |
| parent | dc97a42a4e0432b7aaca1b55612d90e82c5ca853 (diff) | |
better RevocationCode Arbitrary
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 151ea0f..8967f0b 100644 --- a/Arbitrary.patch +++ b/Arbitrary.patch | |||
| @@ -46,6 +46,15 @@ | |||
| 46 | return (CompressionAlgorithm x1) | 46 | return (CompressionAlgorithm x1) |
| 47 | _ -> error "FATAL ERROR: Arbitrary instance, logic bug" | 47 | _ -> error "FATAL ERROR: Arbitrary instance, logic bug" |
| 48 | 48 | ||
| 49 | @@ -135,7 +134,7 @@ | ||
| 50 | 2 -> return KeyCompromised | ||
| 51 | 3 -> return KeyRetired | ||
| 52 | 4 -> return UserIDInvalid | ||
| 53 | - 5 -> do x1 <- arbitrary | ||
| 54 | + 5 -> do x1 <- suchThat arbitrary (`notElem` [00,01,02,03,32]) | ||
| 55 | return (RevocationCode x1) | ||
| 56 | _ -> error "FATAL ERROR: Arbitrary instance, logic bug" | ||
| 57 | |||
| 49 | @@ -134,7 +133,7 @@ | 58 | @@ -134,7 +133,7 @@ |
| 50 | 59 | ||
| 51 | instance Arbitrary MPI where | 60 | instance Arbitrary MPI where |