-prog

Задайте имя проекта

Синтаксис

-prog projectName

Описание

-prog projectName задает имя для вашего проекта Polyspace^®. Это имя должно использовать только буквы, числа, символы нижнего подчеркивания (_), тире (-), или периоды (.).

Имя появляется в аналитическом журнале и нескольких других местах.

Примеры

Присвойте имя к своему проекту Polyspace:

Bug Finder:
```
polyspace-bug-finder -prog MyApp
```
Программа автоматического доказательства кода:
```
polyspace-code-prover -prog MyApp
```
Сервер Bug Finder:
```
polyspace-bug-finder-server -prog MyApp
```
Сервер программы автоматического доказательства кода:
```
polyspace-code-prover-server -prog MyApp
```

Советы

Эта опция не требуется для Polyspace как Вы Анализ кода.

Смотрите также

-author | -date

Темы

Задайте опции анализа Polyspace

Документация Polyspace Bug Finder

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.