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.
About Haskell's QuickCheck Library: http://www.haskell.org/haskellwiki/Introduction_to_QuickCheck
You will need lasted OCaml release installed: http://caml.inria.fr/ocaml/release.en.html
Follow these steps to "check" a program (in the example below, from the file "property.ml"):
$ ocamlc -w a -o result BoundedCheck.ml property.ml
$ ./result
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.