Report.to_json()

The report as a versioned JSON document, for CI jobs and tools

Usage

Source

Report.to_json(indent=None)

(#736), in the format of sverify/schemas/report.schema.json: format (1), the verdict, each postcondition with its status and reason, the runtime errors and assumptions, needs, the facts on each output column, the routes engines ran the plan by, and the rest str(report) says. Conditions appear as their labels. Within 1.x the format only gains keys (docs/stability.md).

Parameters

indent: int | None = None

Indent the JSON by this many spaces; None writes one line.

Returns

str

The JSON document, keys sorted.