-functions-called-before-loop)Задайте функции, которые сгенерированы main необходимо вызвать перед циклическим циклом кода
Используйте эту опцию только для кода, сгенерированного из MATLAB® код или Simulink® модели.
Задайте функции, которые сгенерированы main необходимо вызвать перед началом циклического кода.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция доступна на узле Code Prover Verification. Эта опция отображается только при открытии строения проекта из Simulink.
Командная строка и файл опций: Используйте опцию -functions-called-before-loop. См. «Информация о командной строке».
По умолчанию нет
Щелкните
, чтобы добавить поле. Введите имя функции.
Если вы используете оператор разрешения возможностей для задания функции из определенного пространства имен, введите полное имя, например myClass::init(int). Если функция не имеет параметра, используйте пустую круглую скобку, например myClass::init().
Если вы задаете функцию для опции Termination functions (-functions-called-after-loop), вы не можете задать его для этой опции.
Параметр: -functions-called-before-loop |
| По умолчанию нет |
Значение: |
Пример (Bug Finder): Polyspace Bug Finder -sources |
Пример (Code Prover):
Polyspace Code Prover -sources file_name |
Пример (Bug Finder Server):
polyspace-bug-finder-server -sources file_name |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |