メインコンテンツ

-doc | -documentation

Web ブラウザーでの Polyspace ドキュメンテーションの表示

構文

-doc
-documentation

説明

-doc および -documentation は、既定の Web ブラウザーで Polyspace® Web ドキュメンテーションを開きます。コマンドや解析オプションの使い方、ワークフロー、リファレンス ページなどの情報を確認できます。このドキュメンテーションを検索することもできます。

システムの Web ブラウザーで、次のようにして Polyspace ドキュメンテーションを表示します。

  • 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

参考