From 1126134d15a293e0f7fceed881282b78ac8a37ef Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 15 Mar 2019 20:28:18 +0000
Subject: Renamed --use-cache to --use-branch-cache

---
 lib/Basic/CmdLineOptions.cpp       | 8 ++++----
 lib/Basic/ConstructSolverChain.cpp | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'lib/Basic')

diff --git a/lib/Basic/CmdLineOptions.cpp b/lib/Basic/CmdLineOptions.cpp
index 80dc3c9d..2a58141e 100644
--- a/lib/Basic/CmdLineOptions.cpp
+++ b/lib/Basic/CmdLineOptions.cpp
@@ -43,12 +43,12 @@ cl::opt<bool> UseFastCexSolver(
     cl::cat(SolvingCat));
 
 cl::opt<bool> UseCexCache("use-cex-cache", cl::init(true),
-                          cl::desc("Use counterexample caching (default=true)"),
+                          cl::desc("Use the counterexample cache (default=true)"),
                           cl::cat(SolvingCat));
 
-cl::opt<bool> UseCache("use-cache", cl::init(true),
-                       cl::desc("Use validity caching (default=true)"),
-                       cl::cat(SolvingCat));
+cl::opt<bool> UseBranchCache("use-branch-cache", cl::init(true),
+                             cl::desc("Use the branch cache (default=true)"),
+                             cl::cat(SolvingCat));
 
 cl::opt<bool>
     UseIndependentSolver("use-independent-solver", cl::init(true),
diff --git a/lib/Basic/ConstructSolverChain.cpp b/lib/Basic/ConstructSolverChain.cpp
index 5a51b8c5..39e0e824 100644
--- a/lib/Basic/ConstructSolverChain.cpp
+++ b/lib/Basic/ConstructSolverChain.cpp
@@ -47,7 +47,7 @@ Solver *constructSolverChain(Solver *coreSolver,
   if (UseCexCache)
     solver = createCexCachingSolver(solver);
 
-  if (UseCache)
+  if (UseBranchCache)
     solver = createCachingSolver(solver);
 
   if (UseIndependentSolver)
-- 
cgit 1.4.1