diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-03-01 16:03:37 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-03-01 16:03:37 +0000 |
| commit | d4679d75c431dfd4f1289571d9f4f6c555e86334 (patch) | |
| tree | 35a748286c59206cc9ec606ccc57c8b851021dce /CMakeLists.txt | |
| parent | 4f5ea494986689dd89f97f9a64082527557c71c9 (diff) | |
| download | klee-d4679d75c431dfd4f1289571d9f4f6c555e86334.tar.gz | |
Added new option --warnings-only-to-file which causes warnings to be written to warnings.txt only. Disabled by default.
Diffstat (limited to 'CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions