QuickCheck inspired property-based testing for OCaml. - View it on GitHub