Provided by: undertaker_1.3b-1.1_amd64
NAME
undertaker-linux-tree - run undertaker on linux tree
SYNOPSIS
undertaker-linux-tree [-m DIR] [-a ARCH] [-t PROCS] [-c]
DESCRIPTION
`undertaker-linux-tree' runs the undertaker a whole linux-tree -m <modeldir> Specify the directory for the models (default: models) -a <arch> Default architecture to check for (default: x86) -t <count> Number of analyzing processes (default: _NPROCESSORS_ONLN) -c Do coverage analysis instead of dead block search
AUTHOR
Written by the VAMOS team <URL:http://vamos.informatik.uni-erlangen.de>
REPORTING BUGS
Report bugs to <vamos-dev@i4.informatik.uni-erlangen.de>.
SEE ALSO
undertaker(1) undertaker-kconfigdump(1), undertaker-linux-tree(1). undertaker-linux-tree undertaker-linux-treDecember 2011 UNDERTAKER-LINUX-TREE(1)