about summary refs log tree commit diff homepage
path: root/lib/Basic
diff options
context:
space:
mode:
authorFrank Busse <bb0xfb@gmail.com>2018-10-03 14:19:59 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2018-10-10 18:58:09 +0100
commit224532d66198c80c89b6017e14de4bbed53e305e (patch)
tree25101661e0c9ef28a6479f3445c639660ca52a33 /lib/Basic
parent44892ef160e9a6cb471ecbf100d45cfc5e65f8e6 (diff)
downloadklee-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/Basic')
0 files changed, 0 insertions, 0 deletions