undertaker-linux-tree (1)

undertaker-linux-tree [-m DIR] [-a ARCH] [-t PROCS] [-c]

`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

Written by the VAMOS team <URL:http://vamos.informatik.uni-erlangen.de>

Report bugs to <[email protected]>.

undertaker(1) undertaker-kconfigdump(1), undertaker-linux-tree(1).