Skip to content

Latest commit

 

History

History
11 lines (8 loc) · 281 Bytes

README.md

File metadata and controls

11 lines (8 loc) · 281 Bytes

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