diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-16 22:57:56 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2024-02-17 10:06:59 +0000 |
| commit | df8a73840ae2fa3461ff724913884fd47a0765ac (patch) | |
| tree | 195a1148df486830e2b1f8f72074001a949210c6 | |
| parent | 325c6cdcab632a6824be8ca9a926f4c4573adbdb (diff) | |
| download | klee-df8a73840ae2fa3461ff724913884fd47a0765ac.tar.gz | |
Fixed incorrect reference in ExternalCallWarnings
| -rw-r--r-- | lib/Core/Executor.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index d70a2c4e..45209617 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -225,7 +225,7 @@ cl::opt<ExtCallWarnings> ExternalCallWarnings( "Never warn"), clEnumValN(ExtCallWarnings::OncePerFunction, "once-per-function", "Warn once per external function (default)"), - clEnumValN(ExternalCallPolicy::All, "all", + clEnumValN(ExtCallWarnings::All, "all", "Always warn")), cl::init(ExtCallWarnings::OncePerFunction), cl::cat(ExtCallsCat)); |