Enable additional file list

Option to add additional supporting code files to analysis

Model Configuration Pane: Polyspace

Description

The Enable additional file list parameter enables you to include additional source files in the Polyspace^® analysis. For example, if you use handwritten C or C++ files for testing results from the code generated from a Simulink^® model, or for providing inputs to the generated code, select this parameter to add the additional C or C++ files to the Polyspace analysis.

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: The analysis includes no additional files.
On: Polyspace analyzes the specified C/C++ files with the generated code. Click the Select files button to specify these additional files.

Recommended Settings

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

Programmatic Use

Parameter: EnableAdditionalFileList for use with pslinkoptions

Parameter: PSEnableAdditionalFileList for use with set_param()

Values: 'false' | 'true'

Default: 'false'

Example:

opt = pslinkoptions(modelname); opt.EnableAdditionalFileList =
                    true;

Version History

Introduced in R2016b