## Report.to_json()


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


Usage

``` python
Report.to_json(indent=None)
```


(#736), in the format of `sverify/schemas/report.schema.json`: [format](io.Contract.md#sverify.io.Contract.format) (1), the verdict, each postcondition with its status and `reason`, the runtime errors and assumptions, [needs](Report.needs.md#sverify.Report.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.