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

reseeds rng before each test case and provides access to seed through Catch::rngSeed() function

Browse Source
This commit is contained in:
Phil Nash
2015-07-02 23:02:35 +01:00
parent b971fe785b
commit d87e551efa
5 changed files with 18 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
include/internal/catch_common.hpp
View File

@@ -82,6 +82,14 @@ namespace Catch {
return line < other.line || ( line == other.line && file < other.file );
}
void seedRng( IConfig const& config ) {
if( config.rngSeed() != 0 )
std::srand( config.rngSeed() );
}
unsigned int rngSeed() {
return getCurrentContext().getConfig()->rngSeed();
}
std::ostream& operator << ( std::ostream& os, SourceLineInfo const& info ) {
#ifndef __GNUG__
os << info.file << "(" << info.line << ")";