qcheck-alcotest

Alcotest backend for qcheck
Description
Install
Published
07 Nov 2022
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"
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"