Presentation

MLcov is a code coverage tool for Objective Caml programs.
It relies on a source code instrumentation technique which allows
measuring of Modified Condition/Decision Coverage (MC/DC), the criterion
involved in the DO-178B standard to ensure that safety-critical
software is tested adequately.

The tool is available as a patch against the version 3.12.0 of the Objective Caml compiler sources.
It is distributed under the CeCILL-B license and is copyrighted by Esterel Technologies.

Build the tool

In this guide, we assume that the user has access to a UNIX shell providing the wget, patch and make commands.
We also assume that you have OCaml 3.12.0 installed, as it may not build with an other version of OCaml...