Задайте папку результатов
-results-dir resultsFolder
-results-dir задает, где сохранить результаты анализа. Местоположение по умолчанию в командной строке является текущей папкой.resultsFolder
Обратите внимание на то, что папка результатов очищена и повторно заполнена при каждом запуске. Чтобы избежать случайного удаления файлов во время очистки, вместо того, чтобы использовать существующую папку, которая содержит другие файлы, задают специализированную папку для результатов Polyspace®.
Если при запуске анализ в пользовательском интерфейсе десктопных решений Polyspace, смотрите Анализ Polyspace Запуска Рабочего стола.
Задайте, чтобы сохранить ваши результаты в RESULTS папка:
Bug Finder:
polyspace-bug-finder -results-dir RESULTS
Программа автоматического доказательства кода:
polyspace-code-prover -results-dir RESULTS
Сервер Bug Finder:
polyspace-bug-finder-server -results-dir RESULTS
Сервер программы автоматического доказательства кода:
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 в качестве Вас Расширения кода в ИДАХ, эта опция реализована посредством установки расширения IDE. Вы не должны использовать эту опцию явным образом. Если вы хотите явным образом использовать эту опцию, введите опцию в файл опций анализа. Смотрите файл опций.