Задайте автора проекта
-author "value"
-author присваивает автора Polyspace® проект. Имя появляется как владелец проекта на сгенерированных отчетах."value"
Значением по умолчанию является имя пользователя текущего пользователя, данного DOS или командой UNIX whoami.
В пользовательском интерфейсе десктопных решений Polyspace выберите
, чтобы задать Название проекта, Версию и параметры Автора в диалоговом окне Polyspace Project – Properties.
Присвойте автора проекта своему Проекту Polyspace.
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 как Вы Анализ кода.