qcheck
qcheck copied to clipboard
c-cube
QuickCheck inspired property-based testing for OCaml.
Hi, I can't find a way in the documentation to stop a test when a given criterion is met. Is there an way to do that using the current API?...
Closes #232. I don't know if that's the most convenient solution, but it seems to work. If you have any suggestion to improve this function, I'd be happy to implement...
That'd be cool to disable the shrinker with a boolean in `Test.make` for instance. I don't know if we can already do this or if it's impossible but this might...
I noticed that QCheck.Shrink is missing a `bool` combinator. This should be probably shrink `true` to `false` like QCheck2: https://github.com/c-cube/qcheck/blob/dd5feb49be06b585b943037e7a6c218d9cb7fb49/src/core/QCheck2.ml#L313-L317 Finally the `bool arbitrary` could be extended to use it.
The forthcoming OCaml 5.0 comes with a new splittable RNG in the `Random` module. As a consequence the distributions of QCheck's generators change, which means that the existing expect tests...
Closes #190 This PR introduces two derivation plugins: - `qcheck` - `qcheck2` The code and test is duplicated, in the vast majority it's only a renaming to `QCheck` to `QCheck2`...
Add the missing primitives for `bytes` Close #83
Well, Yes, we copied pasted QCheck to QCheck2, but that's be better if we could share few parts of the code. For instance there is the low hanging-fruit `Print` module...
We are missing generators/shrinkers/printers/... for the `bytes` type.
First PR of attempting to tackle https://github.com/c-cube/qcheck/pull/223 in multiple smaller mrs. It should facilitate reviews. Notice that I move code around so `int t` generators are close to each other...