pub fn run_metered_move_bytecode_verifier(
modules: &[CompiledModule],
protocol_config: &ProtocolConfig,
verifier_config: &VerifierConfig,
meter: &mut (impl Meter + ?Sized),
metrics: &Arc<BytecodeVerifierMetrics>,
) -> Result<(), SuiError>
Expand description
Run the bytecode verifier with a meter limit
This function only fails if the verification does not complete within the limit. If the modules fail to verify but verification completes within the meter limit, the function succeeds.