projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07d4ade) | patch
Fix SIGILL handler
authorAndres Noetzli <noetzli@stanford.edu>
Tue, 20 Jun 2017 19:50:40 +0000 (12:50 -0700)
committerAndres Nötzli <andres.noetzli@gmail.com>
Tue, 20 Jun 2017 21:28:56 +0000 (14:28 -0700)
commitf83b2e19de558b5041479b6024aba62ec8e3403d
treea0e9f05892d59d543f51b2f574f24a2af8b7a542tree
parent07d4adeb64dc0e00af4f239be0798023781db036commit | diff
Fix SIGILL handler

As pointed out by @cpitclaudel in pull request #172, we are using the same
handler for SIGSEGV and SIGILL and ill_handler() is unused. This commit changes
the SIGILL handler to ill_handler().
src/main/util.cpp diff | blob | history