Используйте эти опции для кода, сгенерированного из моделей Simulink®. Смотрите Анализ Polyspace Сгенерированного кода.
Verify model generated code (-main-generator) | Укажите, что основная функция должна быть сгенерирована, если она не присутствует в исходных файлах |
Parameters (-variables-written-before-loop) | Задайте переменные, которые сгенерированное основное должно инициализировать перед циклическим циклом кода |
Inputs (-variables-written-in-loop) | Задайте переменные, которые сгенерированное основное должно инициализировать в циклическом цикле кода |
Initialization functions (-functions-called-before-loop) | Задайте функции, которые сгенерированное основное должно вызвать перед циклическим циклом кода |
Step functions (-functions-called-in-loop) | Задайте функции, которые сгенерированное основное должно вызвать в циклическом цикле кода |
Termination functions (-functions-called-after-loop) | Задайте функции, которые сгенерированное основное должно вызвать после циклического цикла кода |
Задайте аналитические опции Polyspace
Задайте аналитические опции Polyspace® в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.
