При использовании Polyspace®, вы можете хотеть изменить некоторые опции анализа по умолчанию. Можно изменить опции, чтобы работать вокруг проблем компиляции, изменить предположения программы автоматического доказательства Кода, изменить поведение проверки, и так далее. Опции организованы здесь по данным групп на панели Configuration в пользовательском интерфейсе десктопных решений Polyspace.
Можно задать опции анализа при помощи пользовательского интерфейса рабочего стола Polyspace, интерфейса командной строки Polyspace или файла опций.
Пользователь Polyspace Interface:To изменяют опции анализа модуля проекта в Project Browser, выбирает узел Configuration модуля. В панели Configuration измените опции по мере необходимости. Смотрите Анализ Запуска в Пользовательском интерфейсе Рабочего стола Polyspace.
Командная строка: Чтобы задать опции анализа когда рабочие исследования Polyspace из командной строки, добавьте опции к polyspace-code-prover или polyspace-code-prover-server. Смотрите запущенный анализ Polyspace из командной строки.
Файл опций: файл опций является текстовым файлом с одной парой значения опции в каждой линии. Вместо того, чтобы перечислить много опций явным образом, можно задать файл опций в командной строке как значение к опции -options-file. Смотрите файлы опций для анализа Polyspace.
