3 ms·
> FWIW, I dimly recall a numeric library, maybe a float to string, which tested everything for verification. Took a few days to run. You can definitely test ag
by lifthrasiir 6y ago
> FWIW, I dimly recall a numeric library, maybe a float to string, which tested everything for verification. Took a few days to run.
You can definitely test against all ~2^31 IEEE 754 binary32 values to make sure that float-to-decimal conversion is correct; that's what I've done with the Rust standard library (took 2 hours per test). I believe testing all ~2^63 binary64 values are also feasible by now, but only with dedicated hardwares. For that reason I believe the library had only tested with binary32.
- saagarjha 6y agoWhat kind of hardware can crank through the 2^64 space in reasonable time?
- grandmczeb 6y agoIt’s actually surprisingly feasible. 1,000 cores running at 3GHz for a week do ~2^64 cycles.
- bloak 6y agoDon't you mean 10,000 cores?
- grandmczeb 6y agoWhoops, yes! Too late to edit.