Exclude slow tests from miri

Jules-Bertholet · Jules-Bertholet · commit e1e903c7b73b · 2026-03-23T08:17:14.000-04:00
diff --git a/library/coretests/tests/char.rs b/library/coretests/tests/char.rs
@@ -52,6 +52,7 @@ fn test_is_cased() {
 }
 
 #[test]
+#[cfg_attr(miri, ignore)] // Miri is too slow
 fn test_char_case() {
     for c in '\0'..='\u{10FFFF}' {
         match c.case() {
@@ -100,6 +101,7 @@ fn titlecase_fast_path() {
 }
 
 #[test]
+#[cfg_attr(miri, ignore)] // Miri is too slow
 fn at_most_one_case() {
     for c in '\0'..='\u{10FFFF}' {
         assert_eq!(

Original file line number	Diff line number	Diff line change
`@@ -52,6 +52,7 @@ fn test_is_cased() {`
`52`	`52`	`}`
`53`	`53`
`54`	`54`	`#[test]`
	`55`	`+#[cfg_attr(miri, ignore)] // Miri is too slow`
`55`	`56`	`fn test_char_case() {`
`56`	`57`	`for c in '\0'..='\u{10FFFF}' {`
`57`	`58`	`match c.case() {`
`@@ -100,6 +101,7 @@ fn titlecase_fast_path() {`
`100`	`101`	`}`
`101`	`102`
`102`	`103`	`#[test]`
	`104`	`+#[cfg_attr(miri, ignore)] // Miri is too slow`
`103`	`105`	`fn at_most_one_case() {`
`104`	`106`	`for c in '\0'..='\u{10FFFF}' {`
`105`	`107`	`assert_eq!(`