package qcheck-core
Core qcheck library
Install
Dune Dependency
Authors
Maintainers
Sources
0.13.tar.gz
md5=134c6b4ffc90076eef3041dbc01181f1
sha512=eab2f5a4ef79d061c2c708ea481b735f106752b1c7797b61d5d3c11e5003e57c103b0e3260e2797521d4faa6f4d9d6ce343b499d032fd65fd1bba4a94ab996eb
Description
Dependencies (4)
-
ocaml
>= "4.03.0"
- base-unix
- base-bytes
- dune
Dev Dependencies (1)
-
odoc
with-doc
Used by (16)
-
fast_bitvector
>= "0.1.2.2"
- fungi
-
goblint
< "2.2.1"
-
iter
>= "1.6"
- logtk
-
lru
>= "0.3.0"
- octez-libs
- octez-shell-libs
-
ortac-qcheck-stm
< "0.6.1"
-
preface
< "1.0.0"
-
psq
>= "0.1.1"
-
qcheck
= "0.13"
-
qcheck-ounit
< "0.17"
-
tezos-proxy
>= "17.3"
-
tezos-shell-services-test-helpers
>= "16.0"
-
tiny_httpd
>= "0.13"
Conflicts (1)
-
ounit
< "2.0"
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page