Alcotest backend for qcheck
Description
Install
test quickcheck qcheck alcotest
Documentation github.com Changelog BSD-2-Clause License Edit opam file
Last 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
base-unix
base-bytes
dune >= "2.2"
Reverse Dependencies
alg_structs_qcheck
base32
bastet
cborl
eris
eris-lwt
inferno >= "20220603"
irmin >= "3.4.0"
lockfree >= "0.3.0"
logtk >= "1.5.1"
lru >= "0.3.0"
lt-code
ometrics
ppx_deriving_qcheck >= "0.2.0"
ppx_pbt >= "0.2.1"
pratter >= "1.2.1"
prbnmcn-dagger-test >= "0.0.2"
preface
psq >= "0.1.1"
seqes
stramon-lib
tezos-012-Psithaca-test-helpers >= "14.0"
tezos-013-PtJakart-test-helpers
tezos-014-PtKathma-test-helpers
tezos-alpha-test-helpers >= "14.0"
tezos-base >= "11.0" & < "12.0" | >= "13.0"
tezos-base-test-helpers >= "13.0"
tezos-bls12-381-polynomial
tezos-client-011-PtHangz2 < "12.0" | >= "13.0"
tezos-client-012-Psithaca >= "13.0"
tezos-client-013-PtJakart
tezos-client-014-PtKathma
tezos-client-015-PtLimaPt
tezos-client-alpha >= "11.0" & < "12.0" | >= "13.0"
tezos-context >= "13.0"
tezos-crypto >= "11.0" & < "12.0" | >= "13.0"
tezos-crypto-dal
tezos-hacl
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-protocol-plugin-012-Psithaca-tests
tezos-protocol-plugin-013-PtJakart-tests
tezos-protocol-plugin-alpha-tests
tezos-proxy >= "11.0" & < "12.0" | >= "13.0"
tezos-proxy-server-config
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-shell-services-test-helpers < "12.0" | >= "13.0"
tezos-stdlib >= "11.0" & < "12.0" | >= "13.0"
tezos-test-helpers
tezos-webassembly-interpreter < "15.0"
timedesc
timere
weevil
yuujinchou = "2.0.0"