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