Установите 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 Свойства