Skip to content

Fix: allow 0 count and 0 long_factor - #255

Merged
jmid merged 1 commit into
c-cube:masterfrom
vch9:allow-0-count
Jul 13, 2022
Merged

Fix: allow 0 count and 0 long_factor#255
jmid merged 1 commit into
c-cube:masterfrom
vch9:allow-0-count

Conversation

@vch9

@vch9vch9 commented Jul 13, 2022

Copy link
Copy Markdown
Contributor

Closes#254

@vch9vch9 mentioned this pull request Jul 13, 2022
Comment threadtest/core/QCheck2_unit_tests.ml Outdated
Comment threadtest/core/QCheck_unit_tests.ml Outdated
@jmid

jmid commented Jul 13, 2022

Copy link
Copy Markdown
Collaborator

Looks good to me - I just spotted a couple of typos.
Extra thanks for adding both QCheck and QCheck2 unit tests 🙏

@jmid
jmid merged commit cef63db into c-cube:masterJul 13, 2022
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

count cannot be zero

2 participants

@vch9@jmid