package qcheck-core
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Core QCheck library
Install
Dune Dependency
Authors
Maintainers
Sources
v0.26.tar.gz
md5=3eba3b3b47ccfa48afd1ce7dbdd463f7
sha512=6f4749df32629b2a64034f7a8d07079b8d3d628cc402c52bbdbd7e287ca20adf8e8133f91d79e75d8402100715a1138d62904b2d9c1d1595602d5206e0862305
Description
QCheck is a QuickCheck inspired property-based testing library for OCaml.
The qcheck-core
library provides the core property-based testing API with
minimal dependendies: It requires only unix
and dune
.
Used by (41)
- algaeff
-
bare_encoding
>= "0.3.1"
-
bwd
>= "1.2.0"
- colibri2
-
containers-data
>= "3.9"
-
containers-thread
>= "3.9"
-
domainslib
>= "0.5.1"
-
fast_bitvector
>= "0.1.2.2"
- fungi
-
goblint
< "2.0.0"
-
hacl-star
>= "0.7.0"
-
iter
>= "1.6"
-
kcas_data
>= "0.7.0"
- logtk
-
lru
>= "0.3.0"
-
moonpool
>= "0.3"
- octez-libs
- octez-shell-libs
-
ortac-qcheck-stm
< "0.6.1"
-
osnap
>= "0.3.0"
- patricia-tree
-
picos
< "0.5.0"
- picos_meta
- ppx_deriving_qcheck
-
preface
>= "1.1.0"
-
psq
>= "0.1.1"
-
qcheck
>= "0.26"
-
qcheck-alcotest
>= "0.26"
- qcheck-lin
- qcheck-multicoretests-util
-
qcheck-ounit
>= "0.26"
- qcheck-stm
-
saturn
>= "1.0.0"
-
saturn_lockfree
>= "0.5.0"
- sqids
- term-indexing
- term-tools
-
tezos-proxy
>= "17.3"
-
tezos-shell-services-test-helpers
>= "16.0"
-
tiny_httpd
>= "0.13"
-
yuujinchou
>= "3.0.0"
Conflicts (1)
-
ounit
< "2.0"
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page