Skip to main content

run_test_recursion

sp1_recursion_machine::test

Function run_test_recursion 

Source 
pub async fn run_test_recursion<const DEGREE: usize, const VAR_EVENTS_PER_ROW: usize>(
    records: Vec<ExecutionRecord<SP1Field>>,
    machine: Machine<SP1Field, RecursionAir<SP1Field, DEGREE, VAR_EVENTS_PER_ROW>>,
    program: RecursionProgram<SP1Field>,
) -> Result<MachineProof<SP1GlobalContext, SP1PcsProofInner>, MachineVerifierConfigError<SP1GlobalContext, SP1InnerPcs>>