Присвоение идентификатора версии
-verif-version
id
-verif-version
присваивает идентификатор, id
, для идентификации анализа. Можно использовать этот идентификатор для обращения к различным анализам в командной строке. Для примера можно импортировать комментарии из предыдущего анализа с помощью идентификатора.id
Присвойте идентификатор верификации:
Bug Finder:
polyspace-bug-finder -verif-version 1.3
Code Prover:
polyspace-code-prover -verif-version 1.3
Сервер Bug Finder:
polyspace-bug-finder-server -verif-version 1.3
Код Code Prover:
polyspace-code-prover-server -verif-version 1.3
Эта опция не полезна для Polyspace в качестве You Code.