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