1 files changed, 8 insertions, 0 deletions
diff --git a/Arbitrary.patch b/Arbitrary.patch
index 641609f..2d14399 100644
--- a/Arbitrary.patch
+++ b/Arbitrary.patch
@@ -24,6 +24,14 @@
                    2 -> do x1 <- arbitrary
                            x2 <- arbitrary
                            x3 <- arbitrary
+@@ -88,5 +93,5 @@
+                            x2 <- arbitrary
+-                           x3 <- arbitrary
+                           x3 <- fmap decode_s2k_count arbitrary
+                            return (IteratedSaltedS2K x1 x2 x3)
+-                   3 -> do x1 <- arbitrary
+                   3 -> do x1 <- suchThat arbitrary (`notElem` [0,1,3])
+                            x2 <- arbitrary
 @@ -73,7 +72,7 @@
                    4 -> return SHA384
                    5 -> return SHA512

diff --git a/Arbitrary.patch b/Arbitrary.patch index 641609f..2d14399 100644 --- a/Arbitrary.patch +++ b/Arbitrary.patch
@@ -24,6 +24,14 @@
24	2 -> do x1 <- arbitrary	24	2 -> do x1 <- arbitrary
25	x2 <- arbitrary	25	x2 <- arbitrary
26	x3 <- arbitrary	26	x3 <- arbitrary
		27	@@ -88,5 +93,5 @@
		28	x2 <- arbitrary
		29	- x3 <- arbitrary
		30	+ x3 <- fmap decode_s2k_count arbitrary
		31	return (IteratedSaltedS2K x1 x2 x3)
		32	- 3 -> do x1 <- arbitrary
		33	+ 3 -> do x1 <- suchThat arbitrary (`notElem` [0,1,3])
		34	x2 <- arbitrary
27	@@ -73,7 +72,7 @@	35	@@ -73,7 +72,7 @@
28	4 -> return SHA384	36	4 -> return SHA384
29	5 -> return SHA512	37	5 -> return SHA512