undertaker-linux-tree(1) 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]>.