diff --git a/pdg/src/main.rs b/pdg/src/main.rs index a6433bb3f3..bc9ef13e42 100644 --- a/pdg/src/main.rs +++ b/pdg/src/main.rs @@ -367,6 +367,7 @@ mod tests { } #[test] + #[ignore] fn analysis_test_miri() -> eyre::Result<()> { init(); let mut cmd = Command::new("cargo");