Импортируйте комментарии и выравнивания от предыдущего анализа
-import-comments resultsFolder
-import-comments импортирует комментарии и выравнивания от предыдущего анализа, как задано папкой результатов.resultsFolder
Можно импортировать комментарии из того же типа результатов только. Например:
Вы не можете импортировать комментарии из результаты средства проверки Средства поиска Ошибки к проверке на этапе выполнения Программы автоматического доказательства Кода. Даже когда имена средства проверки звучат подобными, базовая семантика Программы автоматического доказательства Средства поиска и Кода Ошибки может отличаться. Единственным исключением являются средства проверки для кодирования правил. Можно импортировать комментарии между Программой автоматического доказательства Средства поиска и Кода Ошибки для кодирования нарушений правила.
Вы не можете импортировать комментарии из результатов верификации файла файлом в Программе автоматического доказательства Кода к результатам регулярной верификации Программы автоматического доказательства Кода.
Если при запуске анализ от пользовательского интерфейса (только десктопные решения Polyspace®) на панели Configuration, можно ввести эту опцию в поле Other. Смотрите Other.
Постепенно увеличьте номер версии своего проекта (-version) и импортируйте комментарии из предыдущих результатов:
Средство поиска ошибки:
polyspace-bug-finder -version 1.3 -import-comments C:\Results\myProj\1.2
Программа автоматического доказательства кода:
polyspace-code-prover -version 1.3 -import-comments C:\Results\myProj\1.2
Сервер средства поиска ошибки:
polyspace-bug-finder-server -version 1.3 -import-comments C:\Results\myProj\1.2
Сервер программы автоматического доказательства кода:
polyspace-code-prover-server -version 1.3 -import-comments C:\Results\myProj\1.2
