Main Content

Inputs (-variables-written-in-loop)

Specify variables that the generated main must initialize in 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 at the beginning of every iteration of the cyclic code loop. At the beginning of every loop iteration, Polyspace considers these variables to have any value allowed by their type.

Set Option

User interface (desktop products only): In your project configuration, the option is available on the Code Prover Verification node. You see this option only if you open a project configuration from Simulink.

Command line and options file: Use the option -variables-written-in-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-in-loop
Value: none | all | custom=variable1[,variable2[,...]]
Default: none
Example (Bug Finder): polyspace-bug-finder -sources file_name -main-generator -variables-written-in-loop all
Example (Code Prover): polyspace-code-prover -sources file_name -main-generator -variables-written-in-loop all
Example (Bug Finder Server): polyspace-bug-finder-server -sources file_name -main-generator -variables-written-in-loop all
Example (Code Prover Server): polyspace-code-prover-server -sources file_name -main-generator -variables-written-in-loop all

See Also

|

Topics