Сохраните временные файлы в папке результатов
-tmp-dir-in-results-dir
-tmp-dir-in-results-dir указывает, что временные файлы должны храниться в подпапке папки результатов. Используйте эту опцию только, когда стандартная временная папка не будет иметь достаточного количества дискового пространства. Если папка результатов смонтирована на сетевом диске, эта опция может замедлить ваш процессор.
Чтобы изучить, как Polyspace® определяет временное местоположение папки, смотрите Устройство хранения данных Временных Файлов (Polyspace Code Prover).
Если при запуске анализ от пользовательского интерфейса (только десктопные решения 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
