Method verify_module

language/move-bytecode-verifier/src/code_unit_verifier.rs:30–32

(module: &'a CompiledModule)

impl<'a> CodeUnitVerifier<'a> {
    pub fn verify_module(module: &'a CompiledModule) -> VMResult<()> {
        Self::verify_module_impl(module).map_err(|e| e.finish(Location::Module(module.self_id())))
    }

    fn verify_module_impl(module: &'a CompiledModule) -> PartialVMResult<()> {
        for (idx, function_definition) in module.function_defs().iter().enumerate() {