diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-04-03 12:36:08 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-04-03 12:36:08 +0100 |
| commit | 141f052a488c5b76adc658a185032c62d6244b9c (patch) | |
| tree | 6944aaaa9d52348c5d7fbc2f61c91866271791c8 /lib/Core | |
| parent | 55488db3f978dce56ed45836bb72cba827e095b6 (diff) | |
| download | klee-141f052a488c5b76adc658a185032c62d6244b9c.tar.gz | |
Fixed issue introduce during a previous refactoring, related to field ordering.
Diffstat (limited to 'lib/Core')
| -rw-r--r-- | lib/Core/ExecutionState.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/ExecutionState.cpp b/lib/Core/ExecutionState.cpp index 596a3475..6aeaa833 100644 --- a/lib/Core/ExecutionState.cpp +++ b/lib/Core/ExecutionState.cpp @@ -67,8 +67,8 @@ StackFrame::~StackFrame() { /***/ ExecutionState::ExecutionState(KFunction *kf) : - prevPC(pc), pc(kf->instructions), + prevPC(pc), queryCost(0.), weight(1), @@ -99,8 +99,8 @@ ExecutionState::~ExecutionState() { ExecutionState::ExecutionState(const ExecutionState& state): fnAliases(state.fnAliases), - prevPC(state.prevPC), pc(state.pc), + prevPC(state.prevPC), stack(state.stack), incomingBBIndex(state.incomingBBIndex), |