pascutto / ortac

Runtime assertion checking based on Gospel specifications

ortac - OCaml Runtime Assertion Checking.

Disclamer: This project is still experimental. No support will be provided at this point, and its behaviour is still unstable.

Installation

opam pin add -y https://github.com/ocaml-gospel/ortac.git
opam install ortac