Function miri::helpers::get_local_crates

source · 
pub fn get_local_crates(tcx: TyCtxt<'_>) -> Vec<CrateNum>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
    A: Allocator,
Expand description

Retrieve the list of local crates that should have been passed by cargo-miri in MIRI_LOCAL_CRATES and turn them into CrateNums.