mirror of
https://github.com/tokio-rs/tokio.git
synced 2026-08-07 00:00:09 +02:00
net: re-enable miri for tests with readable readiness for a socket after a short read (#8238)
This commit is contained in:
@@ -18,7 +18,7 @@ env:
|
||||
rust_stable: stable
|
||||
rust_nightly: nightly-2025-10-12
|
||||
# Pin a specific miri version
|
||||
rust_miri_nightly: nightly-2026-05-30
|
||||
rust_miri_nightly: nightly-2026-06-29
|
||||
rust_clippy: '1.88'
|
||||
# When updating this, also update:
|
||||
# - README.md
|
||||
|
||||
@@ -89,7 +89,6 @@ 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;
|
||||
|
||||
@@ -1155,7 +1155,6 @@ 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();
|
||||
|
||||
Reference in New Issue
Block a user