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
Sources
ppx_pbt-v0.2.1.tar.gz
md5=2bf1733eaca646a1fd0eac136e934df0
sha512=f75f0bb4bb8feff8f7904377ad078b2c52295065c69263cd905fb2cbf0dd73c728efd2f16bdf26bf203687969a5e08d32d1edc3adc8a9d15e58fdd851eeec8d8
Dependencies
ppx_deriving
>= "5.0"
ppx_deriving_qcheck
>= "0.1"
qcheck-alcotest
>= "0.17"
zarith
>= "1.12"
data-encoding
>= "0.4"
qcheck
>= "0.17"
ocaml
>= "4.10.2" & < "4.14"
menhir
>= "20210419"
dune
>= "2.8.0"
Reverse Dependencies