diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2022-01-05 22:43:23 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-17 22:59:26 +0000 |
| commit | 1b51cf5ecde7ca9e6646d481b0d757dd31b06da8 (patch) | |
| tree | af3dbec1ca297e4eacc736ba6bb6b012c2a2a8c3 /lib/Core | |
| parent | fcb5641d29b2e22bbd4034e51a1fe675b69bbf81 (diff) | |
| download | klee-1b51cf5ecde7ca9e6646d481b0d757dd31b06da8.tar.gz | |
remove obsolete KLEE_LLVM legacy defines
Diffstat (limited to 'lib/Core')
| -rw-r--r-- | lib/Core/Executor.cpp | 8 | ||||
| -rw-r--r-- | lib/Core/UserSearcher.cpp | 3 |
2 files changed, 4 insertions, 7 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 682711d3..1a16d389 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -192,8 +192,7 @@ cl::opt<ExternalCallPolicy> ExternalCalls( "allowed (default)"), clEnumValN(ExternalCallPolicy::All, "all", "All external function calls are allowed. This concretizes " - "any symbolic arguments in calls to external functions.") - KLEE_LLVM_CL_VAL_END), + "any symbolic arguments in calls to external functions.")), cl::init(ExternalCallPolicy::Concrete), cl::cat(ExtCallsCat)); @@ -293,8 +292,7 @@ cl::list<StateTerminationType> ExitOnErrorType( clEnumValN(StateTerminationType::ReportError, "ReportError", "klee_report_error called"), clEnumValN(StateTerminationType::User, "User", - "Wrong klee_* functions invocation") - KLEE_LLVM_CL_VAL_END), + "Wrong klee_* functions invocation")), cl::ZeroOrMore, cl::cat(TerminationCat)); @@ -412,7 +410,7 @@ llvm::cl::bits<PrintDebugInstructionsType> DebugPrintInstructions( "inst_id]"), clEnumValN(FILE_COMPACT, "compact:file", "Log all instructions to file instructions.txt in format " - "[inst_id]") KLEE_LLVM_CL_VAL_END), + "[inst_id]")), llvm::cl::CommaSeparated, cl::cat(DebugCat)); diff --git a/lib/Core/UserSearcher.cpp b/lib/Core/UserSearcher.cpp index e1534f70..398c44a9 100644 --- a/lib/Core/UserSearcher.cpp +++ b/lib/Core/UserSearcher.cpp @@ -47,8 +47,7 @@ cl::list<Searcher::CoreSearchType> CoreSearch( "use NURS with Instr-Count"), clEnumValN(Searcher::NURS_CPICnt, "nurs:cpicnt", "use NURS with CallPath-Instr-Count"), - clEnumValN(Searcher::NURS_QC, "nurs:qc", "use NURS with Query-Cost") - KLEE_LLVM_CL_VAL_END), + clEnumValN(Searcher::NURS_QC, "nurs:qc", "use NURS with Query-Cost")), cl::cat(SearchCat)); cl::opt<bool> UseIterativeDeepeningTimeSearch( |