Skip to content
forked from ocaml-gospel/ortac

Runtime assertion checking based on Gospel specifications

License

Notifications You must be signed in to change notification settings

n-osborne/ortac

 
 

Repository files navigation

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

About

Runtime assertion checking based on Gospel specifications

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • OCaml 99.9%
  • Standard ML 0.1%