diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7233be6..23ddfb9 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -79,7 +79,8 @@ jobs: - run: cargo miri test env: # -Zmiri-ignore-leaks is needed because we use detached threads in doctests - MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-ignore-leaks + # TODO: remove -Zmiri-disable-weak-memory-emulation + MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-disable-weak-memory-emulation -Zmiri-ignore-leaks RUSTFLAGS: ${{ env.RUSTFLAGS }} -Z randomize-layout security_audit: diff --git a/tests/rwlock.rs b/tests/rwlock.rs index 40a3350..c95fa0b 100644 --- a/tests/rwlock.rs +++ b/tests/rwlock.rs @@ -94,7 +94,7 @@ fn get_mut() { #[test] fn contention() { const N: u32 = 10; - const M: usize = 1000; + const M: usize = if cfg!(miri) { 100 } else { 1000 }; let (tx, rx) = async_channel::unbounded(); let tx = Arc::new(tx);