Check Stateflow debugging options

Check ID: mathworks.hism.hisf_0011

Check the Stateflow^® debugging settings.

Verify the following debugging settings.

Available with Simulink^® Check™.

This check requires a Stateflow license.

Condition Recommended Action

Condition	Recommended Action
Any of the following: Wrap on overflow is not set to `error`. Simulation range checking is not set to `error`. Parameter Underspecification for the truth table is not set to `error` Parameter Overspecification for the truth table is not set to `error`	In the Configuration Parameters dialog box, set: Wrap on overflow to `error`, or set the parameter IntegerOverflowMsg to `error`. Simulation range checking to `error`, or set the parameter SignalRangeChecking to `error`. Set Underspecification to `error`. Set Overspecification to `error`.
Inside a Stateflow chart, Detect Cycles is cleared.	In the model window, select Debug > Diagnostics > Detect Cyclical Behavior

Any of the following:

In the Configuration Parameters dialog box, set:

Wrap on overflow to error, or set the parameter IntegerOverflowMsg to error.
Simulation range checking
to error, or set the parameter SignalRangeChecking to error.
Set Underspecification
to error.
Set Overspecification
to error.

Inside a Stateflow chart, Detect Cycles is cleared.

In the model window, select Debug > Diagnostics > Detect Cyclical Behavior

Allows exclusions of blocks and charts.
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.

Clicking Modify selects the specified debugging options.