Output

Option to verify whether output variables are within expected bounds

Model Configuration Pane: Polyspace

Description

The Output parameter determines whether Polyspace^® Code Prover™ verifies that output variables are within expected bounds specified in the Output block dialog box

You can find this parameter in the Polyspace pane of the Configuration Parameters dialog box, in the Data Range Management section.

Dependencies

This option applies when you run a Polyspace Code Prover analysis on code generated by Embedded Coder^®.

Settings

No verification (default) |

Verify outputs are within minimum and maximum
                values

No verification: Polyspace Code Prover does not verify output values.
Verify outputs are within minimum and maximum values: Polyspace Code Prover checks to see if the output variable values are within the expected minimum and maximum values.

Recommended Settings

Application	Setting
Debugging	No Impact
Traceability	No Impact
Efficiency	No Impact
Safety precaution	No Impact

Programmatic Use

Parameter: OutputRangeMode for use with pslinkoptions

Parameter: PSOutputRangeMode for use with set_param()

Values: 'None' | 'DesignMinMax'

Default: 'None'

Example:

opt = pslinkoptions(modelname); opt.OutputRangeMode =
                    'DesignMinMax';

Version History

Introduced in R2016b