Main Content

-list-all-values

Display valid option arguments for a given command-line option

Since R2020a

Syntax

-list-all-values option

Description

-list-all-values option displays all the valid option arguments for the command-line option option.

Examples

Display the valid option arguments for 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

Version History

Introduced in R2020a