diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-02-03 13:59:59 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-02-06 09:33:53 +0000 |
| commit | 786cdf8cdb2fbd9956b5c764a7e68c7f6f8e4474 (patch) | |
| tree | 305111d5d664fd3d0e36c9a00ed884d42a9aa7e6 /test/Solver/overshift-aright-by-constant.kquery | |
| parent | e92f0d9bba0d109232db323d41d0443dbdd5c121 (diff) | |
| download | klee-786cdf8cdb2fbd9956b5c764a7e68c7f6f8e4474.tar.gz | |
Add an extra check to test/Runtime/FreeStanding/memcpy_chk_err.c ensuring that a call to __memcpy_chk is emitted
Diffstat (limited to 'test/Solver/overshift-aright-by-constant.kquery')
0 files changed, 0 insertions, 0 deletions