-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 |
Пример (Средство поиска Ошибки): Polyspace Bug Finder - источники |
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - источники |
Пример (Сервер Средства поиска Ошибки):
сервер средства поиска ошибки полипробела - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |