Main Content

Project configuration

Set advanced configuration options to customize analysis

Model Configuration Pane: Polyspace

Description

Specify advanced configuration options for Polyspace® analysis in the Configuration window. For example, you can specify your target hardware, compiler, and other analysis settings.

For details about these Polyspace options, see Complete List of Polyspace Code Prover Analysis Options.

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, from the Settings from list, select Project configuration.

  • You can specify a custom configuration using a .psprj file in the command line:

    • Set the parameter EnablePrjConfigFile to true.

    • Specify the full path to the file containing the custom configuration in the parameter PrjConfigFile.

Settings

N/A

Customize additional settings in the Polyspace Configuration window and save your project configuration. If you added a custom project file in the parameter Use custom project file, that project file configuration is shown. Otherwise, the default project template is used.

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;

Version History

Introduced in R2016b

See Also

| |

Topics