Skip to main content

Report.from_json()

A report from what to_json wrote, by this version of sverify or

Usage

Source

Report.from_json(data)

an earlier one. Keys this version does not know are left out.

The report has the same verdict, postconditions, issues, needs, facts and routes. It holds no plan, and its conditions are their labels, so it does not run, check_inputs or to_substrait.

Parameters

data: str | Mapping[str, Any]
The JSON, as text or parsed.

Returns

Report
The report.

Raises

ValueError
The document’s format is newer than this version reads.