Merge pull request #18808 from danhhz/ci

danhhz · web-flow · commit d2ddcc175a5f · 2023-04-17T14:17:48.000-07:00
persist: skip truncate_bytes/strings proptests in miri
diff --git a/src/persist-types/src/stats.rs b/src/persist-types/src/stats.rs
@@ -844,6 +844,7 @@ mod tests {
     }
 
     #[test]
+    #[cfg_attr(miri, ignore)] // too slow
     fn test_truncate_bytes_proptest() {
         fn testcase(x: &[u8]) {
             for max_len in 0..=x.len() {
@@ -906,6 +907,7 @@ mod tests {
     }
 
     #[test]
+    #[cfg_attr(miri, ignore)] // too slow
     fn test_truncate_string_proptest() {
         fn testcase(x: &str) {
             for max_len in 0..=x.len() {

Original file line number	Diff line number	Diff line change
`@@ -844,6 +844,7 @@ mod tests {`
`844`	`844`	`}`
`845`	`845`
`846`	`846`	`#[test]`
	`847`	`+ #[cfg_attr(miri, ignore)] // too slow`
`847`	`848`	`fn test_truncate_bytes_proptest() {`
`848`	`849`	`fn testcase(x: &[u8]) {`
`849`	`850`	`for max_len in 0..=x.len() {`
`@@ -906,6 +907,7 @@ mod tests {`
`906`	`907`	`}`
`907`	`908`
`908`	`909`	`#[test]`
	`910`	`+ #[cfg_attr(miri, ignore)] // too slow`
`909`	`911`	`fn test_truncate_string_proptest() {`
`910`	`912`	`fn testcase(x: &str) {`
`911`	`913`	`for max_len in 0..=x.len() {`