From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Sun, 7 Jul 2024 09:06:11 +0000 (+0200)
Subject: ignore `pstr_iter_tests` test in miri as it takes too long
X-Git-Tag: v0.10.0~127^2~6
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=39bd52054276d40b90dc3088ed488df1c5df6196;p=scryer-prolog.git

ignore `pstr_iter_tests` test in miri as it takes too long
---

diff --git a/src/machine/partial_string.rs b/src/machine/partial_string.rs
index 1d6403d7..5f26eaed 100644
--- a/src/machine/partial_string.rs
+++ b/src/machine/partial_string.rs
@@ -801,6 +801,7 @@ mod test {
     use crate::machine::mock_wam::*;
 
     #[test]
+    #[cfg_attr(miri, ignore = "it takes too long to run")]
     fn pstr_iter_tests() {
         let mut wam = MockWAM::new();