fix abort on fail for asserts in DeepState harness

2019-04-24 12:35:42 -07:00
parent b1496d7ec6
commit 68419e12e9
1 changed files with 3 additions and 0 deletions
@@ -920,6 +920,9 @@ void __assert_fail(const char * assertion, const char * file,
  DeepState_LogFormat(DeepState_LogFatal,
                      "%s(%u): Assertion %s failed in function %s",
                      file, line, assertion, function);
+  if (FLAGS_abort_on_fail) {
+    assert(0); // Terminate the testing in a way AFL/etc. can see as a crash
+  }
  __builtin_unreachable();
 }