Saturation on integer overflow

R2026b

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"

Limitations

The Saturation on integer overflow parameter is not supported when the Simulation mode parameter is Accelerator. To analyze saturation on integer overflow coverage, use normal simulation mode.

Version History

Introduced in R2016a