Open jjhugues opened 3 years ago
The definition of Dispatch_Trigger must be updated to list feature Rationale: we must also allow incoming calls to subprogram access
As a consequence, we need the following consistency checks
Consistency rule added in A.2, 5.4.2 defined trigger features, no need to go further than pointing to the definition
The definition of Dispatch_Trigger must be updated to list feature Rationale: we must also allow incoming calls to subprogram access
As a consequence, we need the following consistency checks