Main Content

-h | -help

Display list of possible options

Syntax

-h
-help

Description

-h and -help display the list of possible options in the command window along with option argument syntax.

Examples

Display the command-line help:

  • Bug Finder:

    polyspace-bug-finder -h
polyspace-bug-finder -help

  • Code Prover:

    polyspace-code-prover -h
polyspace-code-prover -help

  • Bug Finder Server:

    polyspace-bug-finder-server -h
polyspace-bug-finder-server -help

  • Code Prover Server:

    polyspace-code-prover-server -h
polyspace-code-prover-server -help

See Also