主要内容

-h | -help

显示可能选项的列表

语法

-h
-help

描述

-h-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