Apply random float error#4156

Merged

RalfJung merged 2 commits intorust-lang:masterfrom

LorrensP-2158466:apply-random-float-error

Feb 16, 2025

Commits on Feb 16, 2025

apply random float error to most floating-point operations

LorrensP-2158466
authored and
RalfJung
committed
add erf and erfc to nondet tests, and reduce how much we're changing the float test
RalfJung
committed