-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 | |
Значение по умолчанию: public |
Пример (средство поиска ошибки): |
Пример (программа автоматического доказательства кода): |
Пример (сервер средства поиска ошибки):
|
Пример (сервер программы автоматического доказательства кода):
|