Enable additional file list

Add additional supporting code files to the analysis.

For instance, suppose you use C files for testing results from the generated code or providing inputs to the generated code. The analysis of generated code only considers files generated from the Simulink^® model. If you want the analysis to consider the C files that you use for testing or inputs, provide them as additional files.

Model Configuration Parameters Category: Polyspace

Settings

Default: Off

Off

The analysis includes no additional files.

On

Polyspace^® analyzes the specified C/C++ files with the generated code. Use the Select files button to specify these additional files.

Command-Line Information

Use the pslinkoptions properties EnableAdditionalFileList and AdditionalFileList.

The pslinkoptions function allows you to create a Polyspace options object that you can reuse for multiple models. You can also use the set_param (Simulink) function to associate this property with the model. Use the parameters PSEnableAdditionalFileList and PSAdditionalFileList with the same values as for the pslinkoptions properties EnableAdditionalFileList and AdditionalFileList. See pslinkoptions Properties.