DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

nicer way to crash

Browse Source
This commit is contained in:
agroce 2019-04-25 09:41:29 -07:00
parent 671457cb11
commit 4ef19da2dd
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/include/deepstate/DeepState.h
View File

@ -249,8 +249,7 @@ DEEPSTATE_INLINE static void DeepState_Assert(int expr) {
/* Used to make DeepState really crash for fuzzers, on any platform. */ /* Used to make DeepState really crash for fuzzers, on any platform. */
DEEPSTATE_INLINE static void DeepState_HardCrash() { DEEPSTATE_INLINE static void DeepState_HardCrash() {
char *p = 0; raise(SIGABRT);
(*p) = 0;
} }
/* Asserts that `expr` must hold. If it does not, then the test fails, but /* Asserts that `expr` must hold. If it does not, then the test fails, but