diff --git a/src/heap_iter.rs b/src/heap_iter.rs index 024262f6..4c1425ab 100644 --- a/src/heap_iter.rs +++ b/src/heap_iter.rs @@ -1758,7 +1758,6 @@ mod tests { } #[test] - #[cfg_attr(miri, ignore = "blocked on atom_table.rs UB")] fn heap_stackful_iter_tests() { let mut wam = MockWAM::new(); @@ -2351,7 +2350,6 @@ mod tests { } #[test] - #[cfg_attr(miri, ignore = "blocked on atom_table.rs UB")] fn heap_stackful_post_order_iter() { let mut wam = MockWAM::new(); @@ -2835,7 +2833,6 @@ mod tests { } #[test] - #[cfg_attr(miri, ignore = "blocked on atom_table.rs UB")] fn heap_stackless_post_order_iter() { let mut wam = MockWAM::new(); diff --git a/src/machine/partial_string.rs b/src/machine/partial_string.rs index 80d86e69..1d6403d7 100644 --- a/src/machine/partial_string.rs +++ b/src/machine/partial_string.rs @@ -801,7 +801,6 @@ mod test { use crate::machine::mock_wam::*; #[test] - #[cfg_attr(miri, ignore = "blocked on streams.rs UB")] fn pstr_iter_tests() { let mut wam = MockWAM::new();