Укажите автора проекта
-author "value"
-author присваивает автора Polyspace® проект. Имя появляется как владелец проекта в Polyspace Metrics и в сгенерированных отчетах."value"
Значение по умолчанию является именем пользователя текущего пользователя, заданным командой DOS или UNIX whoami.
В пользовательском интерфейсе десктопных продуктов Polyspace выберите
, чтобы задать параметры имя, Version и Author в диалоговом окне Polyspace Project – Properties.
Назначьте автора проекта своему Polyspace Project.
Bug Finder:
polyspace-bug-finder -author "John Smith"
Code Prover:
polyspace-code-prover -author "John Smith"
Сервер Bug Finder:
polyspace-bug-finder-server -author "John Smith"
Код Code Prover:
polyspace-code-prover-server -author "John Smith"
Эта опция не требуется для анализа Polyspace во время You Code.
