-v | -version

Отобразите номер версии Polyspace

Синтаксис

-v
-version

Описание

-v или -version отображает номер версии вашего Polyspace® продукт.

Примеры

Отображение номера версии и релиза продукта Polyspace:

  • Bug Finder:

    polyspace-bug-finder -v
  • Code Prover:

    polyspace-code-prover -v
  • Сервер Bug Finder:

    polyspace-bug-finder-server -v

  • Код Code Prover:

    polyspace-code-prover-server -v