====== Tools usage tips ======


Here is a bash function that I use in my ''~/.profile'' to rapid-test a program. 
<code bash>
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
}
</code>