Храните временные файлы в папке результатов
-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
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 в качестве расширений You Code в IDE, введите эту опцию в файл опций анализа. См. файл опций.