Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant to have only solver options.

10 files changed, 9 insertions, 9 deletions

diff --git a/include/klee/Solver.h b/include/klee/Solver.h
index e669c6f4..e4762ae2 100644
--- a/include/klee/Solver.h
+++ b/include/klee/Solver.h
@@ -10,7 +10,7 @@
 #ifndef KLEE_SOLVER_H
 #define KLEE_SOLVER_H
 
-#include "klee/CommandLine.h" // FIXME: This is just for CoreSolverType
+#include "klee/SolverCmdLine.h" // FIXME: This is just for CoreSolverType
 #include "klee/Expr.h"
 
 #include <vector>
diff --git a/include/klee/CommandLine.h b/include/klee/SolverCmdLine.h
index 9668d00b..9668d00b 100644
--- a/include/klee/CommandLine.h
+++ b/include/klee/SolverCmdLine.h
diff --git a/lib/Basic/CmdLineOptions.cpp b/lib/Basic/CmdLineOptions.cpp
index 3c117db9..b4517d47 100644
--- a/lib/Basic/CmdLineOptions.cpp
+++ b/lib/Basic/CmdLineOptions.cpp
@@ -12,7 +12,7 @@
  * data that are common to both KLEE and Kleaver.
  */
 
-#include "klee/CommandLine.h"
+#include "klee/SolverCmdLine.h"
 #include "klee/Config/Version.h"
 
 #include "llvm/ADT/ArrayRef.h"
diff --git a/lib/Basic/ConstructSolverChain.cpp b/lib/Basic/ConstructSolverChain.cpp
index 50d81a25..5880ad59 100644
--- a/lib/Basic/ConstructSolverChain.cpp
+++ b/lib/Basic/ConstructSolverChain.cpp
@@ -11,7 +11,7 @@
  * This file groups declarations that are common to both KLEE and Kleaver.
  */
 #include "klee/Common.h"
-#include "klee/CommandLine.h"
+#include "klee/SolverCmdLine.h"
 #include "klee/Internal/Support/ErrorHandling.h"
 #include "llvm/Support/raw_ostream.h"
 
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 3e37a6c6..4b57ccf9 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -28,7 +28,7 @@
 #include "klee/Expr.h"
 #include "klee/Interpreter.h"
 #include "klee/TimerStatIncrementer.h"
-#include "klee/CommandLine.h"
+#include "klee/SolverCmdLine.h"
 #include "klee/Common.h"
 #include "klee/util/Assignment.h"
 #include "klee/util/ExprPPrinter.h"
diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp
index 3b281d66..8752c2c8 100644
--- a/lib/Core/SpecialFunctionHandler.cpp
+++ b/lib/Core/SpecialFunctionHandler.cpp
@@ -22,7 +22,7 @@
 #include "Executor.h"
 #include "MemoryManager.h"
 
-#include "klee/CommandLine.h"
+#include "klee/SolverCmdLine.h"
 
 #include "llvm/IR/Module.h"
 #include "llvm/ADT/Twine.h"
diff --git a/lib/Core/UserSearcher.cpp b/lib/Core/UserSearcher.cpp
index 5e88df7c..aa90c401 100644
--- a/lib/Core/UserSearcher.cpp
+++ b/lib/Core/UserSearcher.cpp
@@ -13,7 +13,7 @@
 #include "Executor.h"
 
 #include "klee/Internal/Support/ErrorHandling.h"
-#include "klee/CommandLine.h"
+#include "klee/SolverCmdLine.h"
 #include "klee/MergeHandler.h"
 
 
diff --git a/lib/Solver/CoreSolver.cpp b/lib/Solver/CoreSolver.cpp
index 438f38f6..774f52a7 100644
--- a/lib/Solver/CoreSolver.cpp
+++ b/lib/Solver/CoreSolver.cpp
@@ -10,7 +10,7 @@
 #include "STPSolver.h"
 #include "Z3Solver.h"
 #include "MetaSMTSolver.h"
-#include "klee/CommandLine.h"
+#include "klee/SolverCmdLine.h"
 #include "klee/Internal/Support/ErrorHandling.h"
 #include "klee/Solver.h"
 #include "llvm/Support/ErrorHandling.h"
diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp
index 800cece9..3ce414a2 100644
--- a/tools/kleaver/main.cpp
+++ b/tools/kleaver/main.cpp
@@ -17,7 +17,7 @@
 #include "klee/Solver.h"
 #include "klee/SolverImpl.h"
 #include "klee/Statistics.h"
-#include "klee/CommandLine.h"
+#include "klee/SolverCmdLine.h"
 #include "klee/Common.h"
 #include "klee/util/ExprPPrinter.h"
 #include "klee/util/ExprVisitor.h"
diff --git a/unittests/Solver/SolverTest.cpp b/unittests/Solver/SolverTest.cpp
index 38e055cd..b178ced3 100644
--- a/unittests/Solver/SolverTest.cpp
+++ b/unittests/Solver/SolverTest.cpp
@@ -10,7 +10,7 @@
 #include <iostream>
 #include "gtest/gtest.h"
 
-#include "klee/CommandLine.h"
+#include "klee/SolverCmdLine.h"
 #include "klee/Constraints.h"
 #include "klee/Expr.h"
 #include "klee/Solver.h"