-I)Просмотр папок, используемых для анализа
Этот параметр относится только к пользовательскому интерфейсу продукции Polyspace ® для настольных ПК.
Просмотр папок включения, используемых для анализа.
Эта опция не задана в конфигурации проекта. Можно просматривать только папки включения в конфигурации, связанной с результатом. Например, в интерфейсе пользователя:
Для добавления папок включения в Диспетчере проектов щелкните правой кнопкой мыши на проекте. Выберите Добавить источник.
Чтобы просмотреть папки включения, которые вы использовали, открыв результаты, выберите «Окно» > «Показать/скрыть представление» > «Конфигурация». В узле «Параметры среды» отображаются папки, перечисленные в разделе «Включить папки».
Эта опция доступна только для чтения только при просмотре результатов в пользовательском интерфейсе настольных продуктов Polyspace. В отличие от других параметров, папки включения не указываются на панели Конфигурация (Configuration). Вместо этого папки включения добавляются на панели «Диспетчер проектов».