abort on failure or crash

2018-07-27 22:52:36 -07:00
parent 21a2153eb3
commit c4f533d003
1 changed files with 4 additions and 0 deletions
--- a/src/lib/DeepState.c
+++ b/src/lib/DeepState.c
@@ -577,6 +577,10 @@ extern int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {

  enum DeepState_TestRunResult result = DeepState_RunTestLLVM(test);

+  if ((result == DeepState_TestRunFail) || (result == DeepState_TestRunCrash)) {
+    abort();
+  }
+
  DeepState_Teardown();
  DeepState_CurrentTestRun = NULL;
  free(mem);