package qcheck-alcotest
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Alcotest backend for QCheck
Install
dune-project
Dependency
Authors
Maintainers
Sources
v0.90.tar.gz
md5=53cde85bd3f0431faeddeae493f32d9d
sha512=552871a95bcf27a81cd518a4aefc60ac0f08ef73c8e115f199952707b88ab20f7ecb762abb835a196c1adb7b948447e487daa0efbf6a39ee64bfcee0264f189f
Description
QCheck is a QuickCheck inspired property-based testing library for OCaml.
The qcheck-alcotest library provides an integration layer for QCheck onto
https://github.com/mirage/alcotest[alcotest], allowing to run property-based
tests in alcotest.
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 (76)
- alg_structs_qcheck
- avro-simple
- base32
- bastet
-
bls12-381
>= "18.0" - cborl
-
docfd
>= "2.2.0" - fungi
-
inferno
>= "20220603" -
irmin
>= "3.5.2" -
irmin-test
>= "3.10.0" -
lockfree
>= "0.3.1" - logtk
-
lru
>= "0.3.0" - lt-code
- mel-bastet
- 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
-
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