-main-generator)Укажите, что main функция должна быть сгенерирована, если она отсутствует в исходных файлах
В программе Bug Finder этот параметр используется только для кода, созданного в моделях MATLAB ® или Simulink ®.
Укажите, что Polyspace ® должен генерировать main если он не находит его в исходных файлах.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Проверка проверочного кода (Code Prover Verification).
файл командной строки и параметров: Использовать параметр -main-generator. См. раздел Сведения о командной строке.
Эта опция всегда включена для кода, созданного из моделей.
Polyspace генерирует main функция для анализа. Произведенный main содержит циклический код, выполняемый в цикле. Цикл может выполняться неуказанное количество раз.
main перед началом цикла выполняет следующие функции:
Инициализирует переменные, указанные Parameters (-variables-written-before-loop).
Вызывает функции, указанные Initialization functions (-functions-called-before-loop).
main затем выполняет в цикле следующие функции:
Вызывает функции, указанные Step functions (-functions-called-in-loop).
Запись в переменные, указанные Inputs (-variables-written-in-loop).
Наконец, main вызывает функции, указанные Termination functions (-functions-called-after-loop).
Параметр: -main-generator |
| По умолчанию: Вкл. |
Пример (поиск ошибок): polyspace-bug-finder -sources |
Пример (проверка кода):
polyspace-code-prover -sources |
Пример (сервер поиска ошибок): polyspace-bug-finder-server -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |