ppx_pbt

PPX Rewriter for property based testing
README

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.

Install
Published
05 Aug 2021
Sources
ppx_pbt-v0.2.1.tar.gz
md5=2bf1733eaca646a1fd0eac136e934df0
sha512=f75f0bb4bb8feff8f7904377ad078b2c52295065c69263cd905fb2cbf0dd73c728efd2f16bdf26bf203687969a5e08d32d1edc3adc8a9d15e58fdd851eeec8d8
Dependencies
zarith
>= "1.12"
qcheck
>= "0.17"
ocaml
>= "4.10.2" & < "4.14"
menhir
>= "20210419"
dune
>= "2.8.0"
Reverse Dependencies