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 /lib/Solver/IncompleteSolver.cpp | |
| 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 'lib/Solver/IncompleteSolver.cpp')
0 files changed, 0 insertions, 0 deletions