Main Content

Main Generator

Main generation; initialization, step, and termination functions; parameters and input variables

Use these options for code generated from Simulink® models. See Bug Finder Analysis in Simulink.

Polyspace Options

Verify model generated code (-main-generator)Specify that a main function must be generated if it is not present in source files
Parameters (-variables-written-before-loop)Specify variables that the generated main must initialize before the cyclic code loop
Inputs (-variables-written-in-loop)Specify variables that the generated main must initialize in the cyclic code loop
Initialization functions (-functions-called-before-loop)Specify functions that the generated main must call before the cyclic code loop
Step functions (-functions-called-in-loop)Specify functions that the generated main must call in the cyclic code loop
Termination functions (-functions-called-after-loop)Specify functions that the generated main must call after the cyclic code loop

Topics