Function move_bytecode_verifier::control_flow::verify
source · [−]pub fn verify(
verifier_config: &VerifierConfig,
current_function_opt: Option<FunctionDefinitionIndex>,
code: &CodeUnit
) -> PartialVMResult<()>
pub fn verify(
verifier_config: &VerifierConfig,
current_function_opt: Option<FunctionDefinitionIndex>,
code: &CodeUnit
) -> PartialVMResult<()>