Skip to content

Commit 925b27d

Browse files
committed
rustup: disable float non-det in portable-simd
1 parent fee37c8 commit 925b27d

File tree

2 files changed

+3
-2
lines changed

2 files changed

+3
-2
lines changed

ci-test.sh

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -86,7 +86,8 @@ simd)
8686
cargo miri test --lib --tests -- --skip ptr \
8787
2>&1 | ts -i '%.s '
8888
# This contains some pointer tests that do int/ptr casts, so we need permissive provenance.
89-
MIRIFLAGS="$DEFAULTFLAGS -Zmiri-permissive-provenance" \
89+
# FIXME: disabling float non-determinism due to <https://github.com/rust-lang/portable-simd/issues/463>.
90+
MIRIFLAGS="$DEFAULTFLAGS -Zmiri-permissive-provenance -Zmiri-deterministic-floats" \
9091
cargo miri test --lib --tests -- ptr \
9192
2>&1 | ts -i '%.s '
9293
echo "::endgroup::"

rust-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
nightly-2025-06-09
1+
nightly-2025-06-14

0 commit comments

Comments
 (0)