主要内容

-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 中推出