diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-11-06 14:13:48 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-11-09 19:39:13 +0000 |
| commit | ae5ed000ba0f0f232c210ada9e3ab2594f18c7c7 (patch) | |
| tree | 92ed65600b97573091feda150184c21eb0d4577e /test/Runtime/POSIX/MixedConcreteSymbolic.c | |
| parent | 552fb6af769715e5045b23ba4af9be2d698ff8ef (diff) | |
| download | klee-ae5ed000ba0f0f232c210ada9e3ab2594f18c7c7.tar.gz | |
Since the runtime now contains fortified libc functions, it is important to compile it with -D_FORTIFY_SOURCE=0 to avoid infinite recursion.
Diffstat (limited to 'test/Runtime/POSIX/MixedConcreteSymbolic.c')
0 files changed, 0 insertions, 0 deletions