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 /tools/kleaver/main.cpp | |
| parent | fcb5641d29b2e22bbd4034e51a1fe675b69bbf81 (diff) | |
| download | klee-1b51cf5ecde7ca9e6646d481b0d757dd31b06da8.tar.gz | |
remove obsolete KLEE_LLVM legacy defines
Diffstat (limited to 'tools/kleaver/main.cpp')
| -rw-r--r-- | tools/kleaver/main.cpp | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp index 558e7daf..22c23422 100644 --- a/tools/kleaver/main.cpp +++ b/tools/kleaver/main.cpp @@ -56,8 +56,7 @@ static llvm::cl::opt<ToolActions> ToolAction( clEnumValN(PrintAST, "print-ast", "Print parsed AST nodes from the input file."), clEnumValN(Evaluate, "evaluate", - "Evaluate parsed AST nodes from the input file.") - KLEE_LLVM_CL_VAL_END), + "Evaluate parsed AST nodes from the input file.")), llvm::cl::cat(klee::SolvingCat)); enum BuilderKinds { @@ -74,8 +73,7 @@ static llvm::cl::opt<BuilderKinds> BuilderKind( clEnumValN(ConstantFoldingBuilder, "constant-folding", "Fold constant expressions."), clEnumValN(SimplifyingBuilder, "simplify", - "Fold constants and simplify expressions.") - KLEE_LLVM_CL_VAL_END), + "Fold constants and simplify expressions.")), llvm::cl::cat(klee::ExprCat)); llvm::cl::opt<std::string> DirectoryToWriteQueryLogs( |