diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2024-02-27 16:05:19 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-29 19:57:08 +0000 |
| commit | 2cae55383a11fbcb3fcc1a8bac67949e2245d451 (patch) | |
| tree | 9795b5a026b61fc32e1783503de8060fff7811d9 /lib/Core/AddressSpace.h | |
| parent | 46b4c4885c0162893835081e2d9d731ca7a8341c (diff) | |
| download | klee-2cae55383a11fbcb3fcc1a8bac67949e2245d451.tar.gz | |
Support external call concretisation policies for referenced objects
Provide an additional argument to select the concretisation policy. Fix a bug where the concretisation of a shared memory object was visible across different states by retrieving a writable object state first.
Diffstat (limited to 'lib/Core/AddressSpace.h')
0 files changed, 0 insertions, 0 deletions