Настройки выполнения

Удаленный анализ, репозиторий результатов

Чтобы разгрузить анализ Polyspace® к другому серверу или отсканировать ваш код быстрее, используйте эти опции.

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

Run Bug Finder or Code Prover analysis on a remote cluster (-batch)Включите пакетный удаленный анализ
Use fast analysis mode for Bug Finder (-fast-analysis)Запустите анализ с помощью быстрее локальный режим