Skip to content

Commit 2ff401c

Browse files
committed
udpate requirement in lobster-report
1 parent d5a88fb commit 2ff401c

1 file changed

Lines changed: 4 additions & 3 deletions

File tree

lobster/tools/core/report/requirements/requirements.trlc

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -196,9 +196,10 @@ req.System_Requirement_Aspect Multi_Level_Source_Files {
196196

197197
req.System_Requirement_Aspect Message_Trace_Coverage {
198198
description = '''
199-
IF an item contains a "message" and traces to another item,
200-
THEN the traced item shall have 100% coverage,
201-
AND the item with the message shall have 0% coverage.
199+
IF an item contains a "message",
200+
THEN the item shall be counted as "not okay",
201+
regardless of whether it traces to another item or not.
202+
ELSE the item shall be evaluated according to the general tracing
202203
'''
203204
}
204205

0 commit comments

Comments
 (0)