Check for inappropriate use of transition paths

Check ID: mathworks.hism.hisf_0014

This check inspects the use of junctions inside states and identifies the junctions that lie on a path that goes in and out of a state.

Available with Simulink^® Check™.

This check requires a Stateflow^® license.

Condition	Recommended Action
One or more transition paths in the model traverses through a state without ending on a substate.	Remodel the junctions to avoid transition paths that go into and out of a state without ending on a substate.

Runs on library models.
Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to all.
Analyzes content of library-linked blocks. By default, the input parameter Follow links is set to on.