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!