Add externally produced verification reports to this session.
(
&self,
py: Python<'_>,
reports: &Bound<'_, PyAny>,
)
| 2763 | |
| 2764 | /// Add externally produced verification reports to this session. |
| 2765 | fn record_verification_reports( |
| 2766 | &self, |
| 2767 | py: Python<'_>, |
| 2768 | reports: &Bound<'_, PyAny>, |
| 2769 | ) -> PyResult<()> { |
| 2770 | let reports = py_verification_reports_to_rust(py, reports)?; |
| 2771 | self.inner.record_verification_reports(reports); |
| 2772 | Ok(()) |
| 2773 | } |
| 2774 | |
| 2775 | /// Return a structured verification summary for this session. |
| 2776 | fn verification_summary(&self, py: Python<'_>) -> PyResult<PyObject> { |