prbnmcn-proptest

Property-based test helpers for prbnmcn packages
README

Property-based testing for some structures defined in the prbnmcn-basic-structures package.
This package is meant to help testing other prbnmcn-* packages.

Install
Published
23 Aug 2021
Sources
0.0.1.tar.gz
md5=4160cc9b984a44befbff68077db66fb7
sha512=7dfe58a4bf3d275ac46f3cb414f298a635886dae76427ecbfc944675e971b73fda9f89dec42342b263d386d3008b1ad4d4b339b720008c7c3bb5b71ea6a898ae
Dependencies
odoc
with-doc
zarith
>= "1.12"
crowbar
>= "0.2"
ocaml
>= "4.12.0"
dune
>= "2.8"
Reverse Dependencies