Input

Option to choose whether to constrain Inport block variables

Model Configuration Pane: Polyspace

Description

The Input parameter determines whether Polyspace^® assumes that the input variables in the generated code are bounded by maximum and minimum values for their corresponding Inport blocks, or are allowed to take on the full range of values..

locate this option in the Data Range Management section of the Polyspace pane.

Settings

Use specified minimum and maximum values (default) | Unbounded inputs

Use specified minimum and maximum values: Polyspace assumes minimum and maximum values for input variables. These values are specified in the corresponding Inport block dialog box. Use this option to reduce the number of orange Polyspace Code Prover™ checks or false positive coding rule violations.
Unbounded inputs: Polyspace assumes full range for input variables. Use this value to run an analysis that includes values outside the expected range ranges of the input variables.

Recommended Settings

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

Programmatic Use

Parameter: InputRangeMode for use with pslinkoptions

Parameter: PSInputRangeMode for use with set_param()

Values: 'DesignMinMax' | 'FullRange'

Default: 'DesignMinMax'

Example : opt = pslinkoptions(modelname); opt.InputRangeMode = 'FullRange';

Version History

Introduced in R2016b