-variables-written-in-loop
)Задайте переменные, которые генерирует main
необходимо инициализировать в циклическом цикле кода
Используйте эту опцию только для кода, сгенерированного из MATLAB® код или Simulink® модели.
Задайте переменные, которые генерирует main
необходимо инициализировать в начале каждой итерации циклического цикла кода. В начале каждой итерации цикла Polyspace® считает, что эти переменные имеют любое значение, разрешенное их типом.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция доступна на узле Code Prover Verification. Эта опция отображается только при открытии строения проекта из Simulink.
Командная строка и файл опций: Используйте опцию -variables-written-in-loop
. См. «Информация о командной строке».
По умолчанию: none
none
Сгенерированный main
не инициализирует переменные.
all
Сгенерированный main
инициализирует все переменные, кроме объявленных с ключевым словом const
.
custom
Сгенерированный main
инициализирует только заданные переменные. Щелкните, чтобы добавить поле. Введите имя переменной. Для членов класса C++ используйте синтаксис className::variableName
.
Параметр: -variables-written-in-loop |
Значение: none | all | custom |
По умолчанию: none |
Пример (Bug Finder):
Polyspace Bug Finder -sources file_name |
Пример (Code Prover): Polyspace Code Prover -sources |
Пример (Bug Finder Server):
polyspace-bug-finder-server -sources file_name |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |