Отображение списка возможных опций
-h
-help
-h и -help отображение списка возможных опций в окне команды вместе с синтаксисом аргументов опций.
Отображение справки командной строки:
Поиск ошибок:
polyspace-bug-finder -h polyspace-bug-finder -help
Проверка кода:
polyspace-code-prover -h polyspace-code-prover -help
Сервер поиска ошибок:
polyspace-bug-finder-server -h polyspace-bug-finder-server -help
Сервер проверки кода:
polyspace-code-prover-server -h polyspace-code-prover-server -help