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