Function miri::helpers::get_local_crates
source · pub fn get_local_crates(tcx: TyCtxt<'_>) -> Vec<CrateNum>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.