Searched refs:miri_info (Results 1 – 2 of 2) sorted by relevance
78 OverlayKind::Miri => builder.miri_info.version(builder, &builder.release_num("miri")), in version()
241 miri_info: channel::GitInfo, field367 let miri_info = channel::GitInfo::new(ignore_git, &src.join("src/tools/miri")); in new() localVariable429 miri_info, in new()