diff options
author | Stephen Paul Weber <singpolyma@singpolyma.net> | 2012-04-27 15:23:20 -0500 |
---|---|---|
committer | Stephen Paul Weber <singpolyma@singpolyma.net> | 2012-04-27 15:23:20 -0500 |
commit | 26f1db51b6146ee09a119113506dc8f58559fbcf (patch) | |
tree | 04e79d46c7d08506749e03d4840dc109685a9335 /Arbitrary.patch | |
parent | d9b4face488cb3eb1a914f37b24751bb5dd9aeac (diff) |
SymmetricAlgorithm
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 9c753cb..6d855f1 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 | @@ -108,7 +107,7 @@ | ||
14 | 6 -> return AES192 | ||
15 | 7 -> return AES256 | ||
16 | 8 -> return Twofish | ||
17 | - 9 -> do x1 <- arbitrary | ||
18 | + 9 -> do x1 <- suchThat arbitrary (`notElem` [00,01,02,03,04,07,08,09,10]) | ||
19 | return (SymmetricAlgorithm x1) | ||
20 | _ -> error "FATAL ERROR: Arbitrary instance, logic bug" | ||
21 | |||
13 | @@ -116,7 +115,7 @@ | 22 | @@ -116,7 +115,7 @@ |
14 | 23 | ||
15 | instance Arbitrary MPI where | 24 | instance Arbitrary MPI where |