Release Notes: A new 'Mock' module provides a means of recording calls made to a function. A new preprocessor allows you to store tests in separate '.mlt' files. Support for specification of partial functions (i.e. raising exceptions) has been added. The codebase has been updated for OCaml 4.00.0. Bugs in bigarray and nums support were fixed.
Release Notes: Updates were made for Objective Caml 3.12.0. A new, ocamlbuild-based build system was added. Assertion builders were added for data containers. Generators were added for functions (both total and partial). Enumerators were added for file contents (chars, bytes, lines, and marshalled values). Additional shell commands and the possibility to configure shell syntax were added. Big array and big num support was enhanced. A possible non-termination on unsatisfiable precondition was fixed. Reduction was implemented to try to produce smaller counterexamples. An unportable use of "which" was fixed. Failure of tests on 64-bit platforms was fixed.
Release Notes: This release has switched to OCaml 3.11.1. It has support for enumeration-based tests, a new output mode (JUnit-compatible XML), some added tests, support for ocamlfind installation, and minor code refactoring and improvements. Bug #45, better handling of dependencies to 'bigarray' and 'num', has been addressed.
Release Notes: 'Assert.assert_xyz' functions have been renamed to 'Assert.xyz' (old functions are temporary kept as 'deprecated'). There is support for Big_int, Num, Map, Set, Hashtbl, Queue, Stack, Weak, and Bigarray, support for shell-based tests, and new output modes (HTML, XML, and CSV).