Mica Demo

Mica is a PPX extension that automates differential testing for a pair of OCaml modules implementing the same signature. Users annotate module signatures with the directive [@@deriving mica], and at compile-time, Mica derives specialized property-based testing (PBT) code that checks if two modules implementing the signature are observationally equivalent.

For more details about Mica, we refer the reader to our OCaml Workshop '24 paper.

This webapp (statically) displays the code produced by Mica for a few pre-prepared module signature examples.
These examples are taken from our OCaml Workshop paper, and are also available in the ancillary mica_case_studies GitHub repo.
Feel free to contact Ernest Ng with any questions!

Module Signature:

Property-based testing code (produced by Mica automatically):