From 1b51cf5ecde7ca9e6646d481b0d757dd31b06da8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Julian=20B=C3=BCning?= Date: Wed, 5 Jan 2022 22:43:23 +0100 Subject: remove obsolete KLEE_LLVM legacy defines --- lib/Core/Executor.cpp | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'lib/Core/Executor.cpp') 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 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 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 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)); -- cgit v1.2.3