http://www.algo-prog.info/zamcov/web/ 2012-05-19T03:03:22+02:00 http://www.algo-prog.info/zamcov/web/ http://www.algo-prog.info/zamcov/web/lib/tpl/default/images/favicon.ico text/html 2012-04-23T19:45:00+02:00 philippe http://www.algo-prog.info/zamcov/web/index.php?id=documentation&rev=1335203100&do=diff How to build the tools For version 1.0: wget http://www.algo-prog.info/zamcov/distribution/zamcov-1.0.tar.gz tar xzf zamcov-1.0.tar.gz cd zamcov-1.0 edit config.mk # if default options don't suit you wget http://caml.inria.fr/pub/distrib/ocaml-3.12/ocaml-3.12.0.tar.gz make # sudo make install # this depends on where you install zamcov Three binaries are generated: text/html 2012-04-23T19:43:47+02:00 philippe http://www.algo-prog.info/zamcov/web/index.php?id=download&rev=1335203027&do=diff Latest versions * Zamcov 1.0 (2012-03-13) * md5sum : 16dc3358d1490624b2e7a8e8ff8612bf * works with 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 text/html 2012-03-19T18:37:46+02:00 philippe http://www.algo-prog.info/zamcov/web/index.php?id=tools_usage_tips&rev=1332178666&do=diff Here is a bash function that I use in my ~/.profile to rapid-test a program. function zamcov-complete-test () { if [[ $# -le 0 ]] then local prog='$prog' echo zamcov-compile "$prog".ml -o "$prog".exe echo zamcov-run -mcdc "$prog".mcdc -trace "$prog".trace "$prog".exe echo zamcov-cover -mcdc "$prog".mcdc -trace "$prog".trace "$prog".exe echo open ./coverage_report/index.html else local prog="$(sed -e 's/.ml$//g'<<<"$1")" shift…