qcheck-alcotest

Alcotest backend for qcheck
Description
Install
Published
07 Nov 2022
Authors
Maintainers
Sources
v0.20.tar.gz
md5=413d7ca480a6aa6fb9061159d6f07103 sha512=1fb178bee5353b870fe55e5c5379982345c2e1b7f417733be4168e8a58d448d26464d73f8a4470655ddea2701a2a44bc5b08b0de422c0f88f229d8a1ed9c3e87
Dependencies
ocaml >= "4.08.0"
odoc with-doc
alcotest >= "0.8.1"
qcheck-core = version
dune >= "2.2"
Reverse Dependencies
inferno >= "20220603"
irmin >= "3.4.0"
lockfree >= "0.3.0"
logtk >= "1.5.1"
lru >= "0.3.0"
ppx_pbt >= "0.2.1"
pratter >= "1.2.1"
psq >= "0.1.1"
tezos-base >= "11.0" & < "12.0" | >= "13.0"
tezos-client-011-PtHangz2 < "12.0" | >= "13.0"
tezos-client-alpha >= "11.0" & < "12.0" | >= "13.0"
tezos-context >= "13.0"
tezos-crypto >= "11.0" & < "12.0" | >= "13.0"
tezos-lwt-result-stdlib >= "11.0" & < "12.0" | >= "13.0"
tezos-mockup >= "11.0" & < "12.0" | >= "13.0"
tezos-plonk = "0.1.3"
tezos-protocol-environment >= "11.0" & < "12.0" | >= "13.0"
tezos-proxy >= "11.0" & < "12.0" | >= "13.0"
tezos-requester >= "11.0" & < "12.0" | >= "13.0"
tezos-rpc-http-server >= "11.0" & < "12.0" | >= "13.0"
tezos-shell >= "11.0" & < "12.0"
tezos-stdlib >= "11.0" & < "12.0" | >= "13.0"
yuujinchou = "2.0.0"