From 45abf8ea2468c08893f85c50bff6f5d4dcaf3959 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Thu, 26 Jul 2018 11:29:02 -0700 Subject: [PATCH] don't crash on abandons --- src/include/deepstate/DeepState.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h index 6ce272b..8a24179 100644 --- a/src/include/deepstate/DeepState.h +++ b/src/include/deepstate/DeepState.h @@ -623,7 +623,7 @@ static int DeepState_RunSingleSavedTestCase(void) { enum DeepState_TestRunResult result = DeepState_RunSavedTestCase(test, "", FLAGS_input_test_file); - if (result != DeepState_TestRunPass) { + if ((result == DeepState_TestRunFail) || (result == DeepState_TestRunCrash)) { if (FLAGS_abort_on_fail) { abort(); } @@ -685,7 +685,7 @@ static int DeepState_RunSingleSavedTestDir(void) { enum DeepState_TestRunResult result = DeepState_RunSavedTestCase(test, FLAGS_input_test_files_dir, dp->d_name); - if (result != DeepState_TestRunPass) { + if ((result == DeepState_TestRunFail) || (result == DeepState_TestRunCrash)) { if (FLAGS_abort_on_fail) { abort(); }