diff options
| author | Martin Hořeňovský | 2024-04-02 18:13:15 +0200 |
|---|---|---|
| committer | Martin Hořeňovský | 2024-04-03 13:28:26 +0200 |
| commit | bff6e35e2b239217f3940ed52429f94b745adc50 (patch) | |
| tree | 1607ae2e9207f4516ddd725ec3246a6732413b0c /src/catch2/internal/catch_section.cpp | |
| parent | d99eb8bec8de53639540820ee2a6563b88c4ba8c (diff) | |
| download | catch3-bff6e35e2b239217f3940ed52429f94b745adc50.tar.gz | |
Replace last use of std::uniform_int_distribution with our own
Our implementation should be slightly faster, and has the
advantage of being consistent between platforms. This does not
have immediate user impact, because we currently use random_device
to generate random seed for resampling, but if we decide to change
this in the future, it is one less place to fix.
Diffstat (limited to 'src/catch2/internal/catch_section.cpp')
0 files changed, 0 insertions, 0 deletions