Parameters (-variables-written-before-loop)

Specify variables that the generated main must initialize before the cyclic code loop

Description

This option is automatically set if you run Polyspace^® from Simulink^® or MATLAB^® on generated code. If you run Polyspace on generated code outside Simulink or MATLAB, set this option manually.

Specify variables that the generated main must initialize before the cyclic code loop begins. Before the loop begins, Polyspace considers these variables to have any value allowed by their type.

Set Option

Set the option using one of these methods:

• Polyspace user interface (desktop products only): In your project configuration, select the Code Prover Verification node and then select a value for this option. You see this option only if you open a project configuration from Simulink.

• Command line and options file: Use the option -variables-written-before-loop. See Command-Line Information.

Settings

Default: none

none

The generated main does not initialize variables.

all

The generated main initializes all variables except those declared with keyword const.

custom

The generated main only initializes variables that you specify. Click to add a field. Enter variable name. For C++ class members, use the syntax className::variableName.

Command-Line Information

Parameter: -variables-written-before-loop

Value: none | all | custom=variable1[,variable2[,...]]

Default: none

Example (Bug Finder): polyspace-bug-finder -sources file_name -main-generator -variables-written-before-loop all

Example (Code Prover): polyspace-code-prover -sources file_name -main-generator -variables-written-before-loop all

Example (Bug Finder Server): polyspace-bug-finder-server -sources file_name -main-generator -variables-written-before-loop all

Example (Code Prover Server): polyspace-code-prover-server -sources file_name -main-generator -variables-written-before-loop all