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.25.tar.gz
md5=e1e928bf792c27de5c072f9123eeaec9
sha512=a0b5791cea09f98f1f17221e6289b87a7a1c16ae1c9af0c2e5bd6a170f2cf8727dba0759a7fd932d5d617e8c242562d69187c7e74eefd5262bc5fd75a322699e
Description
Used by (41)
- algaeff
-
bare_encoding
>= "0.3.1" -
bwd
>= "1.2.0" - colibri2
-
containers
>= "3.9" -
containers-data
>= "3.9" -
containers-thread
>= "3.9" -
domainslib
>= "0.5.1" - fungi
- goblint
-
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.4.0" -
osnap
>= "0.3.0" - patricia-tree
-
picos
< "0.5.0" - picos_meta
-
ppx_deriving_qcheck
>= "0.6" -
preface
>= "1.1.0" -
psq
>= "0.1.1" -
qcheck
>= "0.25" -
qcheck-alcotest
>= "0.25" - qcheck-lin
- qcheck-multicoretests-util
-
qcheck-ounit
>= "0.25" - 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"