Создание таблицы времени проверки и признаков кода
Этот компонент создает таблицы, содержащие время проверки и признаки кода, такие как количество строк.
При выборе этой опции отчет содержит время проверки с разбивкой по фазам.
Для Finder™ Polyspace ® Bug фазы compilation, pass0, pass1и т.д.
Для Prover™ кода Polyspace фазы: compilation, global, functionи т.д.
При выборе этой опции отчет содержит следующие признаки кода:
Количество файлов
Количество строк
Количество строк без комментариев