diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-06-23 22:05:12 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-07-12 15:21:56 +0100 |
| commit | 9cb9fd54846415d0c271cd178d4a9bfe6493ad00 (patch) | |
| tree | c84895bab9d11fa527168763a68195efbcc6914b /lib/Core/CoreStats.h | |
| parent | 8ad9f2aaf4e9e51c3f8b5e24aec56dae4e49e983 (diff) | |
| download | klee-9cb9fd54846415d0c271cd178d4a9bfe6493ad00.tar.gz | |
Replaced --suppress-external-warnings and --all-external-warnings with --external-call-warnings=none|once-per-function|all.
This eliminates the ambiguity when both of the old options were set. Added test for the new option.
Diffstat (limited to 'lib/Core/CoreStats.h')
0 files changed, 0 insertions, 0 deletions