diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2021-06-07 16:19:57 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-29 19:57:08 +0000 |
| commit | 279be1d2748f9694c27423cc650deb46638736ad (patch) | |
| tree | 3208dc65ed237e21435976aa1f25da2cc06b814b /lib/Solver/QueryLoggingSolver.h | |
| parent | 7b8edeb2a7cc8f0cf6374b3be7fe8e3b358b8f94 (diff) | |
| download | klee-279be1d2748f9694c27423cc650deb46638736ad.tar.gz | |
Test case for externally concretized variables and constraint fully symbolic variables
The test case is based on the example provided by Mingyi Liu from the KLEE
mailing list.
Diffstat (limited to 'lib/Solver/QueryLoggingSolver.h')
0 files changed, 0 insertions, 0 deletions