Отобразите документацию Polyspace в браузере документации
-doc
-documentation
-doc и -documentation открывает Polyspace® веб-документация в вашем веб-браузере по умолчанию. Вы видите информацию, такую как начало работы, рабочие процессы и страницы с описанием для команд и опций анализа. Можно также перерыть документацию.
Отобразите документацию Polyspace в браузере документации:
Bug Finder:
polyspace-bug-finder -doc polyspace-bug-finder -documentation
Code Prover:
polyspace-code-prover -doc polyspace-code-prover -documentation
Сервер Bug Finder:
polyspace-bug-finder-server -doc polyspace-bug-finder-server -documentation
Сервер Code Prover:
polyspace-code-prover-server -doc polyspace-code-prover-server -documentation
