Merged openpgp package into openpgp-util

92 files changed, 168 insertions, 0 deletions

diff --git a/tests/data/000001-006.public_key b/tests/data/000001-006.public_key
new file mode 100644
index 0000000..7cbab17
--- /dev/null
+++ b/tests/data/000001-006.public_key
diff --git a/tests/data/000002-013.user_id b/tests/data/000002-013.user_id
new file mode 100644
index 0000000..759449b
--- /dev/null
+++ b/tests/data/000002-013.user_id
@@ -0,0 +1 @@
+´$Test Key (RSA) <testkey@example.org>
\ No newline at end of file
diff --git a/tests/data/000003-002.sig b/tests/data/000003-002.sig
new file mode 100644
index 0000000..1e0656d
--- /dev/null
+++ b/tests/data/000003-002.sig
diff --git a/tests/data/000004-012.ring_trust b/tests/data/000004-012.ring_trust
new file mode 100644
index 0000000..ffa57e5
--- /dev/null
+++ b/tests/data/000004-012.ring_trust
diff --git a/tests/data/000005-002.sig b/tests/data/000005-002.sig
new file mode 100644
index 0000000..108b998
--- /dev/null
+++ b/tests/data/000005-002.sig
diff --git a/tests/data/000006-012.ring_trust b/tests/data/000006-012.ring_trust
new file mode 100644
index 0000000..ffa57e5
--- /dev/null
+++ b/tests/data/000006-012.ring_trust
diff --git a/tests/data/000007-002.sig b/tests/data/000007-002.sig
new file mode 100644
index 0000000..14276d0
--- /dev/null
+++ b/tests/data/000007-002.sig
diff --git a/tests/data/000008-012.ring_trust b/tests/data/000008-012.ring_trust
new file mode 100644
index 0000000..ffa57e5
--- /dev/null
+++ b/tests/data/000008-012.ring_trust
diff --git a/tests/data/000009-002.sig b/tests/data/000009-002.sig
new file mode 100644
index 0000000..4a282dd
--- /dev/null
+++ b/tests/data/000009-002.sig
diff --git a/tests/data/000010-012.ring_trust b/tests/data/000010-012.ring_trust
new file mode 100644
index 0000000..ffa57e5
--- /dev/null
+++ b/tests/data/000010-012.ring_trust
diff --git a/tests/data/000011-002.sig b/tests/data/000011-002.sig
new file mode 100644
index 0000000..cae1b73
--- /dev/null
+++ b/tests/data/000011-002.sig
diff --git a/tests/data/000012-012.ring_trust b/tests/data/000012-012.ring_trust
new file mode 100644
index 0000000..ffa57e5
--- /dev/null
+++ b/tests/data/000012-012.ring_trust
diff --git a/tests/data/000013-014.public_subkey b/tests/data/000013-014.public_subkey
new file mode 100644
index 0000000..08676d0
--- /dev/null
+++ b/tests/data/000013-014.public_subkey
diff --git a/tests/data/000014-002.sig b/tests/data/000014-002.sig
new file mode 100644
index 0000000..dd60180
--- /dev/null
+++ b/tests/data/000014-002.sig
diff --git a/tests/data/000015-012.ring_trust b/tests/data/000015-012.ring_trust
new file mode 100644
index 0000000..ffa57e5
--- /dev/null
+++ b/tests/data/000015-012.ring_trust
diff --git a/tests/data/000016-006.public_key b/tests/data/000016-006.public_key
new file mode 100644
index 0000000..c9dccbf
--- /dev/null
+++ b/tests/data/000016-006.public_key
diff --git a/tests/data/000017-002.sig b/tests/data/000017-002.sig
new file mode 100644
index 0000000..e734505
--- /dev/null
+++ b/tests/data/000017-002.sig
diff --git a/tests/data/000018-012.ring_trust b/tests/data/000018-012.ring_trust
new file mode 100644
index 0000000..ffa57e5
--- /dev/null
+++ b/tests/data/000018-012.ring_trust
diff --git a/tests/data/000019-013.user_id b/tests/data/000019-013.user_id
new file mode 100644
index 0000000..ab3f51d
--- /dev/null
+++ b/tests/data/000019-013.user_id
@@ -0,0 +1 @@
+´$Test Key (DSA) <testkey@example.com>
\ No newline at end of file
diff --git a/tests/data/000020-002.sig b/tests/data/000020-002.sig
new file mode 100644
index 0000000..8588489
--- /dev/null
+++ b/tests/data/000020-002.sig
diff --git a/tests/data/000021-012.ring_trust b/tests/data/000021-012.ring_trust
new file mode 100644
index 0000000..ffa57e5
--- /dev/null
+++ b/tests/data/000021-012.ring_trust
diff --git a/tests/data/000022-002.sig b/tests/data/000022-002.sig
new file mode 100644
index 0000000..fefcb5f
--- /dev/null
+++ b/tests/data/000022-002.sig
diff --git a/tests/data/000023-012.ring_trust b/tests/data/000023-012.ring_trust
new file mode 100644
index 0000000..ffa57e5
--- /dev/null
+++ b/tests/data/000023-012.ring_trust
diff --git a/tests/data/000024-014.public_subkey b/tests/data/000024-014.public_subkey
new file mode 100644
index 0000000..2e8deea
--- /dev/null
+++ b/tests/data/000024-014.public_subkey
diff --git a/tests/data/000025-002.sig b/tests/data/000025-002.sig
new file mode 100644
index 0000000..a3eea0a
--- /dev/null
+++ b/tests/data/000025-002.sig
diff --git a/tests/data/000026-012.ring_trust b/tests/data/000026-012.ring_trust
new file mode 100644
index 0000000..ffa57e5
--- /dev/null
+++ b/tests/data/000026-012.ring_trust
diff --git a/tests/data/000027-006.public_key b/tests/data/000027-006.public_key
new file mode 100644
index 0000000..5817e00
--- /dev/null
+++ b/tests/data/000027-006.public_key
diff --git a/tests/data/000028-002.sig b/tests/data/000028-002.sig
new file mode 100644
index 0000000..5194b78
--- /dev/null
+++ b/tests/data/000028-002.sig
diff --git a/tests/data/000029-012.ring_trust b/tests/data/000029-012.ring_trust
new file mode 100644
index 0000000..ffa57e5
--- /dev/null
+++ b/tests/data/000029-012.ring_trust
diff --git a/tests/data/000030-013.user_id b/tests/data/000030-013.user_id
new file mode 100644
index 0000000..fb3f49e
--- /dev/null
+++ b/tests/data/000030-013.user_id
@@ -0,0 +1 @@
+´+Test Key (DSA sign-only) <test@example.net>
\ No newline at end of file
diff --git a/tests/data/000031-002.sig b/tests/data/000031-002.sig
new file mode 100644
index 0000000..f69f687
--- /dev/null
+++ b/tests/data/000031-002.sig
diff --git a/tests/data/000032-012.ring_trust b/tests/data/000032-012.ring_trust
new file mode 100644
index 0000000..ffa57e5
--- /dev/null
+++ b/tests/data/000032-012.ring_trust
diff --git a/tests/data/000033-002.sig b/tests/data/000033-002.sig
new file mode 100644
index 0000000..2bb55d4
--- /dev/null
+++ b/tests/data/000033-002.sig
diff --git a/tests/data/000034-012.ring_trust b/tests/data/000034-012.ring_trust
new file mode 100644
index 0000000..ffa57e5
--- /dev/null
+++ b/tests/data/000034-012.ring_trust
diff --git a/tests/data/000035-006.public_key b/tests/data/000035-006.public_key
new file mode 100644
index 0000000..5980638
--- /dev/null
+++ b/tests/data/000035-006.public_key
diff --git a/tests/data/000036-013.user_id b/tests/data/000036-013.user_id
new file mode 100644
index 0000000..5d0d46e
--- /dev/null
+++ b/tests/data/000036-013.user_id
@@ -0,0 +1 @@
+´.Test Key (RSA sign-only) <testkey@example.net>
\ No newline at end of file
diff --git a/tests/data/000037-002.sig b/tests/data/000037-002.sig
new file mode 100644
index 0000000..833b563
--- /dev/null
+++ b/tests/data/000037-002.sig
diff --git a/tests/data/000038-012.ring_trust b/tests/data/000038-012.ring_trust
new file mode 100644
index 0000000..ffa57e5
--- /dev/null
+++ b/tests/data/000038-012.ring_trust
diff --git a/tests/data/000039-002.sig b/tests/data/000039-002.sig
new file mode 100644
index 0000000..89c34fa
--- /dev/null
+++ b/tests/data/000039-002.sig
diff --git a/tests/data/000040-012.ring_trust b/tests/data/000040-012.ring_trust
new file mode 100644
index 0000000..ffa57e5
--- /dev/null
+++ b/tests/data/000040-012.ring_trust
diff --git a/tests/data/000041-017.attribute b/tests/data/000041-017.attribute
new file mode 100644
index 0000000..a21a82f
--- /dev/null
+++ b/tests/data/000041-017.attribute
diff --git a/tests/data/000042-002.sig b/tests/data/000042-002.sig
new file mode 100644
index 0000000..fc6267f
--- /dev/null
+++ b/tests/data/000042-002.sig
diff --git a/tests/data/000043-012.ring_trust b/tests/data/000043-012.ring_trust
new file mode 100644
index 0000000..ffa57e5
--- /dev/null
+++ b/tests/data/000043-012.ring_trust
diff --git a/tests/data/000044-014.public_subkey b/tests/data/000044-014.public_subkey
new file mode 100644
index 0000000..06bf50e
--- /dev/null
+++ b/tests/data/000044-014.public_subkey
diff --git a/tests/data/000045-002.sig b/tests/data/000045-002.sig
new file mode 100644
index 0000000..336eb0f
--- /dev/null
+++ b/tests/data/000045-002.sig
diff --git a/tests/data/000046-012.ring_trust b/tests/data/000046-012.ring_trust
new file mode 100644
index 0000000..ffa57e5
--- /dev/null
+++ b/tests/data/000046-012.ring_trust
diff --git a/tests/data/000047-005.secret_key b/tests/data/000047-005.secret_key
new file mode 100644
index 0000000..77b5d42
--- /dev/null
+++ b/tests/data/000047-005.secret_key
diff --git a/tests/data/000048-013.user_id b/tests/data/000048-013.user_id
new file mode 100644
index 0000000..759449b
--- /dev/null
+++ b/tests/data/000048-013.user_id
@@ -0,0 +1 @@
+´$Test Key (RSA) <testkey@example.org>
\ No newline at end of file
diff --git a/tests/data/000049-002.sig b/tests/data/000049-002.sig
new file mode 100644
index 0000000..14276d0
--- /dev/null
+++ b/tests/data/000049-002.sig
diff --git a/tests/data/000050-012.ring_trust b/tests/data/000050-012.ring_trust
new file mode 100644
index 0000000..b1eeabb
--- /dev/null
+++ b/tests/data/000050-012.ring_trust
diff --git a/tests/data/000051-007.secret_subkey b/tests/data/000051-007.secret_subkey
new file mode 100644
index 0000000..b4e65c9
--- /dev/null
+++ b/tests/data/000051-007.secret_subkey
diff --git a/tests/data/000052-002.sig b/tests/data/000052-002.sig
new file mode 100644
index 0000000..dd60180
--- /dev/null
+++ b/tests/data/000052-002.sig
diff --git a/tests/data/000053-012.ring_trust b/tests/data/000053-012.ring_trust
new file mode 100644
index 0000000..b1eeabb
--- /dev/null
+++ b/tests/data/000053-012.ring_trust
diff --git a/tests/data/000054-005.secret_key b/tests/data/000054-005.secret_key
new file mode 100644
index 0000000..f153e59
--- /dev/null
+++ b/tests/data/000054-005.secret_key
diff --git a/tests/data/000055-002.sig b/tests/data/000055-002.sig
new file mode 100644
index 0000000..e734505
--- /dev/null
+++ b/tests/data/000055-002.sig
diff --git a/tests/data/000056-012.ring_trust b/tests/data/000056-012.ring_trust
new file mode 100644
index 0000000..b1eeabb
--- /dev/null
+++ b/tests/data/000056-012.ring_trust
diff --git a/tests/data/000057-013.user_id b/tests/data/000057-013.user_id
new file mode 100644
index 0000000..ab3f51d
--- /dev/null
+++ b/tests/data/000057-013.user_id
@@ -0,0 +1 @@
+´$Test Key (DSA) <testkey@example.com>
\ No newline at end of file
diff --git a/tests/data/000058-002.sig b/tests/data/000058-002.sig
new file mode 100644
index 0000000..8588489
--- /dev/null
+++ b/tests/data/000058-002.sig
diff --git a/tests/data/000059-012.ring_trust b/tests/data/000059-012.ring_trust
new file mode 100644
index 0000000..b1eeabb
--- /dev/null
+++ b/tests/data/000059-012.ring_trust
diff --git a/tests/data/000060-007.secret_subkey b/tests/data/000060-007.secret_subkey
new file mode 100644
index 0000000..9df45f3
--- /dev/null
+++ b/tests/data/000060-007.secret_subkey
diff --git a/tests/data/000061-002.sig b/tests/data/000061-002.sig
new file mode 100644
index 0000000..6394942
--- /dev/null
+++ b/tests/data/000061-002.sig
diff --git a/tests/data/000062-012.ring_trust b/tests/data/000062-012.ring_trust
new file mode 100644
index 0000000..b1eeabb
--- /dev/null
+++ b/tests/data/000062-012.ring_trust
diff --git a/tests/data/000063-005.secret_key b/tests/data/000063-005.secret_key
new file mode 100644
index 0000000..2f4268e
--- /dev/null
+++ b/tests/data/000063-005.secret_key
diff --git a/tests/data/000064-002.sig b/tests/data/000064-002.sig
new file mode 100644
index 0000000..5194b78
--- /dev/null
+++ b/tests/data/000064-002.sig
diff --git a/tests/data/000065-012.ring_trust b/tests/data/000065-012.ring_trust
new file mode 100644
index 0000000..b1eeabb
--- /dev/null
+++ b/tests/data/000065-012.ring_trust
diff --git a/tests/data/000066-013.user_id b/tests/data/000066-013.user_id
new file mode 100644
index 0000000..fb3f49e
--- /dev/null
+++ b/tests/data/000066-013.user_id
@@ -0,0 +1 @@
+´+Test Key (DSA sign-only) <test@example.net>
\ No newline at end of file
diff --git a/tests/data/000067-002.sig b/tests/data/000067-002.sig
new file mode 100644
index 0000000..d354e79
--- /dev/null
+++ b/tests/data/000067-002.sig
diff --git a/tests/data/000068-012.ring_trust b/tests/data/000068-012.ring_trust
new file mode 100644
index 0000000..b1eeabb
--- /dev/null
+++ b/tests/data/000068-012.ring_trust
diff --git a/tests/data/000069-005.secret_key b/tests/data/000069-005.secret_key
new file mode 100644
index 0000000..17a2c35
--- /dev/null
+++ b/tests/data/000069-005.secret_key
diff --git a/tests/data/000070-013.user_id b/tests/data/000070-013.user_id
new file mode 100644
index 0000000..5d0d46e
--- /dev/null
+++ b/tests/data/000070-013.user_id
@@ -0,0 +1 @@
+´.Test Key (RSA sign-only) <testkey@example.net>
\ No newline at end of file
diff --git a/tests/data/000071-002.sig b/tests/data/000071-002.sig
new file mode 100644
index 0000000..833b563
--- /dev/null
+++ b/tests/data/000071-002.sig
diff --git a/tests/data/000072-012.ring_trust b/tests/data/000072-012.ring_trust
new file mode 100644
index 0000000..b1eeabb
--- /dev/null
+++ b/tests/data/000072-012.ring_trust
diff --git a/tests/data/000073-017.attribute b/tests/data/000073-017.attribute
new file mode 100644
index 0000000..a21a82f
--- /dev/null
+++ b/tests/data/000073-017.attribute
diff --git a/tests/data/000074-002.sig b/tests/data/000074-002.sig
new file mode 100644
index 0000000..fc6267f
--- /dev/null
+++ b/tests/data/000074-002.sig
diff --git a/tests/data/000075-012.ring_trust b/tests/data/000075-012.ring_trust
new file mode 100644
index 0000000..b1eeabb
--- /dev/null
+++ b/tests/data/000075-012.ring_trust
diff --git a/tests/data/000076-007.secret_subkey b/tests/data/000076-007.secret_subkey
new file mode 100644
index 0000000..b380339
--- /dev/null
+++ b/tests/data/000076-007.secret_subkey
diff --git a/tests/data/000077-002.sig b/tests/data/000077-002.sig
new file mode 100644
index 0000000..336eb0f
--- /dev/null
+++ b/tests/data/000077-002.sig
diff --git a/tests/data/000078-012.ring_trust b/tests/data/000078-012.ring_trust
new file mode 100644
index 0000000..b1eeabb
--- /dev/null
+++ b/tests/data/000078-012.ring_trust
diff --git a/tests/data/002182-002.sig b/tests/data/002182-002.sig
new file mode 100644
index 0000000..2bc6679
--- /dev/null
+++ b/tests/data/002182-002.sig
diff --git a/tests/data/3F5BBA0B0694BEB6000005-002.sig b/tests/data/3F5BBA0B0694BEB6000005-002.sig
new file mode 100644
index 0000000..94055af
--- /dev/null
+++ b/tests/data/3F5BBA0B0694BEB6000005-002.sig
diff --git a/tests/data/3F5BBA0B0694BEB6000017-002.sig b/tests/data/3F5BBA0B0694BEB6000017-002.sig
new file mode 100644
index 0000000..b22f23b
--- /dev/null
+++ b/tests/data/3F5BBA0B0694BEB6000017-002.sig
diff --git a/tests/data/compressedsig-bzip2.gpg b/tests/data/compressedsig-bzip2.gpg
new file mode 100644
index 0000000..87539db
--- /dev/null
+++ b/tests/data/compressedsig-bzip2.gpg
diff --git a/tests/data/compressedsig-zlib.gpg b/tests/data/compressedsig-zlib.gpg
new file mode 100644
index 0000000..4da4dfa
--- /dev/null
+++ b/tests/data/compressedsig-zlib.gpg
diff --git a/tests/data/compressedsig.gpg b/tests/data/compressedsig.gpg
new file mode 100644
index 0000000..dd617de
--- /dev/null
+++ b/tests/data/compressedsig.gpg
diff --git a/tests/data/onepass_sig b/tests/data/onepass_sig
new file mode 100644
index 0000000..87b2895
--- /dev/null
+++ b/tests/data/onepass_sig
diff --git a/tests/data/pubring.gpg b/tests/data/pubring.gpg
new file mode 100644
index 0000000..a1519ee
--- /dev/null
+++ b/tests/data/pubring.gpg
diff --git a/tests/data/secring.gpg b/tests/data/secring.gpg
new file mode 100644
index 0000000..1359875
--- /dev/null
+++ b/tests/data/secring.gpg
diff --git a/tests/data/symmetrically_encrypted b/tests/data/symmetrically_encrypted
new file mode 100644
index 0000000..129155a
--- /dev/null
+++ b/tests/data/symmetrically_encrypted
diff --git a/tests/data/uncompressed-ops-dsa-sha384.txt.gpg b/tests/data/uncompressed-ops-dsa-sha384.txt.gpg
new file mode 100644
index 0000000..39828fc
--- /dev/null
+++ b/tests/data/uncompressed-ops-dsa-sha384.txt.gpg
diff --git a/tests/data/uncompressed-ops-dsa.gpg b/tests/data/uncompressed-ops-dsa.gpg
new file mode 100644
index 0000000..97e7a26
--- /dev/null
+++ b/tests/data/uncompressed-ops-dsa.gpg
diff --git a/tests/data/uncompressed-ops-rsa.gpg b/tests/data/uncompressed-ops-rsa.gpg
new file mode 100644
index 0000000..7ae453d
--- /dev/null
+++ b/tests/data/uncompressed-ops-rsa.gpg
diff --git a/tests/suite.hs b/tests/suite.hs
new file mode 100644
index 0000000..cb4f4aa
--- /dev/null
+++ b/tests/suite.hs
@@ -0,0 +1,160 @@
+{-# LANGUAGE CPP #-}
+import Test.Framework (defaultMain, testGroup, Test)
+import Test.Framework.Providers.HUnit
+import Test.Framework.Providers.QuickCheck2
+import Test.HUnit hiding (Test)
+
+import Data.Word
+import Data.OpenPGP.Arbitrary ()
+import qualified Data.OpenPGP as OpenPGP
+import qualified Data.OpenPGP.Internal as OpenPGP
+
+#ifdef CEREAL
+import Data.Serialize
+import qualified Data.ByteString as B
+
+decode' :: (Serialize a) => B.ByteString -> a
+decode' x = let Right v = decode x in v
+#else
+import Data.Binary
+import qualified Data.ByteString.Lazy as B
+
+decode' :: (Binary a) => B.ByteString -> a
+decode' = decode
+#endif
+
+testSerialization :: FilePath -> Assertion
+testSerialization fp = do
+        bs <- B.readFile $ "tests/data/" ++ fp
+        nullShield "First" (decode' bs) (\firstpass ->
+                        nullShield "Second" (decode' $ encode firstpass) (
+                                assertEqual ("for " ++ fp) firstpass
+                        )
+                )
+        where
+        nullShield pass (OpenPGP.Message []) _ =
+                assertFailure $ pass ++ " pass of " ++ fp ++ " decoded to nothing."
+        nullShield _ m f = f m
+
+prop_s2k_count :: Word8 -> Bool
+prop_s2k_count c =
+        c == OpenPGP.encode_s2k_count (OpenPGP.decode_s2k_count c)
+
+prop_MPI_serialization_loop :: OpenPGP.MPI -> Bool
+prop_MPI_serialization_loop mpi =
+        mpi == decode' (encode mpi)
+
+prop_S2K_serialization_loop :: OpenPGP.S2K -> Bool
+prop_S2K_serialization_loop s2k =
+        s2k == decode' (encode s2k)
+
+prop_SignatureSubpacket_serialization_loop :: OpenPGP.SignatureSubpacket -> Bool
+prop_SignatureSubpacket_serialization_loop packet =
+        packet == decode' (encode packet)
+
+tests :: [Test]
+tests =
+        [
+                testGroup "Serialization" [
+                        testCase "000001-006.public_key" (testSerialization "000001-006.public_key"),
+                        testCase "000002-013.user_id" (testSerialization "000002-013.user_id"),
+                        testCase "000003-002.sig" (testSerialization "000003-002.sig"),
+                        testCase "000004-012.ring_trust" (testSerialization "000004-012.ring_trust"),
+                        testCase "000005-002.sig" (testSerialization "000005-002.sig"),
+                        testCase "000006-012.ring_trust" (testSerialization "000006-012.ring_trust"),
+                        testCase "000007-002.sig" (testSerialization "000007-002.sig"),
+                        testCase "000008-012.ring_trust" (testSerialization "000008-012.ring_trust"),
+                        testCase "000009-002.sig" (testSerialization "000009-002.sig"),
+                        testCase "000010-012.ring_trust" (testSerialization "000010-012.ring_trust"),
+                        testCase "000011-002.sig" (testSerialization "000011-002.sig"),
+                        testCase "000012-012.ring_trust" (testSerialization "000012-012.ring_trust"),
+                        testCase "000013-014.public_subkey" (testSerialization "000013-014.public_subkey"),
+                        testCase "000014-002.sig" (testSerialization "000014-002.sig"),
+                        testCase "000015-012.ring_trust" (testSerialization "000015-012.ring_trust"),
+                        testCase "000016-006.public_key" (testSerialization "000016-006.public_key"),
+                        testCase "000017-002.sig" (testSerialization "000017-002.sig"),
+                        testCase "000018-012.ring_trust" (testSerialization "000018-012.ring_trust"),
+                        testCase "000019-013.user_id" (testSerialization "000019-013.user_id"),
+                        testCase "000020-002.sig" (testSerialization "000020-002.sig"),
+                        testCase "000021-012.ring_trust" (testSerialization "000021-012.ring_trust"),
+                        testCase "000022-002.sig" (testSerialization "000022-002.sig"),
+                        testCase "000023-012.ring_trust" (testSerialization "000023-012.ring_trust"),
+                        testCase "000024-014.public_subkey" (testSerialization "000024-014.public_subkey"),
+                        testCase "000025-002.sig" (testSerialization "000025-002.sig"),
+                        testCase "000026-012.ring_trust" (testSerialization "000026-012.ring_trust"),
+                        testCase "000027-006.public_key" (testSerialization "000027-006.public_key"),
+                        testCase "000028-002.sig" (testSerialization "000028-002.sig"),
+                        testCase "000029-012.ring_trust" (testSerialization "000029-012.ring_trust"),
+                        testCase "000030-013.user_id" (testSerialization "000030-013.user_id"),
+                        testCase "000031-002.sig" (testSerialization "000031-002.sig"),
+                        testCase "000032-012.ring_trust" (testSerialization "000032-012.ring_trust"),
+                        testCase "000033-002.sig" (testSerialization "000033-002.sig"),
+                        testCase "000034-012.ring_trust" (testSerialization "000034-012.ring_trust"),
+                        testCase "000035-006.public_key" (testSerialization "000035-006.public_key"),
+                        testCase "000036-013.user_id" (testSerialization "000036-013.user_id"),
+                        testCase "000037-002.sig" (testSerialization "000037-002.sig"),
+                        testCase "000038-012.ring_trust" (testSerialization "000038-012.ring_trust"),
+                        testCase "000039-002.sig" (testSerialization "000039-002.sig"),
+                        testCase "000040-012.ring_trust" (testSerialization "000040-012.ring_trust"),
+                        testCase "000041-017.attribute" (testSerialization "000041-017.attribute"),
+                        testCase "000042-002.sig" (testSerialization "000042-002.sig"),
+                        testCase "000043-012.ring_trust" (testSerialization "000043-012.ring_trust"),
+                        testCase "000044-014.public_subkey" (testSerialization "000044-014.public_subkey"),
+                        testCase "000045-002.sig" (testSerialization "000045-002.sig"),
+                        testCase "000046-012.ring_trust" (testSerialization "000046-012.ring_trust"),
+                        testCase "000047-005.secret_key" (testSerialization "000047-005.secret_key"),
+                        testCase "000048-013.user_id" (testSerialization "000048-013.user_id"),
+                        testCase "000049-002.sig" (testSerialization "000049-002.sig"),
+                        testCase "000050-012.ring_trust" (testSerialization "000050-012.ring_trust"),
+                        testCase "000051-007.secret_subkey" (testSerialization "000051-007.secret_subkey"),
+                        testCase "000052-002.sig" (testSerialization "000052-002.sig"),
+                        testCase "000053-012.ring_trust" (testSerialization "000053-012.ring_trust"),
+                        testCase "000054-005.secret_key" (testSerialization "000054-005.secret_key"),
+                        testCase "000055-002.sig" (testSerialization "000055-002.sig"),
+                        testCase "000056-012.ring_trust" (testSerialization "000056-012.ring_trust"),
+                        testCase "000057-013.user_id" (testSerialization "000057-013.user_id"),
+                        testCase "000058-002.sig" (testSerialization "000058-002.sig"),
+                        testCase "000059-012.ring_trust" (testSerialization "000059-012.ring_trust"),
+                        testCase "000060-007.secret_subkey" (testSerialization "000060-007.secret_subkey"),
+                        testCase "000061-002.sig" (testSerialization "000061-002.sig"),
+                        testCase "000062-012.ring_trust" (testSerialization "000062-012.ring_trust"),
+                        testCase "000063-005.secret_key" (testSerialization "000063-005.secret_key"),
+                        testCase "000064-002.sig" (testSerialization "000064-002.sig"),
+                        testCase "000065-012.ring_trust" (testSerialization "000065-012.ring_trust"),
+                        testCase "000066-013.user_id" (testSerialization "000066-013.user_id"),
+                        testCase "000067-002.sig" (testSerialization "000067-002.sig"),
+                        testCase "000068-012.ring_trust" (testSerialization "000068-012.ring_trust"),
+                        testCase "000069-005.secret_key" (testSerialization "000069-005.secret_key"),
+                        testCase "000070-013.user_id" (testSerialization "000070-013.user_id"),
+                        testCase "000071-002.sig" (testSerialization "000071-002.sig"),
+                        testCase "000072-012.ring_trust" (testSerialization "000072-012.ring_trust"),
+                        testCase "000073-017.attribute" (testSerialization "000073-017.attribute"),
+                        testCase "000074-002.sig" (testSerialization "000074-002.sig"),
+                        testCase "000075-012.ring_trust" (testSerialization "000075-012.ring_trust"),
+                        testCase "000076-007.secret_subkey" (testSerialization "000076-007.secret_subkey"),
+                        testCase "000077-002.sig" (testSerialization "000077-002.sig"),
+                        testCase "000078-012.ring_trust" (testSerialization "000078-012.ring_trust"),
+                        testCase "002182-002.sig" (testSerialization "002182-002.sig"),
+                        testCase "pubring.gpg" (testSerialization "pubring.gpg"),
+                        testCase "secring.gpg" (testSerialization "secring.gpg"),
+                        testCase "compressedsig.gpg" (testSerialization "compressedsig.gpg"),
+                        testCase "compressedsig-zlib.gpg" (testSerialization "compressedsig-zlib.gpg"),
+                        testCase "compressedsig-bzip2.gpg" (testSerialization "compressedsig-bzip2.gpg"),
+                        testCase "onepass_sig" (testSerialization "onepass_sig"),
+                        testCase "symmetrically_encrypted" (testSerialization "symmetrically_encrypted"),
+                        testCase "uncompressed-ops-dsa.gpg" (testSerialization "uncompressed-ops-dsa.gpg"),
+                        testCase "uncompressed-ops-dsa-sha384.txt.gpg" (testSerialization "uncompressed-ops-dsa-sha384.txt.gpg"),
+                        testCase "uncompressed-ops-rsa.gpg" (testSerialization "uncompressed-ops-rsa.gpg"),
+                        testCase "3F5BBA0B0694BEB6000005-002.sig" (testSerialization "3F5BBA0B0694BEB6000005-002.sig"),
+                        testCase "3F5BBA0B0694BEB6000017-002.sig" (testSerialization "3F5BBA0B0694BEB6000017-002.sig"),
+                        testProperty "MPI encode/decode" prop_MPI_serialization_loop,
+                        testProperty "S2K encode/decode" prop_S2K_serialization_loop,
+                        testProperty "SignatureSubpacket encode/decode" prop_SignatureSubpacket_serialization_loop
+                ],
+                testGroup "S2K count" [
+                        testProperty "S2K count encode reverses decode" prop_s2k_count
+                ]
+        ]
+
+main :: IO ()
+main = defaultMain tests