Return structured verification reports recorded for this session.
(&self, py: Python<'_>)
| 2755 | |
| 2756 | /// Return structured verification reports recorded for this session. |
| 2757 | fn verification_reports(&self, py: Python<'_>) -> PyResult<PyObject> { |
| 2758 | let json = serde_json::to_string(&self.inner.verification_reports()).map_err(|e| { |
| 2759 | PyRuntimeError::new_err(format!("Failed to serialize verification reports: {e}")) |
| 2760 | })?; |
| 2761 | json_string_to_py(py, &json) |
| 2762 | } |
| 2763 | |
| 2764 | /// Add externally produced verification reports to this session. |
| 2765 | fn record_verification_reports( |