Составьте таблицу с проверками во время выполнения, упорядоченными по файлам (только для Code Prover)
Этот компонент создает таблицу, отображающую количество Polyspace® Code Prover™ проверяет каждый файл в вашем коде.
Используйте эту опцию, чтобы отсортировать строки в таблице в алфавитном порядке по имени файла или по проценту недоказанного кода.
Используйте эту опцию, чтобы отобразить количество чеков в таблице или в столбчатых диаграммах.
Выберите эту опцию, чтобы отобразить количество проверок определенного цвета как отношение общего количества проверок в файле.
Выберите эту опцию, чтобы включить проверки из функций-заглушек стандартной библиотеки Polyspace в отображение.
