From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Thu, 30 Apr 2026 17:54:39 +0000 (+0200)
Subject: un-ignore lorem_ipsum tests as they are no longer slow
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=89dde3f3707a1868e23a2fbf0d43fca7dbb6de26;p=scryer-prolog.git

un-ignore lorem_ipsum tests as they are no longer slow
---

diff --git a/src/parser/char_reader.rs b/src/parser/char_reader.rs
index 62cc8156..e3d08087 100644
--- a/src/parser/char_reader.rs
+++ b/src/parser/char_reader.rs
@@ -448,7 +448,6 @@ mod tests {
     }
 
     #[test]
-    #[cfg_attr(miri, ignore = "slow and not very relevant")]
     fn greek_lorem_ipsum() {
         let lorem_ipsum = "Λορεμ ιπσθμ δολορ σιτ αμετ, οφφενδιτ
     εφφιcιενδι σιτ ει, ηαρθμ λεγερε qθαερενδθμ ιθσ νε. Ηασ νο εροσ
@@ -520,7 +519,6 @@ mod tests {
     }
 
     #[test]
-    #[cfg_attr(miri, ignore = "slow and not very relevant")]
     fn armenian_lorem_ipsum() {
         let lorem_ipsum = "լոռեմ իպսում դոլոռ սիթ ամեթ, նովում գռաեծո
         սեա եա, աբհոռռեանթ դիսպութանդո եի քուի. իդ քուոդ ինդոծթում
@@ -594,7 +592,6 @@ mod tests {
     }
 
     #[test]
-    #[cfg_attr(miri, ignore = "slow and not very relevant")]
     fn russian_lorem_ipsum() {
         let lorem_ipsum = "Лорем ипсум долор сит амет, атяуи дицам еи
         сит, ид сеа фацилис елаборарет. Меа еу яуас алияуид, те яуи