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