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