Remove -Zmiri-disable-weak-memory-emulation

The problem that event-listener and concurrent-queue use x86-specific fence that Miri does not understand has been fixed.
smol-rs · Jul 27, 2022 · 0f15490 · 0f15490
1 parent ab4362f
commit 0f15490
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -76,8 +76,7 @@ jobs:
       - run: cargo miri test
         env:
           # -Zmiri-ignore-leaks is needed because we use detached threads in doctests
-          # 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
+          MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-ignore-leaks
           RUSTFLAGS: ${{ env.RUSTFLAGS }} -Z randomize-layout
 
   security_audit: