Extensions.StateMachineProcedure.StateMachineProcedureChk010
Jump to navigation
Jump to search
Classification
Name | StateMachineProcedure_Chk010 |
Class | StateMachineProcedure |
Severity | Critical |
SpecifiedBy | ISO 13209-4 |
Description
The reference to trigger inside a transition will refer an existing trigger of the same state.