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