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
