Abortion on invalid argument
$ divine cc help
compiling help
E: .../divine/cc/clang.cpp: 287:
encountered Unknown file type
Neúspěšně ukončen (SIGABRT)
$ divine cc help
compiling help
E: .../divine/cc/clang.cpp: 287:
encountered Unknown file type
Neúspěšně ukončen (SIGABRT)