diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-11-04 16:42:51 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-02-19 12:05:22 +0000 |
| commit | 41ee94afe029c891e8960141ba71a3451a42d6ae (patch) | |
| tree | 34b07f757751cac3097a3a2736e1166e1e346787 /include | |
| parent | 9cfa329a77d3dfec4746ca307c6da1b3e904cbfa (diff) | |
| download | klee-41ee94afe029c891e8960141ba71a3451a42d6ae.tar.gz | |
Use `ref<>` for MemoryObject handling
This uses the `ref<>`-based memory handling of MemoryObjects. This makes it explicit that references are held in: - ExecutionState::symbolics - ObjectState
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/ExecutionState.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/klee/ExecutionState.h b/include/klee/ExecutionState.h index 95808be1..e647d0ab 100644 --- a/include/klee/ExecutionState.h +++ b/include/klee/ExecutionState.h @@ -132,7 +132,7 @@ public: /// @brief Ordered list of symbolics: used to generate test cases. // // FIXME: Move to a shared list structure (not critical). - std::vector<std::pair<const MemoryObject *, const Array *> > symbolics; + std::vector<std::pair<ref<const MemoryObject>, const Array *>> symbolics; /// @brief Set of used array names for this state. Used to avoid collisions. std::set<std::string> arrayNames; |