qcheck-alcotest

Alcotest backend for qcheck
Description
Install
test quickcheck qcheck alcotest
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
alcotest
qcheck-core = version
base-unix
base-bytes
dune
Reverse Dependencies
alg_structs_qcheck
base32
bastet
cborl
eris
eris-lwt
inferno >= "20220603"
irmin >= "3.4.0"
logtk >= "1.5.1"
lru >= "0.3.0"
lt-code
osnap >= "0.3.0"
ppx_deriving_qcheck >= "0.2.0"
ppx_pbt >= "0.2.1"
pratter >= "1.2.1"
preface
psq >= "0.1.1"
seqes
stramon-lib
tezos-base >= "11.0" & < "12.0"
tezos-bls12-381-polynomial
tezos-client-011-PtHangz2 < "12.0"
tezos-client-alpha >= "11.0" & < "12.0"
tezos-crypto >= "11.0" & < "12.0"
tezos-lwt-result-stdlib >= "11.0" & < "12.0"
tezos-mockup >= "11.0" & < "12.0"
tezos-plonk = "0.1.3"
tezos-protocol-environment >= "11.0" & < "12.0"
tezos-proxy >= "11.0" & < "12.0"
tezos-requester >= "11.0" & < "12.0"
tezos-rpc-http-server >= "11.0" & < "12.0"
tezos-shell >= "11.0" & < "12.0"
tezos-shell-services-test-helpers < "12.0"
tezos-stdlib >= "11.0" & < "12.0"
tezos-test-helpers < "12.0"
timedesc
timere