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; }