Main Content

Saturation on integer overflow

Enable saturation on integer overflow coverage

Model Configuration Pane: Coverage

Description

The Saturation on integer overflow parameter specifies whether to analyze saturation on integer overflow coverage. Simulink® Coverage™ can analyze saturation on integer overflow coverage only for blocks that you configure to saturate on integer overflow. For example, to analyze saturation on integer overflow coverage for the Abs block, you must select the Saturate on integer overflow block parameter. If you enable this parameter, the blocks report the number of times they saturate during simulation.

Dependencies

To enable this parameter, select Enable coverage analysis.

Settings

off (default) | on
off

Do not analyze saturation on integer overflow coverage.

on

Analyze saturation on integer overflow coverage.

Programmatic Use

Parameter: CovMetricSaturateOnIntegerOverflow
Type: character vector | string
Value: "on" | "off"
Default: "off"

Version History

Introduced in R2016a

See Also

Topics