diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2024-02-27 16:20:11 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-29 19:57:08 +0000 |
| commit | 76a2adef91dc987083e8e30f40c4143742e4e726 (patch) | |
| tree | 08ec0577557ca4785a6bd9dab6ebcfd43696e490 /lib/Core/TimingSolver.h | |
| parent | 2cae55383a11fbcb3fcc1a8bac67949e2245d451 (diff) | |
| download | klee-76a2adef91dc987083e8e30f40c4143742e4e726.tar.gz | |
Add support to fully concretise objects if modified externally
Propagate ExternalCallPolicy to allow user-based selection.
Diffstat (limited to 'lib/Core/TimingSolver.h')
0 files changed, 0 insertions, 0 deletions