Function miri::helpers::get_local_crates

pub fn get_local_crates(tcx: TyCtxt<'_>) -> Vec<CrateNum> 

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