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