.\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.40.4.
.TH UNDERTAKER-LINUX-TREE "1" "December 2011" "undertaker-linux-tree undertaker-linux-tree" "User Commands"
.SH NAME
undertaker-linux-tree \- run undertaker on linux tree
.SH SYNOPSIS
.B undertaker-linux-tree
[\fI-m DIR\fR] [\fI-a ARCH\fR] [\fI-t PROCS\fR] [\fI-c\fR]
.SH DESCRIPTION
`undertaker\-linux\-tree' runs the undertaker a whole linux\-tree
.TP
\fB\-m\fR <modeldir>
Specify the directory for the models
.IP
(default: models)
.TP
\fB\-a\fR <arch>
Default architecture to check for
.IP
(default: x86)
.TP
\fB\-t\fR <count>
Number of analyzing processes
.IP
(default: _NPROCESSORS_ONLN)
.TP
\fB\-c\fR
Do coverage analysis instead of dead block search
.SH AUTHOR
Written by the VAMOS team <URL:http://vamos.informatik.uni\-erlangen.de>
.SH "REPORTING BUGS"
Report bugs to <vamos\-dev@i4.informatik.uni\-erlangen.de>.
.SH "SEE ALSO"
\fIundertaker\fP(1) \fIundertaker-kconfigdump\fP(1), \fIundertaker-linux-tree\fP(1).