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