-list-all-values
显示给定命令行选项的有效参量
语法
-list-all-values option
描述
-list-all-values 显示命令行选项 optionoption 的所有有效选项参量。
示例
显示 -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 中推出