Scroll to navigation
UNDERTAKER-LINUX-TREE(1) |
User Commands |
UNDERTAKER-LINUX-TREE(1) |
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
REPORTING BUGS¶
Report bugs to <vamos-dev@i4.informatik.uni-erlangen.de>.