-verif-version

Присвоение идентификатора версии

Синтаксис

-verif-version id

Описание

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

Примеры

Присвойте идентификатор верификации:

  • Bug Finder:

    polyspace-bug-finder -verif-version 1.3
  • Code Prover:

    polyspace-code-prover -verif-version 1.3
  • Сервер Bug Finder:

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

  • Код Code Prover:

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

Совет

Эта опция не полезна для Polyspace в качестве You Code.