diff options
Diffstat (limited to 'include/klee/SolverCmdLine.h')
| -rw-r--r-- | include/klee/SolverCmdLine.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/klee/SolverCmdLine.h b/include/klee/SolverCmdLine.h index 255b3848..8a0cc534 100644 --- a/include/klee/SolverCmdLine.h +++ b/include/klee/SolverCmdLine.h @@ -26,7 +26,7 @@ extern llvm::cl::opt<bool> UseFastCexSolver; extern llvm::cl::opt<bool> UseCexCache; -extern llvm::cl::opt<bool> UseCache; +extern llvm::cl::opt<bool> UseBranchCache; extern llvm::cl::opt<bool> UseIndependentSolver; |