From 86d6407eccd1ed9f44f4e1a0e495e504d393c1d8 Mon Sep 17 00:00:00 2001 From: Stephen Paul Weber Date: Sat, 29 Dec 2012 10:52:15 -0500 Subject: AsymmetricSessionKeyPacket --- Arbitrary.patch | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Arbitrary.patch') diff --git a/Arbitrary.patch b/Arbitrary.patch index fa78846..641609f 100644 --- a/Arbitrary.patch +++ b/Arbitrary.patch @@ -1,7 +1,7 @@ --- Data/OpenPGP/Arbitrary.hs 2012-04-27 12:38:11.492411339 -0500 +++ arb.s 2012-04-27 12:37:57.176469214 -0500 @@ -14,13 +14,18 @@ - 0 -> do x1 <- arbitrary + 1 -> do x1 <- arbitrary x2 <- arbitrary x3 <- arbitrary - x4 <- arbitrary @@ -21,7 +21,7 @@ + creation_time <- arbitrary + keyid <- vectorOf 16 (elements (['0'..'9'] ++ ['A'..'F'])) + return (signaturePacket version x1 x2 x3 [] [SignatureCreationTimePacket creation_time, IssuerPacket keyid] x6 x7) - 1 -> do x1 <- arbitrary + 2 -> do x1 <- arbitrary x2 <- arbitrary x3 <- arbitrary @@ -73,7 +72,7 @@ -- cgit v1.2.3