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

[tests] add the reverse of the previous number kat test

Browse Source
This commit is contained in:
Vincent Hanquez 2015-06-01 10:46:59 +01:00
parent 360f4f51dc
commit 69723be05c
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/Number.hs
View File

@ -51,7 +51,9 @@ tests = testGroup "number"
in bits == numBits prime || (if baseBits < 64 then (bits + 1) == numBits prime else False)
, testProperty "marshalling" $ \qaInt ->
getQAInteger qaInt == os2ip (i2osp (getQAInteger qaInt) :: Bytes)
, testGroup "serialization-kat" $ map toSerializationKat $ zip [katZero..] serializationVectors
, testGroup "marshalling-kat-to-bytearray" $ map toSerializationKat $ zip [katZero..] serializationVectors
, testGroup "marshalling-kat-to-integer" $ map toSerializationKatInteger $ zip [katZero..] serializationVectors
]
where
toSerializationKat (i, (sz, n, ba)) = testCase (show i) (ba @=? i2ospOf_ sz n)
toSerializationKatInteger (i, (_, n, ba)) = testCase (show i) (n @=? os2ip ba)