fvm.toolchains.questa_pkg.parsers.parse_prove module

Warning

Callables that are not documented in the Public API are not intented to be directly used and thus may change between minor versions.

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.