diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-17 14:50:41 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2024-02-27 09:45:01 +0000 |
| commit | 85858749a65f599b88098662de332b6878e6af4c (patch) | |
| tree | 5110362dc5cc7e87caed03ba6b0acd9c8ac5fb2f /lib/Core/Memory.cpp | |
| parent | 38c0f6796e15c409e05aea39c670ac0063a336e0 (diff) | |
| download | klee-85858749a65f599b88098662de332b6878e6af4c.tar.gz | |
Two test cases exercising two policies for calling external calls with symbolic arguments. One of them is currently expected to fail.
Diffstat (limited to 'lib/Core/Memory.cpp')
0 files changed, 0 insertions, 0 deletions