メインコンテンツ

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

-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