diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2021-06-07 16:26:12 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-29 19:57:08 +0000 |
| commit | a4d9762a31402c5e5298ef22870a7e25124a7af2 (patch) | |
| tree | f322ab797ef8d06a266b9f8b277fb87719108652 /README-CMake.md | |
| parent | 279be1d2748f9694c27423cc650deb46638736ad (diff) | |
| download | klee-a4d9762a31402c5e5298ef22870a7e25124a7af2.tar.gz | |
Correctly update symbolic variables that have been changed externally
Before, external changes to symbolic variables have not been propagated back to their internal representation. Do a byte-by-byte comparison and update object state if required.
Diffstat (limited to 'README-CMake.md')
0 files changed, 0 insertions, 0 deletions