Укажите автора проекта
-author "value"
-author назначает автора проекту Polyspace ®. Имя отображается как владелец проекта в Полиспейс Метрикс и в созданных отчетах."value"
Значением по умолчанию является имя текущего пользователя, заданное командой DOS или UNIX. whoami.
В интерфейсе пользователя настольных продуктов Polyspace выберите
параметры «Имя проекта», «Версия» и «Автор» в диалоговом окне «Проект Polyspace - Свойства».
Назначение автора проекта для проекта Polyspace.
Поиск ошибок:
polyspace-bug-finder -author "John Smith"
Проверка кода:
polyspace-code-prover -author "John Smith"
Сервер поиска ошибок:
polyspace-bug-finder-server -author "John Smith"
Сервер проверки кода:
polyspace-code-prover-server -author "John Smith"
Этот параметр не требуется для анализа Polyspace as You Code.