3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2025-09-28 15:25:39 +02:00
Code Issues Packages Projects Releases Wiki Activity

Support Bazel's TEST_RANDOM_SEED

Browse Source 
As with other Bazel env vars, it overrides the corresponding CLI
parameter if both are set.

Closes #3021
Closes #3024
This commit is contained in:
Martin Hořeňovský
2025-09-27 23:20:52 +02:00
parent a00d654437
commit 91b3b3bf40
3 changed files with 53 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
src/catch2/catch_config.cpp
View File

@@ -253,6 +253,21 @@ namespace Catch {
if (bazelExitGuardFile) {
m_data.prematureExitGuardFilePath = bazelExitGuardFile;
}
const auto bazelRandomSeed = Detail::getEnv( "TEST_RANDOM_SEED" );
if ( bazelRandomSeed ) {
auto parsedSeed = parseUInt( bazelRandomSeed, 0 );
if ( !parsedSeed ) {
// Currently we handle issues with parsing other Bazel Env
// options by warning and ignoring the issue. So we do the
// same for random seed option.
Catch::cerr()
<< "Warning: could not parse 'TEST_RANDOM_SEED' ('"
<< bazelRandomSeed << "') as proper seed.\n";
} else {
m_data.rngSeed = *parsedSeed;
}
}
}
} // end namespace Catch