From 671457cb11369e1931362a6d9b869fb675ed08ef Mon Sep 17 00:00:00 2001 From: agroce Date: Thu, 25 Apr 2019 09:23:39 -0700 Subject: [PATCH] fix abandons looking like crashes in no-fork mode --- src/include/deepstate/DeepState.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h index a442e97..50a4fa1 100644 --- a/src/include/deepstate/DeepState.h +++ b/src/include/deepstate/DeepState.h @@ -625,7 +625,7 @@ DeepState_ForkAndRunTest(struct DeepState_TestInfo *test) { } /* If we exited normally, the status code tells us if the test passed. */ - if (WIFEXITED(wstatus)) { + if (!FLAGS_fork || WIFEXITED(wstatus)) { uint8_t status = WEXITSTATUS(wstatus); return (enum DeepState_TestRunResult) status; }