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 CrateNum
s.