Отобразите номер версии 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