mirror of
https://github.com/wiiu-env/WiiUPluginSystem.git
synced 2024-06-18 01:48:43 +02:00
19 lines
483 B
C++
19 lines
483 B
C++
|
|
// Copyright Catch2 Authors
|
|
// Distributed under the Boost Software License, Version 1.0.
|
|
// (See accompanying file LICENSE.txt or copy at
|
|
// https://www.boost.org/LICENSE_1_0.txt)
|
|
|
|
// SPDX-License-Identifier: BSL-1.0
|
|
|
|
#include <catch2/catch_get_random_seed.hpp>
|
|
|
|
#include <catch2/internal/catch_context.hpp>
|
|
#include <catch2/catch_config.hpp>
|
|
|
|
namespace Catch {
|
|
std::uint32_t getSeed() {
|
|
return getCurrentContext().getConfig()->rngSeed();
|
|
}
|
|
}
|