Сохранить временные файлы в папке результатов
-tmp-dir-in-results-dir
-tmp-dir-in-results-dir указывает, что временные файлы должны храниться во вложенной папке папки результатов. Используйте этот параметр, только если в стандартной временной папке недостаточно места на диске. Если папка результатов установлена на сетевом диске, этот параметр может замедлить работу процессора.
Сведения о том, как Polyspace ® определяет расположение временной папки, см. в разделе Хранение временных файлов.
Если анализ выполняется из интерфейса пользователя (только для настольных продуктов Polyspace), на панели Конфигурация (Configuration) можно ввести этот параметр в поле Другое (Other). Посмотрите Other.
Сохранить временные файлы в папке результатов:
Поиск ошибок:
polyspace-bug-finder -tmp-dir-in-results-dir
Проверка кода:
polyspace-code-prover -tmp-dir-in-results-dir
Сервер поиска ошибок:
polyspace-bug-finder-server -tmp-dir-in-results-dir
Сервер проверки кода:
polyspace-code-prover-server -tmp-dir-in-results-dir
Если в качестве расширений кода в IDE используется Polyspace, введите эту опцию в файл опций анализа. См. файл параметров.