Function verify_module_impl

language/move-bytecode-verifier/src/constants.rs:19–24

(module: &CompiledModule)

}

fn verify_module_impl(module: &CompiledModule) -> PartialVMResult<()> {
    for (idx, constant) in module.constant_pool().iter().enumerate() {
        verify_constant(idx, constant)?
    }
    Ok(())
}

pub fn verify_script(module: &CompiledScript) -> VMResult<()> {
    verify_script_impl(module).map_err(|e| e.finish(Location::Script))