EmbeddedSignaturePacket

1 files changed, 13 insertions, 3 deletions

diff --git a/Arbitrary.patch b/Arbitrary.patch
index 8967f0b..f1f3824 100644
--- a/Arbitrary.patch
+++ b/Arbitrary.patch
@@ -1,12 +1,19 @@
 --- Data/OpenPGP/Arbitrary.hs   2012-04-27 12:38:11.492411339 -0500
 +++ arb.s       2012-04-27 12:37:57.176469214 -0500
-@@ -19,8 +19,7 @@
+@@ -14,13 +14,11 @@
+                    0 -> do x1 <- arbitrary
+                            x2 <- arbitrary
+                            x3 <- arbitrary
+-                           x4 <- arbitrary
+-                           x5 <- arbitrary
++                           x4 <- resize 10 (listOf arbitrary)
++                           x5 <- resize 10 (listOf arbitrary)
                             x6 <- arbitrary
                             x7 <- arbitrary
-                            x8 <- arbitrary
+-                           x8 <- arbitrary
 -                           x9 <- arbitrary
 -                           return (SignaturePacket x1 x2 x3 x4 x5 x6 x7 x8 x9)
-+                           return (signaturePacket x1 x2 x3 x4 x5 x6 x7 x8)
++                           return (signaturePacket 4 x1 x2 x3 x4 x5 x6 x7)
                     1 -> do x1 <- arbitrary
                             x2 <- arbitrary
                             x3 <- arbitrary
@@ -74,6 +81,9 @@
 @@ -166 +165 @@
 -                   9 -> do x1 <- arbitrary
 +                   9 -> do x1 <- vectorOf 16 (elements (['0'..'9'] ++ ['A'..'F']))
+@@ -217 +216 @@
+-                   22 -> do x1 <- arbitrary
++                   22 -> do x1 <- suchThat arbitrary isSignaturePacket
 @@ -169,2 +168 @@
 -                            x2 <- arbitrary
 -                            return (UnsupportedSignatureSubpacket x1 x2)