undertaker-linux-tree(1)

undertaker-linux-tree1

Run undertaker on linux tree

Usage

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

Overview

`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

Releases

Unchanged in 4 releases since Debian 7 (Wheezy).

  1. 7–10

Author

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

Reporting bugs

Report bugs to <[email protected]>.

From undertaker 1.6.1-4.2+b1 in Debian 10 (Buster). Parsed by carta from the page's man source.