The exit status is >2 on error, 2 (DIFFER), if at least one file is a racing track, or 0 (OK), if all sources are arenas.
Options | |||
---|---|---|---|
Option | Param | Description | |
--colors | [=modus] | Define the modus for colored text output. Allowed keywords are:
If a command is prefixed by |
|
--no-colors | Deactive colorized text. This is the default, if an output file is not a terminal. | ||
-H | --no-header | Suppress printing of header and footer. | |
-B | --brief | If set, suppress the output of header and filenames. | |
-q | --quiet | If set, print nothing and set only the exit status. | |
-i | --ignore | If set, ignore non existing source files and files without KMP without warning. |