diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2021-06-07 16:18:16 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-29 19:57:08 +0000 |
| commit | 8750da62ccb9772a121126d5fffd393690c95758 (patch) | |
| tree | 6aa38122cd4c9808d7446ff4e3f8928b01915e23 /docs/SMT-COMP | |
| parent | a4d9762a31402c5e5298ef22870a7e25124a7af2 (diff) | |
| download | klee-8750da62ccb9772a121126d5fffd393690c95758.tar.gz | |
Use correctly constrained constants if the memory object is fully symbolic
Before, only partially symbolic variables have been concretized. Now, every object that is not fully concrete is concretized correctly this includes fully symbolic objects.
Diffstat (limited to 'docs/SMT-COMP')
0 files changed, 0 insertions, 0 deletions