-main-generator)Укажите, что функция main должна быть сгенерирована, если она не присутствует в исходных файлах
В Средстве поиска Ошибки используйте эту опцию только для кода, сгенерированного из моделей 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 |
| Значение по умолчанию: на |
Пример (средство поиска ошибки): |
Пример (программа автоматического доказательства кода):
|
Пример (сервер средства поиска ошибки): |
Пример (сервер программы автоматического доказательства кода):
|
Initialization functions (-functions-called-before-loop) | Inputs (-variables-written-in-loop) | Parameters (-variables-written-before-loop) | Step functions (-functions-called-in-loop) | Termination functions (-functions-called-after-loop) | Verify model generated code (-main-generator)