Укажите папку результатов
-results-dir resultsFolder
-results-dir задает, где сохранить результаты анализа. Местоположение по умолчанию в командной строке является текущей папкой.resultsFolder
Обратите внимание, что папка результатов очищается и повторно заполняется при каждом запуске. Чтобы избежать случайного удаления файлов во время очистки, вместо использования существующей папки, содержащей другие файлы, укажите выделенную папку для Polyspace® результаты.
Если анализ выполняется в пользовательском интерфейсе десктопных продуктов Polyspace, см. Запуск анализа Polyspace на рабочем столе».
Задайте, чтобы сохранить результаты в RESULTS папка:
Bug Finder:
polyspace-bug-finder -results-dir RESULTS
Code Prover:
polyspace-code-prover -results-dir RESULTS
Сервер Bug Finder:
polyspace-bug-finder-server -results-dir RESULTS
Код Code Prover:
polyspace-code-prover-server -results-dir RESULTS
Имя папки результатов можно создать на основе даты и времени верификации. Для образца в интерпретатор Bash введите эти команды, чтобы создать переменную RESULTS который начинается с results_ и содержит текущую дату и время:
export DATETIME=$(date +%d%B_%HH%M_%A) export RESULTS=results_$DATE
RESULTS как аргумент опции -results-dir:-results-dir $RESULTS
Если вы используете Polyspace в качестве расширений You Code в IDE, эта опция реализуется с помощью настройки расширения IDE. Вы не должны использовать эту опцию явным образом. Если вы хотите явным образом использовать эту опцию, введите опцию в файл опций анализа. См. файл опций.