]> Repositorios git - scryer-prolog.git/commitdiff
some test pass miri
authorBennet Bleßmann <[email protected]>
Sat, 6 Jul 2024 00:25:58 +0000 (02:25 +0200)
committerBennet Bleßmann <[email protected]>
Sat, 6 Jul 2024 00:43:00 +0000 (02:43 +0200)
src/heap_iter.rs
src/machine/partial_string.rs

index 024262f6aa8b214c2a1f5e6416135b4de04dd4d8..4c1425ab434a98ca71a3b8a5418681a59d12dff0 100644 (file)
@@ -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();
 
index 80d86e69ac42c636b15aacd82b0f9a85c945cc9c..1d6403d7ec0b06b9fe94e4404601c9ef90180eef 100644 (file)
@@ -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();