Используйте эти опции для кода, сгенерированного из 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 или скриптах.