Skip to main content

build_python_obligations

supercov_engine::python_instrumenter

Function build_python_obligations 

Source 
pub fn build_python_obligations(
    file: &str,
    source: &str,
) -> Result<PythonFileObligations, PythonInstrumenterError>
Expand description

Build the complete obligation manifest and runtime probe plan for one Python source file. Limitations are per file; the run-level frontend deduplicates their IDs across files.