qcheck-alcotest
Alcotest backend for qcheck
Description
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 16 Feb 2021
- Authors
- Maintainers
Sources
0.17.tar.gz
md5=605165edc328ae144341a2d73c7fc5fc
sha512=647c1beefba8fce32daac91bd42976ddf2926cff2e78e43ac3afb6e59ec660f0f6e684f5954d6b1fab6d11328690b236e40c30980a22a999c4b826ae2a0dcaea
Dependencies
Reverse Dependencies
inferno
>= "20220603"
irmin
>= "3.4.0"
logtk
>= "1.5.1"
lru
>= "0.3.0"
osnap
>= "0.3.0"
ppx_deriving_qcheck
>= "0.2.0"
ppx_pbt
>= "0.2.1"
pratter
>= "1.2.1"
psq
>= "0.1.1"
tezos-base
>= "11.0" & < "12.0"
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"