Fix miri ignore attribute

capnproto · Mar 13, 2023 · 10dd52e · 10dd52e
1 parent 6c2d95b
commit 10dd52e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/capnp/src/serialize.rs b/capnp/src/serialize.rs
@@ -834,8 +834,8 @@ pub mod test {
         buf.clear();
     }
 
-    #[cfg_attr(miri, ignore)] // miri takes a long time with quickcheck
     quickcheck! {
+        #[cfg_attr(miri, ignore)] // miri takes a long time with quickcheck
         fn test_round_trip(segments: Vec<Vec<crate::Word>>) -> TestResult {
             if segments.is_empty() { return TestResult::discard(); }
             let mut buf: Vec<u8> = Vec::new();
@@ -849,6 +849,7 @@ pub mod test {
             }))
         }
 
+        #[cfg_attr(miri, ignore)] // miri takes a long time with quickcheck
         fn test_round_trip_slice_segments(segments: Vec<Vec<crate::Word>>) -> TestResult {
             if segments.is_empty() { return TestResult::discard(); }
             let borrowed_segments: &[&[u8]] = &segments.iter()

diff --git a/capnp/src/serialize_packed.rs b/capnp/src/serialize_packed.rs
@@ -522,8 +522,8 @@ mod tests {
         );
     }
 
-    #[cfg_attr(miri, ignore)] // miri takes a long time with quickcheck
     quickcheck! {
+        #[cfg_attr(miri, ignore)] // miri takes a long time with quickcheck
         fn test_round_trip(segments: Vec<Vec<crate::Word>>) -> TestResult {
             use crate::message::ReaderSegments;
             if segments.is_empty() { return TestResult::discard(); }