Closed gorryfair closed 2 months ago
It would be easy to add a cross reference to each CDDL trigger when there is a condition, which may help understanding traces. This could be inserted in brackets?
A suggested format example: "(trigger rtt_not_validated in section XX)".
It would be easy to add a cross reference to each CDDL trigger when there is a condition, which may help understanding traces. This could be inserted in brackets?