Установите параметры конфигурации Polyspace® с пользовательским .psprj файл
Категория параметров конфигурации модели: Polyspace
Значение по умолчанию: Off ![]()
Анализ использует параметры конфигурации из параметров Project configuration.
Анализ использует параметры конфигурации из заданного .psprj projectFile .
Параметр Settings from заменяет настройки пользовательской конфигурации для кодирования правил. Если вы хотите использовать свои пользовательские настройки правила кодирования, установите Settings from> Project configuration.
Используйте pslinkoptions свойства EnablePrjConfigFile и PrjConfigFile.
pslinkoptions функция позволяет вам создавать Polyspace, опции возражают, что можно снова использовать для многоуровневых моделей. Можно также использовать set_param (Simulink) функция, чтобы сопоставить это свойство с моделью. Используйте параметры PSEnablePrjConfigFile и PSPrjConfigFile с теми же значениями что касается pslinkoptions свойства EnablePrjConfigFile и PrjConfigFile. См. pslinkoptions Свойства.
pslinkoptions | Свойства pslinkoptions