qcheck-alcotest

Alcotest backend for qcheck
Description
Install
Published
08 Jul 2022
Sources
v0.19.tar.gz
md5=6913306eb3065da1dee749d67732cb01
sha512=ab77384e64887c4c88d6e641f433709a83bafc7cd2d05d548fdfee3593beb3bc5c4345db03e324e033ecd4fd2ae600fa92cea3e5753d5e322d13a01ba787eeb6
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"
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"