Skip to content

Commit 525c4c8

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

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
@@ -82,7 +82,8 @@ simd)
8282
cd $MIRI_LIB_SRC/portable-simd
8383

8484
echo "::group::Testing portable-simd"
85-
MIRIFLAGS="$DEFAULTFLAGS" \
85+
# FIXME: disabling float non-determinism due to <https://github.com/rust-lang/portable-simd/issues/463>.
86+
MIRIFLAGS="$DEFAULTFLAGS -Zmiri-deterministic-floats" \
8687
cargo miri test --lib --tests -- --skip ptr \
8788
2>&1 | ts -i '%.s '
8889
# This contains some pointer tests that do int/ptr casts, so we need permissive provenance.

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)