-verif-version

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

Синтаксис

-verif-version id

Описание

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

Примеры

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

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

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

Темы

Подготовьте скрипты к анализу Polyspace

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

Поддержка

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

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

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

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

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

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