Miri: non-deterministic floating point operations in foreign_items - #146216

Merged

bors merged 3 commits into

rust-lang:masterfrom

LorrensP-2158466:miri-float-nondet-foreign-items-take2

Sep 7, 2025

Commits on Sep 4, 2025

Move float non determinism helpers to math.rs
LorrensP-2158466
committed
fd479ca

Commits on Sep 6, 2025

Implement nondet behaviour and change/add tests.
LorrensP-2158466
committed
dcc342f
Change stdlib float tests to account for miri nondet floats.
LorrensP-2158466
committed
e7e06ac