diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-04-02 15:38:39 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-04-02 15:38:39 +0100 |
| commit | e0da9c342eca9949e6501bc8770942624ab645a9 (patch) | |
| tree | 7aedb432bce06ef06045c54445a5c3e51561526d /lib/Core/ExecutionState.cpp | |
| parent | 4ae0b4aa8a0d5446c31454fa09e651abae4764a3 (diff) | |
| download | klee-e0da9c342eca9949e6501bc8770942624ab645a9.tar.gz | |
Removed unused fakeState field from ExecutionState
Diffstat (limited to 'lib/Core/ExecutionState.cpp')
| -rw-r--r-- | lib/Core/ExecutionState.cpp | 5 |
1 files changed, 1 insertions, 4 deletions
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), |