From: Bennet Bleßmann <bb-github@t-online.de>
Date: Sat, 6 Jul 2024 11:41:35 +0000 (+0200)
Subject: somehow this was never marked as bad
X-Git-Tag: v0.10.0~127^2~22
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=87b4c9d73686217a1c2280d997e46029dc03c725;p=scryer-prolog.git

somehow this was never marked as bad
---

diff --git a/src/machine/lib_machine.rs b/src/machine/lib_machine.rs
index 27909c8a..80e0d1c6 100644
--- a/src/machine/lib_machine.rs
+++ b/src/machine/lib_machine.rs
@@ -529,6 +529,7 @@ mod tests {
     }
 
     #[test]
+    #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
     fn dont_return_partial_matches() {
         let mut machine = Machine::new_lib();
 
@@ -552,6 +553,7 @@ mod tests {
     }
 
     #[test]
+    #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
     fn dont_return_partial_matches_without_discountiguous() {
         let mut machine = Machine::new_lib();
 
@@ -583,6 +585,7 @@ mod tests {
     }
 
     #[test]
+    #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
     fn non_existent_predicate_should_not_cause_panic_when_other_predicates_are_defined() {
         let mut machine = Machine::new_lib();
 
@@ -607,6 +610,7 @@ mod tests {
     }
 
     #[test]
+    #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
     fn issue_2341() {
         let mut machine = Machine::new_lib();