exponenta event banner

Использовать пользовательский файл проекта

Настройка параметров конфигурации Polyspace ® с помощью пользовательского.psprj файл

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

Настройки

По умолчанию: Откл.

Прочь

Анализ использует опции конфигурации из параметров конфигурации проекта.

На

Анализ использует опции конфигурации из указанного .psprj файл проекта.

Зависимость

Параметр Settings from переопределяет пользовательские параметры конфигурации для правил кодирования. Если необходимо использовать пользовательские параметры правил кодирования, установите Параметры в меню > Конфигурация проекта.

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

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

pslinkoptions функция позволяет создать объект опций Polyspace, который можно повторно использовать для нескольких моделей. Вы также можете использовать set_param (Simulink), чтобы связать это свойство с моделью. Использовать параметры PSEnablePrjConfigFile и PSPrjConfigFile с теми же значениями, что и для pslinkoptions свойства EnablePrjConfigFile и PrjConfigFile. См. раздел Свойства pslinkoptions.

См. также

|

Связанные темы