package qcheck-core
Core qcheck library
Install
Dune Dependency
Authors
Maintainers
Sources
0.13.tar.gz
md5=134c6b4ffc90076eef3041dbc01181f1
sha512=eab2f5a4ef79d061c2c708ea481b735f106752b1c7797b61d5d3c11e5003e57c103b0e3260e2797521d4faa6f4d9d6ce343b499d032fd65fd1bba4a94ab996eb
Description
Dependencies (4)
-
ocaml
>= "4.03.0" - base-unix
- base-bytes
- dune
Dev Dependencies (1)
-
odoc
with-doc
Used by (16)
-
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" -
preface
< "1.0.0" -
psq
>= "0.1.1" -
qcheck
= "0.13" -
qcheck-ounit
< "0.17" -
tezos-proxy
>= "17.3" -
tezos-shell-services-test-helpers
>= "16.0" -
tiny_httpd
>= "0.13"
Conflicts (1)
-
ounit
< "2.0"