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

fix 0 case.

Browse Source
This commit is contained in:
Vincent Hanquez 2015-07-29 07:13:04 +01:00
parent 1c0f5e7abf
commit 169570c963
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
tests/Number.hs
View File

@ -21,10 +21,11 @@ serializationVectors =
tests = testGroup "number"
[ testProperty "num-bits" $ \(Int0_2901 i) ->
and [ (numBits (2^i-1) == i)
, (numBits (2^i) == i+1)
, (numBits (2^i + (2^i-1)) == i+1)
]
if i == 0 then True else
and [ (numBits (2^i-1) == i)
, (numBits (2^i) == i+1)
, (numBits (2^i + (2^i-1)) == i+1)
]
, testProperty "num-bits2" $ \(Positive i) ->
not (i `testBit` numBits i) && (i `testBit` (numBits i - 1))
, testProperty "generate-param" $ \testDRG (Int0_2901 bits) ->