about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
-rw-r--r--lib/Core/ExecutionState.cpp3
-rw-r--r--lib/Core/ExecutionState.h13
2 files changed, 8 insertions, 8 deletions
diff --git a/lib/Core/ExecutionState.cpp b/lib/Core/ExecutionState.cpp
index 5e95ca9b..5dfabe9e 100644
--- a/lib/Core/ExecutionState.cpp
+++ b/lib/Core/ExecutionState.cpp
@@ -82,9 +82,6 @@ ExecutionState::ExecutionState(KFunction *kf) :
   setID();
 }
 
-ExecutionState::ExecutionState(const std::vector<ref<Expr>> &assumptions)
-    : constraints(assumptions), ptreeNode(nullptr) {}
-
 ExecutionState::~ExecutionState() {
   for (const auto &cur_mergehandler: openMergeStack){
     cur_mergehandler->removeOpenState(this);
diff --git a/lib/Core/ExecutionState.h b/lib/Core/ExecutionState.h
index 03cad916..7be69ea7 100644
--- a/lib/Core/ExecutionState.h
+++ b/lib/Core/ExecutionState.h
@@ -65,6 +65,14 @@ struct StackFrame {
 
 /// @brief ExecutionState representing a path under exploration
 class ExecutionState {
+#ifdef KLEE_UNITTEST
+public:
+#else
+private:
+#endif
+  // copy ctor
+  ExecutionState(const ExecutionState &state);
+
 public:
   using stack_ty = std::vector<StackFrame>;
 
@@ -152,11 +160,6 @@ public:
   #endif
   // only to create the initial state
   explicit ExecutionState(KFunction *kf);
-  // XXX total hack, just used to make a state so solver can
-  // use on structure
-  explicit ExecutionState(const std::vector<ref<Expr>> &assumptions);
-  // copy ctor
-  ExecutionState(const ExecutionState &state);
   // no copy assignment, use copy constructor
   ExecutionState &operator=(const ExecutionState &) = delete;
   // no move ctor