package hegel

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

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

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

Maintainers

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

Sources

hegel-0.8.0-opam.tar.gz
md5=d9ec174b148ddf3a1b9b3173280adea9
sha512=d17f865aaffd61f2a07c45816e09e11443f770fc78977830fa42e134c0588062ede5cb0e9dac8e06f21b575a0b624c4e312a07e3879306abb6fbbcdc9026ebce

Description

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

Published: 06 Jul 2026

Dependencies (10)

  1. yojson >= "1.7"
  2. ppx_js_style >= "v0.17"
  3. ocplib-endian >= "1.2"
  4. dune-site >= "3.16"
  5. ctypes-foreign >= "0.20"
  6. ctypes >= "0.20"
  7. core_unix >= "0.17"
  8. core >= "0.17"
  9. ocaml >= "5.1"
  10. 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"

Conflicts

None