diff options
| author | Martin Hořeňovský | 2022-08-18 21:22:28 +0200 |
|---|---|---|
| committer | Martin Hořeňovský | 2022-08-18 23:23:18 +0200 |
| commit | dc001fa935d71b4b77f263fce405c9dbdfcbfe28 (patch) | |
| tree | 829c8fc1837022b64b56d06e24df95b4ff4f3b0c /data/artwork | |
| parent | 33e70194d32b8eb487b2f882b94353e0aed662cf (diff) | |
| download | catch3-dc001fa935d71b4b77f263fce405c9dbdfcbfe28.tar.gz | |
Allow easy retrieval of RNG seed by the users
This makes it so that they don't need parallel RNG seed passing
infrastructure for randomized data generation (e.g. inputs for
benchmarks).
Diffstat (limited to 'data/artwork')
0 files changed, 0 insertions, 0 deletions