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