qcheck

Compatibility package for qcheck
Description
Install
test property quickcheck
Documentation github.com Changelog License Edit opam file
Published
16 Feb 2021
Authors
Maintainers
Sources
0.17.tar.gz
md5=605165edc328ae144341a2d73c7fc5fc sha512=647c1beefba8fce32daac91bd42976ddf2926cff2e78e43ac3afb6e59ec660f0f6e684f5954d6b1fab6d11328690b236e40c30980a22a999c4b826ae2a0dcaea
Dependencies
ocaml >= "4.03.0"
odoc with-doc
qcheck-ounit = version
qcheck-core = version
base-unix
base-bytes
dune
Reverse Dependencies
alg_structs_qcheck
archsat
base32
bastet
batteries >= "2.7.0" & < "3.0.0"
bencode >= "2.0"
binsec >= "0.4.0"
bt
cborl
clp_operations
containers >= "2.0" & < "2.7" | >= "3.0" & < "3.9"
containers-data < "3.9"
containers-thread < "3.9"
cps_toolbox < "0.3"
dates_calc
dolmen >= "0.7"
eris
eris-lwt
ezgzip
fadbadml >= "0.1.2"
gen >= "0.5.3"
inferno >= "20220603"
iter >= "1.2.1" & < "1.6"
lbvs_consent >= "2.0.0"
lt-code
lua_pattern
lwd
nunchaku >= "0.5.1"
oasis2opam = "0.6.0"
oseq >= "0.3"
osnap < "0.3.0"
ppx_deriving_qcheck < "0.2.0"
ppx_pbt
ppx_regexp >= "0.4.0"
ppx_tyre
pratter >= "1.2.1"
prbnmcn-cgrph
prbnmcn-dagger-test
prbnmcn-stats >= "0.0.2"
qcstm
qtest >= "2.5" & != "2.11"
regenerate
sequence >= "1.0"
spelll >= "0.3"
sqlite3_utils >= "0.3.1"
stdint >= "0.7.1"
stramon-lib
syslog-message >= "1.0.0"
timedesc
timere
tiny_httpd >= "0.7"
typeset < "0.4"
um-abt
Conflicts
ounit < "2.0"