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