From 2aa6e9f1d5fed1cbe8ebf9484030c9a7f71826d3 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Mon, 25 Jun 2018 17:29:58 -0700 Subject: [PATCH] Fix fatal in .h file also --- 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 b64b933..0e5b9c2 100644 --- a/src/include/deepstate/DeepState.h +++ b/src/include/deepstate/DeepState.h @@ -474,7 +474,7 @@ static void DeepState_RunTest(struct DeepState_TestInfo *test) { /* The test was abandoned. We may have gotten soft failures before * abandoning, so we prefer to catch those first. */ } else if (DeepState_CatchAbandoned()) { - DeepState_LogFormat(DeepState_LogFatal, "Abandoned: %s", test->test_name); + DeepState_LogFormat(DeepState_LogError, "Abandoned: %s", test->test_name); exit(DeepState_TestRunAbandon); /* The test passed. */