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

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

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

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

Run Bug Finder or Code Prover analysis on a remote cluster (-batch)Включите пакетный удаленный анализ