MCPcopy Create free account
hub / github.com/AI45Lab/Code / py_verification_reports_to_rust

Function py_verification_reports_to_rust

sdk/python/src/lib.rs:6247–6255  ·  view source on GitHub ↗
(
    _py: Python<'_>,
    reports: &Bound<'_, PyAny>,
)

Source from the content-addressed store, hash-verified

6245}
6246
6247fn 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
6257fn normalize_task_options(mut value: serde_json::Value) -> PyResult<serde_json::Value> {
6258 let obj = value

Callers 1

Calls 2

py_any_to_jsonFunction · 0.85

Tested by

no test coverage detected