qcheck-core

Core qcheck library
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
base-unix
base-bytes
dune
Reverse Dependencies
containers >= "3.9"
containers-data >= "3.9"
containers-thread >= "3.9"
goblint >= "1.1.1"
iter >= "1.6"
logtk >= "1.5.1"
lru >= "0.3.0"
osnap >= "0.3.0"
preface
psq >= "0.1.1"
qcheck >= "0.9" & < "0.11" | = "0.17"
qcheck-alcotest = "0.17"
qcheck-ounit = "0.17"
tezos-shell-services-test-helpers < "12.0" | >= "13.0"
tezos-webassembly-interpreter < "15.0"
Conflicts
ounit < "2.0"