Parameters (-variables-written-before-loop)

Задайте переменные что сгенерированный main должен инициализировать перед циклическим циклом кода

Описание

Используйте эту опцию только в коде, сгенерированном из моделей Simulink®.

Задайте переменные что сгенерированный main должен инициализировать, прежде чем циклический цикл кода начинается. Прежде чем цикл начинается, Polyspace® полагает, что эти переменные имеют любое значение, позволенное их типом.

Установите опцию

Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция доступна на узле Code Prover Verification.

Командная строка: Используйте опцию -variables-written-before-loop. Смотрите информацию о командной строке.

Настройки

Значение по умолчанию: none

none

Сгенерированный main не инициализирует переменные.

all

Сгенерированный main инициализирует все переменные кроме объявленных с ключевым словом const.

custom

Сгенерированный main только инициализирует переменные, которые вы задаете. Щелкните, чтобы добавить поле. Введите имя переменной. Для участников класса C++ используйте синтаксис className::variableName.

Информация о командной строке

Параметр: -variables-written-before-loop
Значение: none | all | custom=variable1[, variable2[,...]]
Значение по умолчанию: public
Пример (Средство поиска Ошибки): Polyspace Bug Finder - источники file_name - основной генератор "переменные, записанные перед циклом" все
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - источники file_name - основной генератор "переменные, записанные перед циклом" все
Пример (Сервер Средства поиска Ошибки): сервер средства поиска ошибки полипробела - источники file_name - основной генератор "переменные, записанные перед циклом" все
Пример (Сервер Программы автоматического доказательства Кода): сервер программы автоматического доказательства полипробела кода - источники file_name - основной генератор "переменные, записанные перед циклом" все