Equation set not empty#
Equation set not empty
Description#
An equation set shall contain at least one element.
Rationale#
This helps to identify the equation sets not completed or which have become empty after editing a model. An empty equation set does not make sense for traceability.
Verification#
The rule registers to the equation sets and raises a violation when an equation set does not contain any element.
Message: equation set <name> must contain at least one element
Resolution#
Delete the equation set.
Customization#
N/A.
See also
ESEG-EN-072 SCADE Traceability