diff options
Diffstat (limited to 'lib/Core/Memory.cpp')
| -rw-r--r-- | lib/Core/Memory.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/Core/Memory.cpp b/lib/Core/Memory.cpp index cb40cd81..bf00ee4b 100644 --- a/lib/Core/Memory.cpp +++ b/lib/Core/Memory.cpp @@ -10,6 +10,7 @@ #include "Memory.h" #include "Context.h" +#include "ExecutionState.h" #include "MemoryManager.h" #include "klee/ADT/BitArray.h" @@ -196,7 +197,8 @@ void ObjectState::flushToConcreteStore(TimingSolver *solver, for (unsigned i = 0; i < size; i++) { if (isByteKnownSymbolic(i)) { ref<ConstantExpr> ce; - bool success = solver->getValue(state, read8(i), ce); + bool success = solver->getValue(state.constraints, read8(i), ce, + state.queryMetaData); if (!success) klee_warning("Solver timed out when getting a value for external call, " "byte %p+%u will have random value", |