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