-doc | -documentation

Отобразите документацию 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

См. также