Main Content

-doc | -documentation

Display Polyspace documentation in web browser

Syntax

-doc
-documentation

Description

-doc and -documentation opens the Polyspace® web documentation in your default web browser. You can see information such as getting started, workflows and reference pages for commands and analysis options. You can also search through the documentation.

Examples

Display Polyspace documentation in your system web browser:

  • Bug Finder:

    polyspace-bug-finder -doc
polyspace-bug-finder -documentation

  • Code Prover:

    polyspace-code-prover -doc
polyspace-code-prover -documentation

  • Bug Finder Server:

    polyspace-bug-finder-server -doc
polyspace-bug-finder-server -documentation

  • Code Prover Server:

    polyspace-code-prover-server -doc
polyspace-code-prover-server -documentation

See Also