-list-all-values

特定のコマンド ライン オプションに対して有効なオプション引数の表示

構文

-list-all-values option

説明

-list-all-values option は、コマンド ライン オプション option に対して有効なすべてのオプション引数を表示します。

例

オプション -misra3 に対して有効なオプション引数を表示します。

  • Polyspace® Bug Finder™:

    polyspace-bug-finder -list-all-values -misra3

  • Polyspace Code Prover™:

    polyspace-code-prover -list-all-values -misra3

  • Polyspace Bug Finder Server™:

    polyspace-bug-finder-server -list-all-values -misra3

  • Polyspace Code Prover Server:

    polyspace-code-prover-server -list-all-values -misra3

バージョン履歴

R2020a で導入

参考

トピック