From da044f27d7470f605dffea94fb2473da06ea2a76 Mon Sep 17 00:00:00 2001 From: ADD-SP Date: Fri, 12 Jun 2026 10:12:08 +0800 Subject: [PATCH] net: disable some Miri tests for TCP socket (#8205) Co-authored-by: Alice Ryhl --- tokio/tests/io_copy_bidirectional.rs | 1 + tokio/tests/rt_common.rs | 1 + 2 files changed, 2 insertions(+) diff --git a/tokio/tests/io_copy_bidirectional.rs b/tokio/tests/io_copy_bidirectional.rs index 3cdce32d0..ab6a93ba3 100644 --- a/tokio/tests/io_copy_bidirectional.rs +++ b/tokio/tests/io_copy_bidirectional.rs @@ -89,6 +89,7 @@ async fn test_transfer_after_close() { } #[tokio::test] +#[cfg_attr(miri, ignore)] // Miri sometimes fails to establish the tcp connection async fn blocking_one_side_does_not_block_other() { symmetric(|handle, mut a, mut b| async move { block_write(&mut a).await; diff --git a/tokio/tests/rt_common.rs b/tokio/tests/rt_common.rs index 287d0e637..d736ee29c 100644 --- a/tokio/tests/rt_common.rs +++ b/tokio/tests/rt_common.rs @@ -1155,6 +1155,7 @@ rt_test! { #[cfg(not(target_os = "wasi"))] // Wasi does not support bind #[test] + #[cfg_attr(miri, ignore)] // Miri sometimes fails to establish the tcp connection fn local_set_client_server_block_on() { let rt = rt(); let (tx, rx) = mpsc::channel();