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