From d689db5501c7ad97146bbc20e6cabd87ab256538 Mon Sep 17 00:00:00 2001 From: suraj Date: Tue, 2 Sep 2025 18:01:03 +0530 Subject: [PATCH] udpate requirement in lobster-report --- lobster/tools/core/report/requirements/requirements.trlc | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/lobster/tools/core/report/requirements/requirements.trlc b/lobster/tools/core/report/requirements/requirements.trlc index c6edda64..3a16fcad 100644 --- a/lobster/tools/core/report/requirements/requirements.trlc +++ b/lobster/tools/core/report/requirements/requirements.trlc @@ -196,9 +196,10 @@ req.System_Requirement_Aspect Multi_Level_Source_Files { req.System_Requirement_Aspect Message_Trace_Coverage { description = ''' - IF an item contains a "message" and traces to another item, - THEN the traced item shall have 100% coverage, - AND the item with the message shall have 0% coverage. + IF an item contains a "message", + THEN the item shall be counted as "not okay", + regardless of whether it traces to another item or not. + ELSE the item shall be evaluated according to the general tracing policy. ''' }