-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 -sources |
Пример (проверка кода): polyspace-code-prover -sources |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |