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