ZAMCOV

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

ZAMCOV Download Documentation Contact Projet Couverture

Tools usage tips

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
        echo zamcov-compile "$@" "$prog".ml -o "$prog".exe
        zamcov-compile  "$@" "$prog".ml -o "$prog".exe
        echo zamcov-run -mcdc "$prog".mcdc -trace "$prog".trace "$prog".exe
        zamcov-run -mcdc "$prog".mcdc -trace "$prog".trace "$prog".exe
        echo zamcov-cover -mcdc "$prog".mcdc -trace "$prog".trace "$prog".exe
        zamcov-cover -mcdc "$prog".mcdc -trace "$prog".trace "$prog".exe
        echo open ./coverage_report/index.html
        # open ./coverage_report/index.html                                                
    fi
}
tools_usage_tips.txt · Last modified: 2012/03/19 18:37 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