-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 |
| Значение по умолчанию: On |
Пример (Bug Finder): Polyspace Bug Finder - источники |
Пример (Программа автоматического доказательства Кода):
Polyspace Code Prover - источники |
Пример (Сервер Bug Finder): сервер средства поиска ошибки полипробела - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |
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)