This milestone gathers all efforts related to improving the QCheck tool used for Property Based Testing (PBT) for Octez.

This is a part of the overall Test effort of Tezos.

QCheck improvements (on QCheck repo)

These issues can't be linked in this milestone (Gitlab limitations)

• Provide a check_eq function a la Alcotest or Crowbar
• Improve error messages in test failures
• Give up or repeat during generation
• Provide more generators for int64
• Mix-and-match of map and map_keep_input to be able to combine arbitraries
• More generic heterogeneous combinators a la Crowbar.map. Maybe one can use QCheck.Tuple for such matters?
• Use the richer Format.asprintf syntax rather than the basic 'a -> string printer type