Skip to content

miri: make NaN generation non-deterministic#116551

Merged
bors merged 3 commits into
rust-lang:masterfrom
RalfJung:nondet-nan
Oct 10, 2023
Merged

miri: make NaN generation non-deterministic#116551
bors merged 3 commits into
rust-lang:masterfrom
RalfJung:nondet-nan

float-to-float casts also have non-deterministic NaN results

08deb0d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs