fn run_verifier(module: CompiledModule) -> Result<VerifiedModule, String> {
    let verifier_panic = panic::catch_unwind(|| {
        match VerifiedModule::new(module.clone()) {
            Ok(verified_module) => Ok(verified_module),
            Err((_, errs)) => {
                // info!("Generated module: {:#?}", module);
                Err(format!("Module verification failed: {:#?}", errs))
            }
        }
    });
    verifier_panic.unwrap_or_else(|err| Err(format!("Verifier panic: {:#?}", err)))
}
/// This function calls the Bytecode verifier to test it
This function calls the Bytecode verifier to test it
This function calls the Bytecode verifier to test it
fn run_verifier(module: CompiledModule) -> Result<VerifiedModule, String> {
    let verifier_panic = panic::catch_unwind(|| {
        match VerifiedModule::new(module.clone()) {
            Ok(verified_module) => Ok(verified_module),
            Err((_, errs)) => {
                // info!("Generated module: {:#?}", module);
                Err(format!("Module verification failed: {:#?}", errs))
            }
        }
    });
    verifier_panic.unwrap_or_else(|err| Err(format!("Verifier panic: {:#?}", err)))
}
fn run_verifier ( module : CompiledModule ) -> Result < VerifiedModule , String > { let verifier_panic = panic :: catch_unwind ( | | { match VerifiedModule :: new ( module . clone ( ) ) { Ok ( verified_module ) => Ok ( verified_module ) , Err ( ( _ , errs ) ) => { // info!("Generated module: {:#?}", module); Err ( format ! ( " " errs ) ) } } } ) ; verifier_panic . unwrap_or_else ( | err | Err ( format ! ( " " err ) ) ) }
This function calls the Bytecode verifier to test it
This function calls the Bytecode verifier to test it
module
CompiledModule