package hegel

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

Install 

dune-project
 Dependency

github.com Edit opam file Versions (14)

Authors

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

Maintainers

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

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)

  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"

Used by (3)

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

Conflicts

None