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