diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-09-15 13:07:10 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-09-15 13:09:59 +0100 |
| commit | 3200fe7b15a89619ee0cf9a31841ef9737c38950 (patch) | |
| tree | 08ec1c2428679e41de17bcac0f133f79a121bec5 | |
| parent | c9778f9278ee0d0ccb845843a35edf66c3fcb2ac (diff) | |
| download | klee-3200fe7b15a89619ee0cf9a31841ef9737c38950.tar.gz | |
Rename `-debug-cross-check-core-solver` option to
`-debug-crosscheck-core-solver` as requested by Cristian
| -rw-r--r-- | lib/Basic/CmdLineOptions.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Basic/CmdLineOptions.cpp b/lib/Basic/CmdLineOptions.cpp index 70ef999e..399c27a2 100644 --- a/lib/Basic/CmdLineOptions.cpp +++ b/lib/Basic/CmdLineOptions.cpp @@ -141,7 +141,7 @@ llvm::cl::opt<CoreSolverType> CoreSolverToUse( llvm::cl::init(DEFAULT_CORE_SOLVER)); llvm::cl::opt<CoreSolverType> DebugCrossCheckCoreSolverWith( - "debug-cross-check-core-solver", + "debug-crosscheck-core-solver", llvm::cl::desc( "Specifiy a solver to use for cross checking with the core solver"), llvm::cl::values(clEnumValN(STP_SOLVER, "stp", "stp"), |