-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