-verif-version

Присвойте идентификатор версии

Синтаксис

-verif-version id

Описание

-verif-version id присваивает идентификатор, id, идентифицировать анализ. Можно использовать этот идентификатор, чтобы относиться к различным исследованиям в командной строке. Например, можно импортировать комментарии из предыдущего анализа с помощью идентификатора.

Примеры

Присвойте идентификатор верификации:

Bug Finder:
```
polyspace-bug-finder -verif-version 1.3
```
Программа автоматического доказательства кода:
```
polyspace-code-prover -verif-version 1.3
```

Сервер Bug Finder:

polyspace-bug-finder-server -verif-version 1.3

Сервер программы автоматического доказательства кода:
```
polyspace-code-prover-server -verif-version 1.3
```

Советы

Эта опция не полезна для Polyspace, когда Вы Кодируете.

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

Темы

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

Документация Polyspace Code Prover

Поддержка

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

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

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

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

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

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