====== Download ====== ===== Latest versions ===== * [[http://www.algo-prog.info/zamcov/distribution/zamcov-2.0.alpha.tar.gz|Zamcov 2.0 alpha (2012-09-07)]] * 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. * [[http://caml.inria.fr/pub/distrib/ocaml-3.12/ocaml-3.12.0.tar.gz|ocaml-3.12.0]] * [[http://www.algo-prog.info/zamcov/distribution/zamcov-1.0.tar.gz|Zamcov 1.0 (2012-03-13)]] * md5sum : 16dc3358d1490624b2e7a8e8ff8612bf * works with [[http://caml.inria.fr/pub/distrib/ocaml-3.12/ocaml-3.12.0.tar.gz|OCaml 3.12.0 (link to tarball)]] * 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 ===== * [[http://www.algo-prog.info/zamcov/distribution/zamcov-0.9.tar.gz|Zamcov 0.9 (2010-10-27)]] * [[http://www.algo-prog.info/zamcov/distribution/zamcov-0.5.tar.gz|Zamcov 0.5 (2010-06-11)]] ====== Free Open-Source Software License ====== ZAMCOV is a free open-source software, under [[http://www.cecill.info/licences/Licence_CeCILL-B_V1-en.html|CeCILL-B free software license agreement]] (it's a BSD-like license).