diff options
| author | Stephen Paul Weber <singpolyma@singpolyma.net> | 2012-04-27 17:14:47 -0500 |
|---|---|---|
| committer | Stephen Paul Weber <singpolyma@singpolyma.net> | 2012-04-27 17:14:47 -0500 |
| commit | c839363df7bc06519ef577b02de11200ceb2ba9a (patch) | |
| tree | 02dd9d0456e37dad6514825492672b28e36cbdb4 /Arbitrary.patch | |
| parent | 6a0708513d22e8b0908beeeedc10cd9c89cfacd0 (diff) | |
fix arbitrary for KeyAlgorithm as well
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 0c2175d..151ea0f 100644 --- a/Arbitrary.patch +++ b/Arbitrary.patch | |||
| @@ -19,6 +19,15 @@ | |||
| 19 | return (HashAlgorithm x1) | 19 | return (HashAlgorithm x1) |
| 20 | _ -> error "FATAL ERROR: Arbitrary instance, logic bug" | 20 | _ -> error "FATAL ERROR: Arbitrary instance, logic bug" |
| 21 | 21 | ||
| 22 | @@ -90,7 +89,7 @@ | ||
| 23 | 5 -> return ECC | ||
| 24 | 6 -> return ECDSA | ||
| 25 | 7 -> return DH | ||
| 26 | - 8 -> do x1 <- arbitrary | ||
| 27 | + 8 -> do x1 <- suchThat arbitrary (`notElem` [01,02,03,16,17,18,19,21]) | ||
| 28 | return (KeyAlgorithm x1) | ||
| 29 | _ -> error "FATAL ERROR: Arbitrary instance, logic bug" | ||
| 30 | |||
| 22 | @@ -108,7 +107,7 @@ | 31 | @@ -108,7 +107,7 @@ |
| 23 | 6 -> return AES192 | 32 | 6 -> return AES192 |
| 24 | 7 -> return AES256 | 33 | 7 -> return AES256 |