Skip to content

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
Merged

Miri: non-deterministic floating point operations in foreign_items#146216
bors merged 3 commits into
rust-lang:masterfrom
LorrensP-2158466:miri-float-nondet-foreign-items-take2

Change stdlib float tests to account for miri nondet floats.

e7e06ac
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs