Установите усовершенствованные параметры конфигурации настроить анализ.
Откройте Polyspace® Окно Configuration при помощи кнопки Configure. Настройте дополнительные настройки в этом окне и сохраните свою настройку проекта. Если вы добавили пользовательский файл проекта в Использовании параметра пользовательский файл проекта, ту настройку файла проекта показывают. В противном случае шаблон проекта по умолчанию используется.
Для получения дополнительной информации о расширенных настройках, см. Полный список Опций анализа Polyspace Code Prover.
Параметр Settings from заменяет настройки пользовательской конфигурации для кодирования правил. Если вы хотите использовать свои пользовательские настройки правила кодирования, установите Settings from> Project configuration.
Используйте проект Polyspace (.psprj файл) с pslinkoptions свойства EnablePrjConfigFile и PrjConfigFile.
polyspace.ModelLinkOptions | pslinkoptions | Свойства pslinkoptions
