fvm.toolchains.questa_pkg.parsers.parse_prove module

Parsers for Prove reports.

fvm.toolchains.questa_pkg.parsers.parse_prove.normalize_sections(data)

Normalizes section names to a standard format.

fvm.toolchains.questa_pkg.parsers.parse_prove.parse_properties_extended(log_file)

Parses the properties from a log file and categorizes them.

fvm.toolchains.questa_pkg.parsers.parse_prove.parse_property_summary(file_path)

Parse the ‘Property Summary’ section from the given file.

fvm.toolchains.questa_pkg.parsers.parse_prove.parse_targets_report(report_path)

Parses the targets report and extracts relevant information.

fvm.toolchains.questa_pkg.parsers.parse_prove.property_summary(file_path)

Parses a property summary from a log file and organizes the data in a hierarchical structure.

Parameters:

file_path – Path to the log file to be parsed.

Returns:

A dictionary containing the parsed property summary data.