diff options
| -rw-r--r-- | lib/Core/Memory.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Memory.cpp b/lib/Core/Memory.cpp index 1e3c8922..0c9394bd 100644 --- a/lib/Core/Memory.cpp +++ b/lib/Core/Memory.cpp @@ -199,7 +199,7 @@ const UpdateList &ObjectState::getUpdates() const { void ObjectState::flushToConcreteStore(TimingSolver *solver, const ExecutionState &state) const { for (unsigned i = 0; i < size; i++) { - if (isByteKnownSymbolic(i)) { + if (!isByteConcrete(i)) { ref<ConstantExpr> ce; bool success = solver->getValue(state.constraints, read8(i), ce, state.queryMetaData); |