File tree 1 file changed +3
-3
lines changed
1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -329,14 +329,14 @@ int main(int argc, char **argv)
329
329
**
330
330
** To get good coverage we want to pick a value that maximizes
331
331
** '((2^64 - bound) % bound)'. With bound = 6148914691236517206
332
- ** ((2^64 / 3) + 1) we get a value of 6148914691236517204 for
332
+ ** ((2^64 / 3) + 1) we get a value of 6148914691236517204 for
333
333
** the second piece. This maximizes the odds of our random
334
- ** fぬnction taking the branches that we want to cover.
334
+ ** function taking the branches that we want to cover.
335
335
**
336
336
**/
337
337
for (int i = 0 ; i < 1000000 ; i ++ ) {
338
338
EXPECT_OK (s2n_public_random (6148914691236517206 , & r ));
339
- EXPECT_TRUE (r <= 611686018427387906 );
339
+ EXPECT_TRUE (r <= 6148914691236517206 );
340
340
}
341
341
342
342
/* 0 should fail */
You can’t perform that action at this time.
0 commit comments