Verify all S-function occurrences

Option to analyze all instances of selected S-Function block

Model Configuration Pane: Polyspace

Description

The Verify all S-function occurrences parameter determines whether Polyspace^® analyzes all instances of an S-Function block in a model or only the selected instance of the S-Function block.

You can find this parameter in the Polyspace pane of the Configuration Parameters dialog box, in the Advanced parameters section.

Settings

off (default) | On

Off: Analyze only the selected instance of a S-Function block. The analysis includes only information from the selected block.
On: Analyze all instances of a S-function block in the model. Information from all instances is included in the analysis.

Recommended Settings

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

Programmatic Use

Parameter: VerifALLSFcnInstances for use with pslinkoptions

Parameter: PSVerifALLSFcnInstances for use with set_param()

Values: 'false' | 'true'

Default: 'false'

Example: opt = pslinkoptions(modelname); opt.VerifALLSFcnInstances = true;

Version History

Introduced in R2016b