Включите дополнительный список файлов

Добавьте дополнительные файлы кода поддержки в анализ.

Например, предположите, что вы используете файлы C в тестировании результатов сгенерированного кода или обеспечения входных параметров к сгенерированному коду. Анализ сгенерированного кода только считает файлы сгенерированными из модели Simulink®. Если вы хотите, чтобы анализ рассмотрел файлы C, которые вы используете в тестировании или входных параметрах, обеспечиваете их как дополнительные файлы.

Категория параметров конфигурации модели: Polyspace

Настройки

Значение по умолчанию: 'off'

'off'

Анализ не включает дополнительных файлов.

На

Polyspace® анализирует заданные файлы C/C++ со сгенерированным кодом. Используйте кнопку Select files, чтобы задать эти дополнительные файлы.

Информация о командной строке

Используйте pslinkoptions свойства EnableAdditionalFileList и AdditionalFileList.

pslinkoptions функция позволяет вам создавать Polyspace, опции возражают, что можно снова использовать для многоуровневых моделей. Можно также использовать set_param функционируйте, чтобы сопоставить это свойство с моделью. Используйте параметры PSEnableAdditionalFileList и PSAdditionalFileList с теми же значениями что касается pslinkoptions свойства EnableAdditionalFileList и AdditionalFileList. См. pslinkoptions Свойства.

Смотрите также

|

Похожие темы