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 <[email protected]>.
SEE ALSO
undertaker(1) undertaker-kconfigdump(1), undertaker-linux-tree(1).