Verify model generated code (-main-generator)
Specify that a main function must be
generated if it is not present in source files
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 that Polyspace must generate a main function
if it does not find one in the source files.
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 to see this option.
Command line and options file: Use the option
-main-generator. See Command-Line Information.
Settings
This option is always enabled for code generated from models.
Polyspace generates a main function
for the analysis. The generated main contains cyclic
code that executes in a loop. The loop can run an unspecified number
of times.
The main performs the following functions
before the loop begins:
Initializes variables specified by
Parameters (-variables-written-before-loop).Calls the functions specified by
Initialization functions (-functions-called-before-loop).
The main then performs the following functions
in the loop:
Calls the functions specified by
Step functions (-functions-called-in-loop).Writes to variables specified by
Inputs (-variables-written-in-loop).
Finally, the main calls the functions specified by Termination functions (-functions-called-after-loop).
Command-Line Information
Parameter: -main-generator |
| Default: Off |
Example (Bug Finder): polyspace-bug-finder
-sources |
Example (Code Prover):
polyspace-code-prover -sources |
Example (Bug Finder Server): polyspace-bug-finder-server -sources |
Example (Code Prover Server):
polyspace-code-prover-server -sources |
