I think we need validation rules to check that events in input and output contexts are only used in the appropriate context (triggers and actions, respectively).
Current, the tool does not check these conditions and the generator produces incorrect CSP models.
I think we need validation rules to check that events in input and output contexts are only used in the appropriate context (triggers and actions, respectively).
Current, the tool does not check these conditions and the generator produces incorrect CSP models.