Abstract Kaputt is a unit testing tool for the Objective Caml language. Kaputt features two kinds of tests:
* assertion-based tests, inspired by the xUnit tools;
* specification-based tests, inspired by the QuickCheck tool.
When writing assertion-based tests, the developer encodes input values and checks that output values satisfy given assertions. When writing specification-based tests, the developer encodes the specification of the tested function and then requests the library to generate random values to be tested against the specification.
Help wanted In order to improve the project, I am primarily looking for testers and bug reporters. Pointing errors in documentation and indicating where it should be enhanced is also very helpful.
