Укажите папку результатов
-results-dir resultsFolder
-results-dir указывает место сохранения результатов анализа. По умолчанию в командной строке находится текущая папка.resultsFolder
Обратите внимание, что папка результатов очищается и повторно заполняется на каждом прогоне. Чтобы избежать случайного удаления файлов во время очистки, вместо использования существующей папки, содержащей другие файлы, укажите специальную папку для результатов Polyspace ®.
Если анализ выполняется в интерфейсе пользователя настольных продуктов 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
При использовании Polyspace в качестве расширений кода в IDE эта опция реализуется с помощью настройки расширения IDE. Явно использовать этот параметр не требуется. Если требуется явно использовать эту опцию, введите ее в файл опций анализа. См. файл параметров.