-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 |
| По умолчанию нет |
Значение: |
Пример (поиск ошибок): polyspace-bug-finder -sources |
Пример (проверка кода):
polyspace-code-prover -sources |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |