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

[tests] fix generate prime test to only start prime generation above 32 bits

Browse Source
This commit is contained in:
Vincent Hanquez 2015-05-23 16:06:02 +01:00
parent e989d2a404
commit d9913a81f8
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/Number.hs
View File

@ -29,10 +29,10 @@ tests = testGroup "number"
let r = withTestDRG testDRG $ generateMax range let r = withTestDRG testDRG $ generateMax range
in 0 <= r && r < range in 0 <= r && r < range
, testProperty "generate-prime" $ \testDRG (Positive baseBits) -> , testProperty "generate-prime" $ \testDRG (Positive baseBits) ->
let bits = 8 + baseBits let bits = 32 + baseBits -- no point generating lower than 32 bits ..
prime = withTestDRG testDRG $ generatePrime bits prime = withTestDRG testDRG $ generatePrime bits
-- with small base bits numbers, the probability that we "cross" this bit size ness -- with small base bits numbers, the probability that we "cross" this bit size ness
-- 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 < 80 then (bits + 1) == numBits prime else False) in bits == numBits prime || (if baseBits < 64 then (bits + 1) == numBits prime else False)
] ]