We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d5a88fb commit b3eaf91Copy full SHA for b3eaf91
1 file changed
lobster/tools/core/report/requirements/requirements.trlc
@@ -196,9 +196,10 @@ req.System_Requirement_Aspect Multi_Level_Source_Files {
196
197
req.System_Requirement_Aspect Message_Trace_Coverage {
198
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.
+ 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.
202
+ ELSE the item shall be evaluated according to the general tracing policy.
203
'''
204
}
205
0 commit comments