package qcheck-core
Core qcheck library
Install
Dune Dependency
Authors
Maintainers
Sources
0.17.tar.gz
md5=605165edc328ae144341a2d73c7fc5fc
sha512=647c1beefba8fce32daac91bd42976ddf2926cff2e78e43ac3afb6e59ec660f0f6e684f5954d6b1fab6d11328690b236e40c30980a22a999c4b826ae2a0dcaea
Description
Dependencies (4)
-
ocaml
>= "4.03.0" - base-unix
- base-bytes
- dune
Dev Dependencies (1)
-
odoc
with-doc
Used by (20)
-
containers
>= "3.9" & < "3.13" -
containers-data
>= "3.9" & < "3.13" -
containers-thread
>= "3.9" -
fast_bitvector
>= "0.1.2.2" - fungi
-
goblint
< "2.2.1" -
iter
>= "1.6" - logtk
-
lru
>= "0.3.0" - octez-libs
- octez-shell-libs
-
ortac-qcheck-stm
< "0.6.1" -
osnap
>= "0.3.0" -
preface
< "1.0.0" -
psq
>= "0.1.1" -
qcheck
= "0.17" -
qcheck-ounit
= "0.17" -
tezos-proxy
>= "17.3" -
tezos-shell-services-test-helpers
>= "16.0" -
tiny_httpd
>= "0.13"
Conflicts (1)
-
ounit
< "2.0"