输入 (`-variables-written-in-loop`)

指定生成的 main 在有环代码循环中必须初始化的变量

描述

如果从 Simulink^® 或 MATLAB^® 对生成的代码运行 Polyspace^®，则会自动设置此选项。如果在 Simulink 或 MATLAB 之外对生成的代码运行 Polyspace，则请手动设置此选项。

指定生成的 main 必须在有环代码循环的每次迭代开始时初始化的变量。在每次循环迭代开始时，Polyspace 会将这些变量视为具有其类型所允许的任意值。

使用以下方法之一设置选项：

Polyspace 用户界面（仅限桌面端产品）：在您的工程配置中，选择 Code Prover 验证节点，然后为此选项选择值。只有当您从 Simulink 打开工程配置时，才会看到此选项。
命令行和选项文件：请使用 -variables-written-in-loop 选项。请参阅命令行信息。

默认值：无

无: 生成的 main 不初始化变量。
all: 生成的 main 会初始化所有变量（使用关键字 const 声明的那些变量除外）。
custom: 生成的 main 仅初始化您指定的变量。点击来添加一个字段。输入变量名称。对于 C++ 类成员，请使用语法 className::variableName。

参数：-variables-written-in-loop

值：none | all | custom=variable1[,variable2[,...]]

默认值：none

示例 (Bug Finder)：polyspace-bug-finder -sources file_name -main-generator -variables-written-in-loop all

示例 (Code Prover)：polyspace-code-prover -sources file_name -main-generator -variables-written-in-loop all

示例 (Bug Finder Server)：polyspace-bug-finder-server -sources file_name -main-generator -variables-written-in-loop all

示例 (Code Prover Server)：polyspace-code-prover-server -sources file_name -main-generator -variables-written-in-loop all