Main Content

Run-time Checks Summary Ordered by File

Create table with run-time checks ordered by file (Code Prover only)

Description

This component creates a table displaying the number of Polyspace® Code Prover™ checks per file in your code.

Properties

Sort the data

Use this option to sort the rows in the table alphabetically by filename or by percentage of unproven code.

Display as

Use this option to display the number of checks in a table or in bar charts.

Display ratio of checks in a file

Select this option to display the number of checks of a certain color as a ratio of total number of checks in the file.

Include checks from Polyspace standard library stub functions

Select this option to include the checks from Polyspace standard library stub functions in your display.

See Also

Topics