diff options
| -rw-r--r-- | include/klee/ExecutionState.h | 5 | ||||
| -rw-r--r-- | lib/Core/ExecutionState.cpp | 5 |
2 files changed, 2 insertions, 8 deletions
diff --git a/include/klee/ExecutionState.h b/include/klee/ExecutionState.h index 5830ad28..73095afc 100644 --- a/include/klee/ExecutionState.h +++ b/include/klee/ExecutionState.h @@ -117,9 +117,6 @@ public: /// taken to reach/create this state TreeOStream symPathOS; - /// @brief Does not represent a real state just for patching purposes - bool fakeState; - /// @brief Counts how many instructions were executed since the last new /// instruction was covered. unsigned instsSinceCovNew; @@ -149,7 +146,7 @@ public: void removeFnAlias(std::string fn); private: - ExecutionState() : fakeState(false), ptreeNode(0) {} + ExecutionState() : ptreeNode(0) {} public: ExecutionState(KFunction *kf); diff --git a/lib/Core/ExecutionState.cpp b/lib/Core/ExecutionState.cpp index bfe56f7a..6aeaa833 100644 --- a/lib/Core/ExecutionState.cpp +++ b/lib/Core/ExecutionState.cpp @@ -74,7 +74,6 @@ ExecutionState::ExecutionState(KFunction *kf) : weight(1), depth(0), - fakeState(false), instsSinceCovNew(0), coveredNew(false), forkDisabled(false), @@ -83,8 +82,7 @@ ExecutionState::ExecutionState(KFunction *kf) : } ExecutionState::ExecutionState(const std::vector<ref<Expr> > &assumptions) - : constraints(assumptions), queryCost(0.), - fakeState(true), ptreeNode(0) {} + : constraints(assumptions), queryCost(0.), ptreeNode(0) {} ExecutionState::~ExecutionState() { for (unsigned int i=0; i<symbolics.size(); i++) @@ -116,7 +114,6 @@ ExecutionState::ExecutionState(const ExecutionState& state): pathOS(state.pathOS), symPathOS(state.symPathOS), - fakeState(state.fakeState), instsSinceCovNew(state.instsSinceCovNew), coveredNew(state.coveredNew), forkDisabled(state.forkDisabled), |