Skip to content

lib_mockup: use QCheck instead of Crowbar

Valentin Chaboche requested to merge nomadic-labs/tezos:vchaboche@qcheck-lib_mockup-opam into master

Context

This MR changes the implementation of lib_mockup/test, so that it uses qcheck instead of crowbar (introduced in this MR).
Part of #1208 (closed)

This a pretty small MR, the only tricky change is bytes gen into string, but Crowbar.bytes was a string generator

Manually testing the MR

Execute dune build @src/lib_mockup/test/runtest

Checklist

  • Provide automatic testing (see the testing guide).
  • Use an -opam branch because this changes a dune file and opam file (build)

Merge request reports