From c0b790cb84e2b3a1851a00ed7d429af4e0670290 Mon Sep 17 00:00:00 2001 From: Joseph Hickey Date: Fri, 10 Jul 2020 16:17:34 -0400 Subject: [PATCH] Update #540, fix coverage test case --- src/unit-test-coverage/shared/src/coveragetest-task.c | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/unit-test-coverage/shared/src/coveragetest-task.c b/src/unit-test-coverage/shared/src/coveragetest-task.c index 96b6c2225..0a01acb8c 100644 --- a/src/unit-test-coverage/shared/src/coveragetest-task.c +++ b/src/unit-test-coverage/shared/src/coveragetest-task.c @@ -167,9 +167,8 @@ void Test_OS_TaskExit(void) OS_TaskExit(); - /* TaskExit should have cleared the active_id */ - UtAssert_True(utrec.active_id == 0, "utrec.active_id (%lu) == 0", - (unsigned long)utrec.active_id); + /* TaskExit should have called OS_ObjectIdFinalizeDelete to clear the active_id */ + UtAssert_STUB_COUNT(OS_ObjectIdFinalizeDelete, 1); } void Test_OS_TaskDelay(void) {