Code and Verification Information

Составьте таблицу времени верификации и характеристик кода

Описание

Этот компонент создает таблицы, содержащие время верификации и характеристики кода, такие как количество линий.

Свойства

Включите информацию о времени верификации

При выборе этой опции отчет содержит время верификации с разбивкой по фазам.

  • Для Polyspace® Bug Finder™, фазы compilation, pass0, pass1, и т.д.

  • Для Prover™ кода Polyspace Code фазы compilation, global, function, и т.д.

Включите сведения о коде

При выборе этой опции отчет содержит следующие характеристики кода:

  • Количество файлов

  • Количество линий

  • Количество линий без комментариев