QuickCheck inspired property-based testing for OCaml.
Description

This module allows to check invariants (properties of some types) over randomly generated instances of the type. It provides combinators for generating instances and printing them.

Install
test property quickcheck
Documentation github.com Edit opam file
Last Published
21 Aug 2017
Authors
Maintainers
Sources
0.7.tar.gz
md5=ca3c7d24200a8ca7e4390f1145eae3a9
Dependencies
ocamlbuild build
ounit
base-unix
base-bytes
ocamlfind
ocaml >= "4.00.0" & < "5.0.0"
Reverse Dependencies
base32
batteries >= "2.7.0" & < "3.4.0"
bencode >= "2.0"
binsec >= "0.4.0"
bt
cborl
clp_operations
containers >= "2.8" & < "3.8"
containers-data < "3.9"
containers-thread < "3.9"
dolmen >= "0.7"
eris
eris-lwt
ezgzip
fadbadml >= "0.1.2"
gen >= "0.5.1"
inferno >= "20220603"
iter < "1.6"
lbvs_consent
lt-code
lua_pattern
lwd
lwt-pipe
nunchaku >= "0.5.1"
oasis2opam = "0.6.0"
olinq >= "0.3"
oseq >= "0.3"
ppx_regexp >= "0.4.0"
ppx_tyre
pratter >= "1.2.1"
prbnmcn-cgrph
qtest >= "2.5" & < "2.11.1"
regenerate
sequence >= "1.0"
spelll >= "0.3"
sqlite3_utils
stdint >= "0.7.1"
stramon-lib
syslog-message >= "1.0.0"
timedesc
timere
tiny_httpd >= "0.3" & < "0.7"
Conflicts
ounit < "2.0"