aver::vm::mir_vm

Function classify_mir_program_coverage

pub fn classify_mir_program_coverage(mir: &MirProgram) -> MirVmCoverage

Expand description

Convenience: walk a MirProgram and report which fns the Phase 4 subset can handle vs which still need HIR fallback. Useful for parity tests + Phase 4 coverage tracking.

classify_mir_program_coverage

Function classify_mir_program_coverage Copy item path

Function classify_mir_program_coverage