diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2018-10-03 14:19:59 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-10-10 18:58:09 +0100 |
| commit | 224532d66198c80c89b6017e14de4bbed53e305e (patch) | |
| tree | 25101661e0c9ef28a6479f3445c639660ca52a33 /test/CMakeLists.txt | |
| parent | 44892ef160e9a6cb471ecbf100d45cfc5e65f8e6 (diff) | |
| download | klee-224532d66198c80c89b6017e14de4bbed53e305e.tar.gz | |
fix handling of failing external calls
Currently KLEE only handles the first segfault in external calls as it doesn't unblock SIGSEGV afterwards. This patch unblocks the signal and enables handling of multiple failing calls.
Diffstat (limited to 'test/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions