Отображение допустимых аргументов параметра для данного параметра командной строки
-list-all-values option
-list-all-values отображает все допустимые аргументы для параметра командной строки optionoption.
Отображение допустимых аргументов опции для опции -misra3:
Finder™ ошибок Polyspace ®:
polyspace-bug-finder -list-all-values -misra3
Prover™ кода Polyspace:
polyspace-code-prover -list-all-values -misra3
Server™ поиска ошибок Polyspace:
polyspace-bug-finder-server -list-all-values -misra3
Сервер проверки кода Polyspace:
polyspace-code-prover-server -list-all-values -misra3