MPI encode/decode QuickCheck

1 files changed, 5 insertions, 0 deletions

diff --git a/tests/suite.hs b/tests/suite.hs
index 694a70a..afadc35 100644
--- a/tests/suite.hs
+++ b/tests/suite.hs
@@ -40,6 +40,10 @@ 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_SignatureSubpacket_serialization_loop :: OpenPGP.SignatureSubpacket -> Bool
 prop_SignatureSubpacket_serialization_loop packet =
         packet == decode (encode packet)
@@ -135,6 +139,7 @@ tests =
                         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"),
+                        testProperty "MPI encode/decode" prop_MPI_serialization_loop,
                         testProperty "SignatureSubpacket encode/decode" prop_SignatureSubpacket_serialization_loop
                 ],
                 testGroup "S2K count" [