Просмотрите все экземпляры результатов Программы автоматического доказательства Средства поиска или Кода Ошибки
возвращает таблицу, показывающую все результаты в наборе результатов Polyspace®, resTable
= getResults(resObj
, content
)resObj
. Результаты устанавливают resObj
может быть набор результатов Средства поиска Ошибки, обозначенный polyspace.BugFinderResults
возразите или Программа автоматического доказательства Кода заканчивается набор, обозначенный polyspace.CodeProverResults
Объект (Polyspace Code Prover). Можно управлять таблицей, чтобы произвести графики и статистику о результатах, которые вы не можете получить с готовностью из пользовательского интерфейса.
polyspace.BugFinderResults
| polyspace.CodeProverResults
(Polyspace Code Prover)