ZAMCOV: a non-intrusive coverage tool for OCaml, with MC/DC measurement

ZAMCOV Download Documentation Contact Projet Couverture


Latest versions

    • this is an alpha version with a new semantics for MC/DC applied to OCaml.
    • it should be stable in the sense that it shouldn't crash, but it still has a few known bugs.
    • md5sum : 16dc3358d1490624b2e7a8e8ff8612bf
    • Last changes:
      • (fix) dynamic measurement
        • some traces were wrong, they have been removed
      • (fix) post-execution condition coverage measurement
        • condition measurement criteria doesn't depend on MC/DC anymore
      • (improvement) html/css report generation
      • (fixes) misc small fixes
    • Known issues:
      • (bug) tail-calls may consume a lot of memory (will be fixed in the next release)

Previous versions

Free Open-Source Software License

ZAMCOV is a free open-source software, under CeCILL-B free software license agreement (it's a BSD-like license).

download.txt · Last modified: 2013/01/02 18:35 by philippe
Cette page utilise JavaScript. Si ce texte est visible, c'est que JavaScript est indisponible. Certains contenus ne vous sont alors pas accessibles.
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki