lenguyenthedat/bounded-checking-in-ocaml
An OCAML’s Bounded Check library for testing OCAML programs efficiently and automatically. This implementation is a part of my MSc's final year project at the University of Oxford.
OCaml
No issues in this repository yet.