验证模型生成的代码 (-main-generator)
指定如果在源文件中不存在 main 函数，则必须生成该函数
描述
如果从 Simulink® 或 MATLAB® 对生成的代码运行 Polyspace®，则会自动设置此选项。如果在 Simulink 或 MATLAB 之外对生成的代码运行 Polyspace，则请手动设置此选项。
指定当 Polyspace 在源文件中未找到 main 函数时必须生成该函数。
设置选项
使用以下方法之一设置选项：
Polyspace 平台用户界面（仅限桌面端产品）：在您的工程配置中，在静态分析选项卡上，选择运行时错误节点，然后选择此选项。仅当您从 Simulink 打开 Polyspace 平台用户界面时，此选项才会显示。
设置
对于从模型生成的代码，此选项始终处于启用状态。
Polyspace 可生成用于分析的 main 函数。生成的 main 包含在循环中执行的有环代码。可以不指定循环的运行次数。
main 在循环开始前执行以下函数：
初始化由
参数 (-variables-written-before-loop)指定的变量。调用由
初始化函数 (-functions-called-before-loop)指定的函数。
然后，main 在循环中执行以下函数：
调用由
单步函数 (-functions-called-in-loop)指定的函数。写入由
输入 (-variables-written-in-loop)指定的变量。
最后，main 调用由终止函数 (-functions-called-after-loop) 指定的函数。
命令行信息
参数：-main-generator |
| 默认值：关闭 |
示例 (Bug Finder)：polyspace-bug-finder -sources |
示例 (Code Prover)：polyspace-code-prover -sources |
示例 (Bug Finder Server)：polyspace-bug-finder-server -sources |
示例 (Code Prover Server)：polyspace-code-prover-server -sources |
