haskell/cryptonite
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[test] add marshalling tests for numbers

Browse Source
This commit is contained in:
Vincent Hanquez 2015-06-01 05:57:09 +01:00
parent 4edb580cda
commit 3eda859c8d
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/Number.hs
View File

@ -2,9 +2,11 @@ module Number (tests) where
import Imports import Imports
import Data.ByteArray (Bytes)
import Crypto.Number.Basic import Crypto.Number.Basic
import Crypto.Number.Generate import Crypto.Number.Generate
import Crypto.Number.Prime import Crypto.Number.Prime
import Crypto.Number.Serialize
import Data.Bits import Data.Bits
tests = testGroup "number" 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. -- 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) in bits == numBits prime || (if baseBits < 64 then (bits + 1) == numBits prime else False)
, testProperty "marshalling" $ \qaInt ->
getQAInteger qaInt == os2ip (i2osp (getQAInteger qaInt) :: Bytes)
] ]