Отобразите номер версии Polyspace
-v
-version
-v или -version отображает номер версии вашего продукта Polyspace®.
Отобразите номер версии и релиз вашего Продукта polyspace:
Bug Finder:
polyspace-bug-finder -v
Программа автоматического доказательства кода:
polyspace-code-prover -v
Сервер Bug Finder:
polyspace-bug-finder-server -v
Сервер программы автоматического доказательства кода:
polyspace-code-prover-server -v
