package hegel
Build not yet checked sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Hegel property-based testing library for OCaml
Install
dune-project
Dependency
Authors
Maintainers
Sources
hegel-0.26.6-opam.tar.gz
md5=57ad86bc3b7a7af36b6e3c939b0af69d
sha512=ea9b9f0ff837a4a9a2e238d5469bb478eba9f5d1fe0a029033bd65e5772921dc9c4cc2f1cce3698e366ea449d8d1d58fceddd8e8fd388485b36a5fa53d256a4e
Description
A property-based testing library that communicates with the Hegel engine to enable universal property-based testing from OCaml.
Added to opam-repository:
Dependencies (12)
-
ppxlib
>= "0.28" -
ppx_js_style
>= "v0.17" -
ocplib-endian
>= "1.2" -
dune-site
>= "3.16" -
cmdliner
>= "1.1.0" -
ipaddr
>= "5.0" -
ctypes-foreign
>= "0.20" -
ctypes
>= "0.20" -
sexplib0
>= "v0.17" -
ocaml
>= "5.1" -
cppo
build -
dune
>= "3.16"
Dev Dependencies (7)
-
odoc
with-doc -
ocamlformat
with-dev-setup & = "0.29.0" -
bisect_ppx
with-dev-setup & >= "2.8" -
re
with-test & >= "1.12" -
ppx_expect
with-test & >= "v0.17" -
core_unix
with-test & >= "v0.17" -
alcotest
with-test & >= "1.7"
Optional Dependencies (4)
- ppx_template
- concurrent
- async
-
core
>= "v0.17"
Used by (3)
-
opentelemetry
>= "0.92" -
ppx_hegel_generator
>= "0.26.6" -
ppx_hegel_test
>= "0.26.6"
Conflicts
None
Build status
Results of building hegel with each compiler on check.ci.ocaml.org, run of against opam-repository 7cdc698. All results for this package.
Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.
This version is not in the latest run; the versions below are.
- good Package successfully built
- partial One of the dependencies failed to build
- bad Package failed to build
- n/a Package is not available in this environment
- internal Internal failure
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page