Use custom project file

Option to use custom configuration from a Polyspace project (.psprj) file

Model Configuration Pane: Polyspace

Description

The parameter Use custom project file determines which configuration a Polyspace^® analysis uses. By default, Polyspace runs verifications by using configurations from the project you specify by clicking Configure in Project configuration. To use a different project to run your analysis, set this option to On.

You can save .psprj files with different configurations and then use this option to choose a custom configuration for your Polyspace analysis.

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

Dependencies

The parameter Settings from (C) or Settings from (C++) overrides custom configuration settings for coding rules. If you want to use your custom coding rule settings, set Settings from > Project configuration.

Settings

off (default) | on

Off: Analysis uses configuration options from Project configuration parameters.
On: Analysis uses configuration options from the specified .psprj project file.

Recommended Settings

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

Programmatic Use

Parameter: EnablePrjConfigFile for use with pslinkoptions

Parameter: PSEnablePrjConfigFile for use with set_param()

Values: 'false' | 'true'

Default: 'false'

Example:

opt = pslinkoptions(modelname); opt.EnablePrjConfigFile = true;
                    opt.PrjConfigFile =
                    'custom_config_template.psprj'

Version History

Introduced in R2016b