// TODO: Add a helper function to the verifier
Add a helper function to the verifier
Add a helper function to the verifier
fn do_verify_program(program: &CompiledProgram, deps: &[CompiledModule]) -> Result<()> {
    let mut deps = deps.to_vec();
    for m in &program.modules {
        do_verify_module(m, &deps)?;
        deps.push(m.clone());
    }
    do_verify_script(&program.script, &deps)
}
fn do_verify_program ( program : & CompiledProgram , deps : & [ CompiledModule ] ) -> Result < ( ) > { let mut deps = deps . to_vec ( ) ; for m in & program . modules { do_verify_module ( m , & deps ) ? ; deps . push ( m . clone ( ) ) ; } do_verify_script ( & program . script , & deps ) }
TODO: Add a helper function to the verifier
TODO : Add a helper function to the verifier
program
&CompiledProgram
deps
&[CompiledModule]