Syntax extension for writing property based tests in OCaml code using properties
and generators abstraction.
Property based tests are written using QCheck OCaml library

Documentation

Documentation can be found here.

Test your program with ppx_pbt

ppx_pbt can be integrated to your dune project with the following example:

(library
  (name foo)
  (libraries ppx_pbt)
  (inline_tests)
  (preprocess (pps ppx_pbt)))

dune build will ignore the attributes attached to your OCaml files.
dune runtest will inline and execute QCheck property based tests.