feedc0de/Catch2
1
0
Fork 0
forked from catchorg/Catch2
Code Pull Requests Activity

Rename global rng() to sharedRng()

Browse Source
This commit is contained in:
Martin Hořeňovský
2022-05-17 15:43:23 +02:00
parent 9c72b303d9
commit 359cd6187d
4 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/catch2/internal/catch_run_context.cpp
+1 -1
View File
@@ -598,7 +598,7 @@ namespace Catch {
}
void seedRng(IConfig const& config) {
rng().seed(config.rngSeed());
sharedRng().seed(config.rngSeed());
}
unsigned int rngSeed() {