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