Termination functions (-functions-called-after-loop)

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

Описание

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

Задайте функции, которые сгенерированы main должен вызываться после окончания циклического кода.

Задать опцию

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

Командная строка и файл опций: Используйте опцию -functions-called-after-loop. См. «Информация о командной строке».

Настройки

По умолчанию нет

Щелкните, чтобы добавить поле. Введите имя функции.

Если вы используете оператор разрешения возможностей для задания функции из определенного пространства имен, введите полное имя, например myClass::myMethod(int). Если функция не имеет параметра, используйте пустую круглую скобку, например myClass::myMethod().

Совет

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

Параметр: -functions-called-after-loop
По умолчанию нет
Значение: function1[, function2[,...]]
Пример (Bug Finder): Polyspace Bug Finder -sources file_name -main-generator цикл myfunc
Пример (Code Prover): Polyspace Code Prover -sources file_name -main-generator цикл myfunc
Пример (Bug Finder Server): polyspace-bug-finder-server -sources file_name -main-generator цикл myfunc
Пример (Код Prover Server): Полипространство -code-prover-server -sources file_name -main-generator цикл myfunc