Дисплейный список возможных вариантов
-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
