Аналитические опции

Описания аналитических опций

Категории аналитических опций сопоставляют с различными панелями панели Configuration. Можно задать аналитические опции от панели Configuration в пользовательском интерфейсе или использовании polyspace-code-prover в командной строке. Параметры командной строки включены в аналитическое описание опции.