Skip to main content

verify_prot

Function verify_prot 

Source
fn verify_prot<'tcx>(
    this: &mut MiriInterpCx<'tcx>,
    prot: i32,
) -> InterpResult<'tcx>