From cba81b4dc7285a391a2b7aa5c781e2adb57c0469 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bennet=20Ble=C3=9Fmann?= Date: Sat, 6 Jul 2024 02:25:58 +0200 Subject: [PATCH] some test pass miri --- src/heap_iter.rs | 3 --- src/machine/partial_string.rs | 1 - 2 files changed, 4 deletions(-) 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(); -- 2.54.0