Exponenta Banner

-results-dir

Задайте папку результатов

Синтаксис

-results-dir resultsFolder

Описание

-results-dir resultsFolder задает, где сохранить результаты анализа. Местоположение по умолчанию в командной строке является текущей папкой.

Обратите внимание на то, что папка результатов очищена и повторно заполнена при каждом запуске. Чтобы избежать случайного удаления файлов во время очистки, вместо того, чтобы использовать существующую папку, которая содержит другие файлы, задают специализированную папку для результатов Polyspace®.

Если при запуске анализ в пользовательском интерфейсе десктопных решений Polyspace, смотрите Анализ Polyspace Запуска Рабочего стола (Polyspace Code Prover).

Примеры

Задайте, чтобы сохранить ваши результаты в 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 Code Prover Server

Поддержка