Valentin Chaboche
Valentin Chaboche
If I understand correctly, the coverage (%) is based on instrumented _and_ visited files during tests' executions. Lets say I have: ``` - src +-- main.ml (10 lines) +-- foo.ml...
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...
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`...
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...
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...
For instance `QCheck2.Genui64` that would be useful to have by default: ```ocaml graft_corners ui64 [0L; 1L; 2L; Int64.max_int] () ``` As we do not have a proper fuzzer, these cases...
Partially close #162 (the optional parameters are not adressed) As QCheck2 is already released, I went with a "deprecated" phase, this can be back ported to QCheck1 as well. The...
We could derive shrinker from the type declaration. However, shouldn't we admit that people wanting shrinkers should migrate to QCheck2 instead? ping @jmid as you mentioned this
Lets say I want to use my own shrinker (e.g. shrink a list from the start to the end), what should I use? My first thought was to use [make_primitive](https://github.com/c-cube/qcheck/blob/master/src/core/QCheck2.mli#L340)...