Назначение идентификатора версии
-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 в качестве кода.