(
_py: Python<'_>,
reports: &Bound<'_, PyAny>,
)
| 6245 | } |
| 6246 | |
| 6247 | fn py_verification_reports_to_rust( |
| 6248 | _py: Python<'_>, |
| 6249 | reports: &Bound<'_, PyAny>, |
| 6250 | ) -> PyResult<Vec<RustVerificationReport>> { |
| 6251 | let json_str = py_any_to_json(reports)?; |
| 6252 | let value: serde_json::Value = serde_json::from_str(&json_str) |
| 6253 | .map_err(|e| PyValueError::new_err(format!("Invalid verification report JSON: {e}")))?; |
| 6254 | verification_reports_from_value(value) |
| 6255 | } |
| 6256 | |
| 6257 | fn normalize_task_options(mut value: serde_json::Value) -> PyResult<serde_json::Value> { |
| 6258 | let obj = value |
no test coverage detected