Enable cfg miri in analysis

This commit is contained in:
hkalbasi 2023-07-14 22:59:46 +03:30
parent 8e5f944317
commit 41b8b0b77d
2 changed files with 14 additions and 0 deletions

View file

@ -22,6 +22,9 @@ pub(crate) fn get(
}
}
// Add miri cfg, which is useful for mir eval in stdlib
res.push(CfgFlag::Atom("miri".into()));
match get_rust_cfgs(cargo_toml, target, extra_env) {
Ok(rustc_cfgs) => {
tracing::debug!(