moonbitlang / core / 6129

92%

Build Type

push

github

Committed by web-flow

Commit Message

fix: potential overflow of next_positive_int()  (#1915)

* modified:   quickcheck\splitmix\random.mbt
changed:    next_positive_int(self : RandomState)

* fixed next_positive_int() function overflow issue.
add a commenrt to explain edge managment.

* removed no need comment

* formated @quickcheck\README.mbt.md

* modified:   quickcheck\splitmix\random.mbt
changed:    next_positive_int(self : RandomState)

* fixed next_positive_int() function overflow issue.
add a commenrt to explain edge managment.

* removed no need comment

* formated files

---------

Co-authored-by: CAIMEO <38813005+CAIMEOX@users.noreply.github.com>

Run Details

3 of 4 new or added lines in 1 file covered. (75.0%)

1 existing line in 1 file now uncovered.

5632 of 6145 relevant lines covered (91.65%)

142248.67 hits per line