package hegel

  1. Overview
  2. No Docs
Hegel property-based testing library for OCaml

Install 

dune-project
 Dependency

github.com Edit opam file Versions (2)

Authors

  1. H
    Hegel Developers <https://github.com/hegeldev>

Maintainers

  1. E
    Ethan Chou <ethan.chou@antithesis.com>

Sources

hegel-0.9.0-opam.tar.gz
md5=fb39892b688e9ca1ae8c2066ea9e3580
sha512=f3dcc0c8508a56773a2d6df33a3eb32733f19f2030b112b3a8fce504f020ff32c3d4d96e90b4d68af4e9dda1182182939c503139a661311c887cc08fc11284c0

Description

A property-based testing library that communicates with the Hegel engine to enable universal property-based testing from OCaml.

Published: 10 Jul 2026

Dependencies (11)

  1. yojson >= "1.7"
  2. ppx_js_style >= "v0.17"
  3. ocplib-endian >= "1.2"
  4. dune-site >= "3.16"
  5. ipaddr >= "5.0"
  6. ctypes-foreign >= "0.20"
  7. ctypes >= "0.20"
  8. core_unix >= "v0.17"
  9. core >= "v0.17"
  10. ocaml >= "5.1"
  11. dune >= "3.16"

Dev Dependencies (5)

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

Used by (2)

  1. ppx_hegel_generator >= "0.9.0"
  2. ppx_hegel_test >= "0.9.0"

Conflicts

None