From: Bennet Bleßmann <bb-github@t-online.de>
Date: Sat, 6 Jul 2024 02:01:41 +0000 (+0200)
Subject: update ignore reason
X-Git-Tag: v0.10.0~127^2~33
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ce40f8f10c2ddc6d25d6d9041a048da7dd73a722;p=scryer-prolog.git

update ignore reason
---

diff --git a/src/machine/lib_machine.rs b/src/machine/lib_machine.rs
index f05b26c2..938a5597 100644
--- a/src/machine/lib_machine.rs
+++ b/src/machine/lib_machine.rs
@@ -238,7 +238,7 @@ mod tests {
     use crate::machine::{QueryMatch, QueryResolution, Value};
 
     #[test]
-    #[cfg_attr(miri, ignore = "blocked on streams.rs UB")]
+    #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
     fn programatic_query() {
         let mut machine = Machine::new_lib();
 
@@ -278,7 +278,7 @@ mod tests {
     }
 
     #[test]
-    #[cfg_attr(miri, ignore = "blocked on streams.rs UB")]
+    #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
     fn failing_query() {
         let mut machine = Machine::new_lib();
         let query = String::from(r#"triple("a",P,"b")."#);
@@ -292,7 +292,7 @@ mod tests {
     }
 
     #[test]
-    #[cfg_attr(miri, ignore = "blocked on streams.rs UB")]
+    #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
     fn complex_results() {
         let mut machine = Machine::new_lib();
         machine.load_module_string(
@@ -349,7 +349,7 @@ mod tests {
     }
 
     #[test]
-    #[cfg_attr(miri, ignore = "blocked on streams.rs UB")]
+    #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
     fn empty_predicate() {
         let mut machine = Machine::new_lib();
         machine.load_module_string(
@@ -365,7 +365,7 @@ mod tests {
     }
 
     #[test]
-    #[cfg_attr(miri, ignore = "blocked on streams.rs UB")]
+    #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
     fn list_results() {
         let mut machine = Machine::new_lib();
         machine.load_module_string(
@@ -394,7 +394,7 @@ mod tests {
     }
 
     #[test]
-    #[cfg_attr(miri, ignore = "blocked on streams.rs UB")]
+    #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
     fn consult() {
         let mut machine = Machine::new_lib();
 
@@ -453,7 +453,7 @@ mod tests {
     }
 
     #[test]
-    #[cfg_attr(miri, ignore = "blocked on streams.rs UB")]
+    #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
     fn integration_test() {
         let mut machine = Machine::new_lib();
 
@@ -500,7 +500,7 @@ mod tests {
     }
 
     #[test]
-    #[cfg_attr(miri, ignore = "blocked on streams.rs UB")]
+    #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
     fn findall() {
         let mut machine = Machine::new_lib();
 
diff --git a/src/machine/stack.rs b/src/machine/stack.rs
index 12aba456..604a52be 100644
--- a/src/machine/stack.rs
+++ b/src/machine/stack.rs
@@ -281,7 +281,7 @@ mod tests {
     use crate::machine::mock_wam::*;
 
     #[test]
-    #[cfg_attr(miri, ignore)]
+    #[cfg_attr(miri, ignore = "blocked on stack.rs UB")]
     fn stack_tests() {
         let mut wam = MockWAM::new();
 
diff --git a/src/parser/char_reader.rs b/src/parser/char_reader.rs
index bc9c1601..da746e6c 100644
--- a/src/parser/char_reader.rs
+++ b/src/parser/char_reader.rs
@@ -379,7 +379,6 @@ mod tests {
     use std::io::Cursor;
 
     #[test]
-    #[cfg_attr(miri, ignore = "slow and not very relevant")]
     fn plain_string() {
         let mut read_string = CharReader::new(Cursor::new("a string"));
 
@@ -392,7 +391,6 @@ mod tests {
     }
 
     #[test]
-    #[cfg_attr(miri, ignore = "slow and not very relevant")]
     fn greek_string() {
         let mut read_string = CharReader::new(Cursor::new("λέξη"));
 
@@ -405,7 +403,6 @@ mod tests {
     }
 
     #[test]
-    #[cfg_attr(miri, ignore = "slow and not very relevant")]
     fn russian_string() {
         let mut read_string = CharReader::new(Cursor::new("слово"));