验证模型生成的代码 (-main-generator)
指定如果在源文件中不存在 main 函数，则必须生成该函数
描述
设置
对于从模型生成的代码，此选项始终处于启用状态。
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 |
