Jan Midtgaard
Jan Midtgaard
Consider the following Wasm module with two mutually recursive functions: ``` (module (type $0 (func (result i32))) (type $1 (func (result i32))) (func $0 (type 0) (call 1) ) (func...
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...
We are missing generators/shrinkers/printers/... for the `bytes` type.
As part of #235 I was reminded of the following - which we should address and track separately: The duplicate `0` testing of the improved `int` shrinker is unsatisfying, but...
When trying to align the QCheck and QCheck2 expect test suites I noticed a couple of missing tests in QCheck2. It would be nice to add to QCheck2 the convenience...
With `QCheck2` still not yet released (and still being tested) we have a brief opportunity to discuss the design of its `Gen` combinators. **Optional parameters** --------------------------------- We have had problems...
Consider this `max_fail` example from the documentation https://c-cube.github.io/qcheck/0.18/qcheck-core/QCheck/index.html (which says "The 15 smallest counter-example lists will be printed" 😉): With QCheck 0.17 three counterexamples are printed as expected: ```ocaml utop...
I just noticed something about the deprecated `Gen.small_int`... First of all: - It is aliased to `Gen.small_nat` - It is marked with a note concerning backwards compatibility: https://github.com/c-cube/qcheck/blob/b065a81661d312fc7bbdbf95fb24229d71991a10/src/core/QCheck.ml#L184-L186 Unfortunately `Gen.small_nat`...
This PR updates the `QCheck2.Gen.small_string` to match the interface and documentation following my finding in #153: ```ocaml val small_string : ?gen:char t -> string t (** Builds a string generator,...