diff options
| author | Stephen Paul Weber <singpolyma@singpolyma.net> | 2012-04-27 16:59:52 -0500 |
|---|---|---|
| committer | Stephen Paul Weber <singpolyma@singpolyma.net> | 2012-04-27 16:59:52 -0500 |
| commit | 36f0fb4baf0b144a5bfcb52c0256f3b94d550b99 (patch) | |
| tree | 54ad572498e17e35b84653312e453ae584408b5c /Arbitrary.patch | |
| parent | c37a053b2d8f6dee92b01b66688a991f7dc936ba (diff) | |
PreferredHashAlgorithmsPacket
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 b86896d..aa51d2d 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 | @@ -73,7 +72,7 @@ | ||
| 14 | 4 -> return SHA384 | ||
| 15 | 5 -> return SHA512 | ||
| 16 | 6 -> return SHA224 | ||
| 17 | - 7 -> do x1 <- arbitrary | ||
| 18 | + 7 -> do x1 <- suchThat arbitrary (`notElem` [01,02,03,08,09,10,11]) | ||
| 19 | return (HashAlgorithm x1) | ||
| 20 | _ -> error "FATAL ERROR: Arbitrary instance, logic bug" | ||
| 21 | |||
| 13 | @@ -108,7 +107,7 @@ | 22 | @@ -108,7 +107,7 @@ |
| 14 | 6 -> return AES192 | 23 | 6 -> return AES192 |
| 15 | 7 -> return AES256 | 24 | 7 -> return AES256 |