main 函数生成器

main 函数生成；初始化函数、单步函数和终止函数；参数和输入变量

将这些选项用于从 Simulink^® 模型生成的代码。请参阅 Simulink 中进行 Bug Finder 分析。

Polyspace 选项

`校验模型生成的代码 (-main-generator)`	指定如果在源文件中不存在 `main` 函数，则必须生成该函数
`参数 (-variables-written-before-loop)`	Specify variables that the generated `main` must initialize before the cyclic code loop
`输入 (-variables-written-in-loop)`	Specify variables that the generated `main` must initialize in the cyclic code loop
`初始化函数 (-functions-called-before-loop)`	Specify functions that the generated `main` must call before the cyclic code loop
`单步函数 (-functions-called-in-loop)`	Specify functions that the generated `main` must call in the cyclic code loop
`终止函数 (-functions-called-after-loop)`	Specify functions that the generated `main` must call after the cyclic code loop