-functions-called-after-loop)Задайте функции, которые сгенерированный main должен вызвать после циклического цикла кода
Используйте эту опцию только для кода, сгенерированного из моделей Simulink®.
Задайте функции, которые должен вызвать сгенерированный main после того, как циклический код заканчивается.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция доступна на узле Code Prover Verification.
Командная строка: Используйте опцию -functions-called-after-loop. Смотрите информацию о Командной строке.
Никакое значение по умолчанию
Щелкните
, чтобы добавить поле. Введите имя функции.
Если вы используете оператор разрешения области видимости, чтобы задать функцию от конкретного пространства имен, введите полностью определенное имя, например, myClass::myMethod(int). Если функция не имеет параметра, используйте пустую круглую скобку, например, myClass::myMethod().
Если вы задаете функцию для опции Initialization functions (-functions-called-before-loop), вы не можете задать его для этой опции.
Параметр: -functions-called-after-loop |
| Никакое значение по умолчанию |
Значение: |
Пример (средство поиска ошибки):
|
Пример (программа автоматического доказательства кода):
|
Пример (сервер средства поиска ошибки):
|
Пример (сервер программы автоматического доказательства кода):
|