Return a structured verification summary for this session.
(&self, py: Python<'_>)
| 2774 | |
| 2775 | /// Return a structured verification summary for this session. |
| 2776 | fn verification_summary(&self, py: Python<'_>) -> PyResult<PyObject> { |
| 2777 | let json = serde_json::to_string(&self.inner.verification_summary()).map_err(|e| { |
| 2778 | PyRuntimeError::new_err(format!("Failed to serialize verification summary: {e}")) |
| 2779 | })?; |
| 2780 | json_string_to_py(py, &json) |
| 2781 | } |
| 2782 | |
| 2783 | /// Return a concise human-readable verification summary for this session. |
| 2784 | fn verification_summary_text(&self) -> String { |
no test coverage detected