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

ApplicationSetting
DebuggingNo Impact
TraceabilityNo Impact
EfficiencyNo Impact
Safety precautionNo 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

expand all

See Also

|

Topics