exponenta event banner

-verif-версия

Назначение идентификатора версии

Синтаксис

-verif-version id

Описание

-verif-version id назначает идентификатор, id, чтобы определить анализ. Этот идентификатор можно использовать для ссылки на различные анализы в командной строке. Например, можно импортировать комментарии из предыдущего анализа с помощью идентификатора.

Примеры

Назначить идентификатор проверки:

  • Поиск ошибок:

    polyspace-bug-finder -verif-version 1.3
  • Проверка кода:

    polyspace-code-prover -verif-version 1.3
  • Сервер поиска ошибок:

    polyspace-bug-finder-server -verif-version 1.3

  • Сервер проверки кода:

    polyspace-code-prover-server -verif-version 1.3

Совет

Этот параметр неприменим для Polyspace в качестве кода.