net: disable some Miri tests for TCP socket (#8205)

Co-authored-by: Alice Ryhl <[email protected]>
This commit is contained in:
ADD-SP
2026-06-12 10:12:08 +08:00
committed by GitHub
co-authored by Alice Ryhl
parent ecb5125a67
commit da044f27d7
2 changed files with 2 additions and 0 deletions
+1
View File
@@ -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;
+1
View File
@@ -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();