some test pass miri

diff --git a/src/heap_iter.rs b/src/heap_iter.rs
index 024262f6aa8b214c2a1f5e6416135b4de04dd4d8..4c1425ab434a98ca71a3b8a5418681a59d12dff0 100644 (file)
--- 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 80d86e69ac42c636b15aacd82b0f9a85c945cc9c..1d6403d7ec0b06b9fe94e4404601c9ef90180eef 100644 (file)
--- 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();