qcheck-core

Core qcheck library
Description
Install
test property quickcheck
Documentation github.com Changelog BSD-2-Clause License Edit opam file
Published
07 Nov 2022
Authors
Maintainers
Sources
v0.20.tar.gz
md5=413d7ca480a6aa6fb9061159d6f07103 sha512=1fb178bee5353b870fe55e5c5379982345c2e1b7f417733be4168e8a58d448d26464d73f8a4470655ddea2701a2a44bc5b08b0de422c0f88f229d8a1ed9c3e87
Dependencies
ocaml >= "4.08.0"
odoc with-doc
alcotest with-test
base-unix
base-bytes
dune >= "2.2"
Reverse Dependencies
algaeff
bwd >= "1.2.0"
colibri2
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 >= "1.0.0"
psq >= "0.1.1"
qcheck >= "0.9" & < "0.11" | >= "0.20"
qcheck-alcotest >= "0.20"
qcheck-lin
qcheck-multicoretests-util
qcheck-ounit >= "0.20"
qcheck-stm
tezos-shell-services-test-helpers < "12.0" | >= "13.0"
tezos-webassembly-interpreter < "15.0"
yuujinchou >= "3.0.0"
Conflicts
ounit < "2.0"