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