]> Repositorios git - scryer-prolog.git/commitdiff
ignore `pstr_iter_tests` test in miri as it takes too long
authorSkgland <[email protected]>
Sun, 7 Jul 2024 09:06:11 +0000 (11:06 +0200)
committerBennet Bleßmann <[email protected]>
Sun, 7 Jul 2024 11:22:49 +0000 (13:22 +0200)
src/machine/partial_string.rs

index 1d6403d7ec0b06b9fe94e4404601c9ef90180eef..5f26eaedfabac5d0961cca19fc20041ae5314e88 100644 (file)
@@ -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();