diff options
| author | Tom Lane | 2023-01-10 03:44:16 +0000 |
|---|---|---|
| committer | Tom Lane | 2023-01-10 03:44:16 +0000 |
| commit | 02d552c4f4229c3c1fb4ed5eadb93b6d551b7510 (patch) | |
| tree | d9e48d8751a75281affe1274694866b7fe5a3b14 /src/backend/regex | |
| parent | f745739697e49a38a31a755d7d36d6c97008dd9f (diff) | |
Round off random_normal() test results one more decimal place.
As I suspected, some machines have even more low-order-bit
inaccuracy than the ones I tested. Tweak new test so that
(hopefully) it will pass everywhere. Per buildfarm.
Discussion: https://postgr.es/m/4173840.1673290336@sss.pgh.pa.us
Diffstat (limited to 'src/backend/regex')
0 files changed, 0 insertions, 0 deletions