src/catch2/catch_get_random_seed.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//              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();
    }
}