OCaml logo

qcheck

Compatibility package for qcheck
Description
Install
https://github.com/c-cube/qcheck/
test property quickcheck
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"
ezgzip
fadbadml 
>= "0.1.2"
gen 
>= "0.5.3"
inferno 
>= "20220603"
iter 
>= "1.2.1"
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"
syslog-message 
>= "1.0.0"
timedesc
timere
tiny_httpd 
>= "0.7"
typeset 
< "0.4"
um-abt