package qcheck-alcotest
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Alcotest backend for qcheck
Install
Dune Dependency
Authors
Maintainers
Sources
v0.25.tar.gz
md5=e1e928bf792c27de5c072f9123eeaec9
sha512=a0b5791cea09f98f1f17221e6289b87a7a1c16ae1c9af0c2e5bd6a170f2cf8727dba0759a7fd932d5d617e8c242562d69187c7e74eefd5262bc5fd75a322699e
Description
Dependencies (5)
-
ocaml
>= "4.08.0"
-
alcotest
>= "1.2.0"
-
qcheck-core
= version
- base-unix
-
dune
>= "2.8.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by (73)
- alg_structs_qcheck
- base32
- bastet
-
bls12-381
>= "18.0"
- cborl
-
docfd
>= "2.2.0"
-
inferno
>= "20220603"
-
irmin
>= "3.4.0"
-
irmin-test
>= "3.9.0"
-
lockfree
>= "0.3.1"
- logtk
-
lru
>= "0.3.0"
- lt-code
- obatcher
- octez-bls12-381-polynomial
- octez-l2-libs
- octez-libs
- octez-plonk
- octez-proto-libs
-
octez-protocol-017-PtNairob-libs
< "20.1"
- octez-protocol-018-Proxford-libs
- octez-protocol-019-PtParisB-libs
- octez-protocol-020-PsParisC-libs
- octez-protocol-alpha-libs
- octez-shell-libs
- ometrics
-
ppx_deriving_qcheck
= "0.2.0" | >= "0.6"
-
ppx_pbt
>= "0.2.1"
-
pratter
>= "1.2.1"
-
prbnmcn-dagger-test
>= "0.0.2"
-
preface
!= "1.0.0"
-
psq
>= "0.1.1"
- saturn
- saturn_lockfree
- seqes
- stramon-lib
- term-indexing
- term-tools
-
tezos-base
>= "16.0"
-
tezos-base-test-helpers
>= "16.0"
- tezos-bls12-381-polynomial
-
tezos-client-011-PtHangz2
< "17.3"
-
tezos-client-012-Psithaca
< "17.3"
-
tezos-client-013-PtJakart
< "17.3"
-
tezos-client-014-PtKathma
< "17.3"
-
tezos-client-015-PtLimaPt
< "17.3"
- tezos-client-016-PtMumbai
- tezos-client-017-PtNairob
- tezos-client-alpha
-
tezos-context
>= "16.0"
-
tezos-crypto
>= "16.0"
- tezos-crypto-dal
- tezos-hacl
- tezos-layer2-store
-
tezos-lwt-result-stdlib
>= "16.0"
- tezos-mockup
-
tezos-plonk
= "0.1.3"
- tezos-protocol-environment
- tezos-proxy
- tezos-proxy-server-config
-
tezos-requester
>= "16.0"
-
tezos-rpc-http-server
>= "16.0"
-
tezos-scoru-wasm-helpers
< "17.3"
-
tezos-shell-services-test-helpers
>= "16.0"
-
tezos-stdlib
>= "16.0"
-
tezos-stdlib-unix
>= "17.3"
- tezos-test-helpers
- timedesc
- timere
-
yocaml
>= "2.0.0"
-
yocaml_syndication
>= "2.0.0"
-
yuujinchou
= "2.0.0"
- zar
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page