package hegel

Build not yet checked
  1. Overview
  2. No Docs
Hegel property-based testing library for OCaml

Install

dune-project
 Dependency

Authors

Maintainers

Sources

hegel-0.27.1-opam.tar.gz
md5=cf387496eefd95ec851a2b9d9db492d9
sha512=47f88815f972eb85c0b0db69159815f5c45418d9a2101688d1609e19cc788f09291d72285e057159ed47e7162d817cac0ce446d4631c86304774c0bf514bc4c6

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)

  1. ppxlib >= "0.28"
  2. ppx_js_style >= "v0.17"
  3. ocplib-endian >= "1.2"
  4. dune-site >= "3.16"
  5. cmdliner >= "1.1.0"
  6. ipaddr >= "5.0"
  7. ctypes-foreign >= "0.20"
  8. ctypes >= "0.20"
  9. sexplib0 >= "v0.17"
  10. ocaml >= "5.1"
  11. cppo build
  12. dune >= "3.16"

Dev Dependencies (7)

  1. odoc with-doc
  2. ocamlformat with-dev-setup & = "0.29.0"
  3. bisect_ppx with-dev-setup & >= "2.8"
  4. re with-test & >= "1.12"
  5. ppx_expect with-test & >= "v0.17"
  6. core_unix with-test & >= "v0.17"
  7. alcotest with-test & >= "1.7"

Optional Dependencies (4)

  1. ppx_template
  2. concurrent
  3. async
  4. core >= "v0.17"

Used by (3)

  1. opentelemetry >= "0.92"
  2. ppx_hegel_generator >= "0.27.1"
  3. ppx_hegel_test >= "0.27.1"

Conflicts

None

Build status

Results of building hegel with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. 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.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
0.26.6 n/a n/a good good good
  • 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