Function sp1_recursion_core::stark::utils::run_test_recursion

source ยท 
pub fn run_test_recursion(
    program: RecursionProgram<<BabyBearPoseidon2 as StarkGenericConfig>::Val>,
    witness: Option<VecDeque<Vec<Block<BabyBear>>>>,
    test_config: TestConfig,
)
Expand description

Takes in a program and runs it with the given witness and generates a proof with a variety of machines depending on the provided test_config.