From 87b4c9d73686217a1c2280d997e46029dc03c725 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bennet=20Ble=C3=9Fmann?= <bb-github@t-online.de>
Date: Sat, 6 Jul 2024 13:41:35 +0200
Subject: [PATCH] somehow this was never marked as bad

---
 src/machine/lib_machine.rs | 4 ++++
 1 file changed, 4 insertions(+)

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