Catch2

mirrors/Catch2

mirror of https://github.com/catchorg/Catch2.git synced 2025-04-30 04:23:52 +00:00

Author	SHA1	Message	Date
Lars Toenning	f1084fb309	Fix references to license file The license file was renamed with 6a502cc2f5fedd59b3495b58708f0d6d987ed9e1	2022-10-28 11:30:15 +02:00
Martin Hořeňovský	dc001fa935	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).	2022-08-18 23:23:18 +02:00

Author

SHA1

Message

Date

Lars Toenning

f1084fb309

Fix references to license file

The license file was renamed with 6a502cc2f5fedd59b3495b58708f0d6d987ed9e1

2022-10-28 11:30:15 +02:00

Martin Hořeňovský

dc001fa935

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).

2022-08-18 23:23:18 +02:00