2021-10-08 20:02:24 +02:00
|
|
|
|
|
|
|
// Copyright Catch2 Authors
|
|
|
|
// Distributed under the Boost Software License, Version 1.0.
|
2022-10-28 11:22:53 +02:00
|
|
|
// (See accompanying file LICENSE.txt or copy at
|
2021-10-08 20:02:24 +02:00
|
|
|
// https://www.boost.org/LICENSE_1_0.txt)
|
|
|
|
|
|
|
|
// SPDX-License-Identifier: BSL-1.0
|
|
|
|
|
|
|
|
#include <catch2/internal/catch_random_seed_generation.hpp>
|
|
|
|
|
|
|
|
#include <catch2/internal/catch_enforce.hpp>
|
2023-12-10 21:37:12 +01:00
|
|
|
#include <catch2/internal/catch_random_integer_helpers.hpp>
|
2021-10-08 20:02:24 +02:00
|
|
|
|
|
|
|
#include <ctime>
|
|
|
|
#include <random>
|
|
|
|
|
|
|
|
namespace Catch {
|
|
|
|
|
|
|
|
std::uint32_t generateRandomSeed( GenerateFrom from ) {
|
|
|
|
switch ( from ) {
|
|
|
|
case GenerateFrom::Time:
|
|
|
|
return static_cast<std::uint32_t>( std::time( nullptr ) );
|
|
|
|
|
|
|
|
case GenerateFrom::Default:
|
2023-12-10 21:37:12 +01:00
|
|
|
case GenerateFrom::RandomDevice: {
|
|
|
|
std::random_device rd;
|
|
|
|
return Detail::fillBitsFrom<std::uint32_t>( rd );
|
|
|
|
}
|
2021-10-08 20:02:24 +02:00
|
|
|
|
|
|
|
default:
|
|
|
|
CATCH_ERROR("Unknown generation method");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
} // end namespace Catch
|