Main Content

Code and Verification Information

Create table of verification times and code characteristics

Description

This component creates tables containing verification times and code characteristics such as number of lines.

Properties

Include Verification Time Information

If you select this option, the report contains verification times broken down by phase.

  • For Polyspace® Bug Finder™, the phases are compilation, pass0, pass1, etc.

  • For Polyspace Code Prover™, the phases are compilation, global, function, etc.

Include Code Details

If you select this option, the report contains the following code characteristics:

  • Number of files

  • Number of lines

  • Number of lines without comment

See Also

Topics