Use custom project file

R2026b

Option to use custom configuration from a Polyspace project (.psprjx) 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 the Project configuration in the project that opens when you click Polyspace Settings on the Polyspace tab of the Simulink^® toolstrip. To use the configuration options from a different project to run your analysis, set this option to On. By default, this parameter supports project templates of type .psprjx. You can also use templates of .psprj type.

You can save .psprjx 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 .psprjx 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.psprjx'

Version History

Introduced in R2016b

R2026a: Parameter supports .psprjx

The parameter supports project files of type .psprjx by default.