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 @@
                            return (HashAlgorithm x1)
                    _ -> error "FATAL ERROR: Arbitrary instance, logic bug"
+@@ -90,7 +89,7 @@
+                    5 -> return ECC
+                    6 -> return ECDSA
+                    7 -> return DH
+-                   8 -> do x1 <- arbitrary
+                   8 -> do x1 <- suchThat arbitrary (`notElem` [01,02,03,16,17,18,19,21])
+                            return (KeyAlgorithm x1)
+                    _ -> error "FATAL ERROR: Arbitrary instance, logic bug"
 @@ -108,7 +107,7 @@
                    6 -> return AES192
                    7 -> return AES256

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