From: Bennet Bleßmann <bb-github@t-online.de>
Date: Sat, 6 Jul 2024 00:25:58 +0000 (+0200)
Subject: some test pass miri
X-Git-Tag: v0.10.0~127^2~37
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=cba81b4dc7285a391a2b7aa5c781e2adb57c0469;p=scryer-prolog.git

some test pass miri
---

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();