Укажите имя проекта
-prog projectName
-prog задает имя для вашего Polyspace® проект. Это имя должно использовать только буквы, цифры, символ нижнего подчеркивания (_), штрихи (-) или точки (.).projectName
Имя появляется в журнале анализа и в нескольких других местах.
Присвойте имя своему проекту Polyspace:
Bug Finder:
polyspace-bug-finder -prog MyApp
Code Prover:
polyspace-code-prover -prog MyApp
Сервер Bug Finder:
polyspace-bug-finder-server -prog MyApp
Код Code Prover:
polyspace-code-prover-server -prog MyApp
Эта опция не требуется для анализа Polyspace во время You Code.
