From 3eda859c8d8ea099cd9b086d7b3f48f4c69d0176 Mon Sep 17 00:00:00 2001 From: Vincent Hanquez Date: Mon, 1 Jun 2015 05:57:09 +0100 Subject: [PATCH] [test] add marshalling tests for numbers --- tests/Number.hs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tests/Number.hs b/tests/Number.hs index 1131d50..415ab5a 100644 --- a/tests/Number.hs +++ b/tests/Number.hs @@ -2,9 +2,11 @@ module Number (tests) where import Imports +import Data.ByteArray (Bytes) import Crypto.Number.Basic import Crypto.Number.Generate import Crypto.Number.Prime +import Crypto.Number.Serialize import Data.Bits tests = testGroup "number" @@ -35,4 +37,6 @@ tests = testGroup "number" -- to the next is quite high, as the number generated has two highest bit set. -- in bits == numBits prime || (if baseBits < 64 then (bits + 1) == numBits prime else False) + , testProperty "marshalling" $ \qaInt -> + getQAInteger qaInt == os2ip (i2osp (getQAInteger qaInt) :: Bytes) ]