Отобразите допустимые аргументы опции для данного параметра командной строки
-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
