| 5530 | namespace Catch { |
| 5531 | |
| 5532 | std::uint32_t generateRandomSeed( GenerateFrom from ) { |
| 5533 | switch ( from ) { |
| 5534 | case GenerateFrom::Time: |
| 5535 | return static_cast<std::uint32_t>( std::time( nullptr ) ); |
| 5536 | |
| 5537 | case GenerateFrom::Default: |
| 5538 | case GenerateFrom::RandomDevice: { |
| 5539 | std::random_device rd; |
| 5540 | return Detail::fillBitsFrom<std::uint32_t>( rd ); |
| 5541 | } |
| 5542 | |
| 5543 | default: |
| 5544 | CATCH_ERROR("Unknown generation method"); |
| 5545 | } |
| 5546 | } |
| 5547 | |
| 5548 | } // end namespace Catch |
| 5549 |
no outgoing calls
no test coverage detected