1a445343f6
-BEGIN VERIFY SCRIPT- for f in \ src/*.cpp \ src/*.h \ src/bench/*.cpp \ src/bench/*.h \ src/compat/*.cpp \ src/compat/*.h \ src/consensus/*.cpp \ src/consensus/*.h \ src/crypto/*.cpp \ src/crypto/*.h \ src/crypto/ctaes/*.h \ src/policy/*.cpp \ src/policy/*.h \ src/primitives/*.cpp \ src/primitives/*.h \ src/qt/*.cpp \ src/qt/*.h \ src/qt/test/*.cpp \ src/qt/test/*.h \ src/rpc/*.cpp \ src/rpc/*.h \ src/script/*.cpp \ src/script/*.h \ src/support/*.cpp \ src/support/*.h \ src/support/allocators/*.h \ src/test/*.cpp \ src/test/*.h \ src/wallet/*.cpp \ src/wallet/*.h \ src/wallet/test/*.cpp \ src/wallet/test/*.h \ src/zmq/*.cpp \ src/zmq/*.h do base=${f%/*}/ relbase=${base#src/} sed -i "s:#include \"\(.*\)\"\(.*\):if test -e \$base'\\1'; then echo \"#include <\"\$relbase\"\\1>\\2\"; else echo \"#include <\\1>\\2\"; fi:e" $f done -END VERIFY SCRIPT-
60 lines
2 KiB
C++
60 lines
2 KiB
C++
// Copyright (c) 2017 The Bitcoin Core developers
|
|
// Distributed under the MIT software license, see the accompanying
|
|
// file COPYING or http://www.opensource.org/licenses/mit-license.php.
|
|
|
|
#include <random.h>
|
|
|
|
#include <test/test_bitcoin.h>
|
|
|
|
#include <boost/test/unit_test.hpp>
|
|
|
|
BOOST_FIXTURE_TEST_SUITE(random_tests, BasicTestingSetup)
|
|
|
|
BOOST_AUTO_TEST_CASE(osrandom_tests)
|
|
{
|
|
BOOST_CHECK(Random_SanityCheck());
|
|
}
|
|
|
|
BOOST_AUTO_TEST_CASE(fastrandom_tests)
|
|
{
|
|
// Check that deterministic FastRandomContexts are deterministic
|
|
FastRandomContext ctx1(true);
|
|
FastRandomContext ctx2(true);
|
|
|
|
BOOST_CHECK_EQUAL(ctx1.rand32(), ctx2.rand32());
|
|
BOOST_CHECK_EQUAL(ctx1.rand32(), ctx2.rand32());
|
|
BOOST_CHECK_EQUAL(ctx1.rand64(), ctx2.rand64());
|
|
BOOST_CHECK_EQUAL(ctx1.randbits(3), ctx2.randbits(3));
|
|
BOOST_CHECK(ctx1.randbytes(17) == ctx2.randbytes(17));
|
|
BOOST_CHECK(ctx1.rand256() == ctx2.rand256());
|
|
BOOST_CHECK_EQUAL(ctx1.randbits(7), ctx2.randbits(7));
|
|
BOOST_CHECK(ctx1.randbytes(128) == ctx2.randbytes(128));
|
|
BOOST_CHECK_EQUAL(ctx1.rand32(), ctx2.rand32());
|
|
BOOST_CHECK_EQUAL(ctx1.randbits(3), ctx2.randbits(3));
|
|
BOOST_CHECK(ctx1.rand256() == ctx2.rand256());
|
|
BOOST_CHECK(ctx1.randbytes(50) == ctx2.randbytes(50));
|
|
|
|
// Check that a nondeterministic ones are not
|
|
FastRandomContext ctx3;
|
|
FastRandomContext ctx4;
|
|
BOOST_CHECK(ctx3.rand64() != ctx4.rand64()); // extremely unlikely to be equal
|
|
BOOST_CHECK(ctx3.rand256() != ctx4.rand256());
|
|
BOOST_CHECK(ctx3.randbytes(7) != ctx4.randbytes(7));
|
|
}
|
|
|
|
BOOST_AUTO_TEST_CASE(fastrandom_randbits)
|
|
{
|
|
FastRandomContext ctx1;
|
|
FastRandomContext ctx2;
|
|
for (int bits = 0; bits < 63; ++bits) {
|
|
for (int j = 0; j < 1000; ++j) {
|
|
uint64_t rangebits = ctx1.randbits(bits);
|
|
BOOST_CHECK_EQUAL(rangebits >> bits, 0);
|
|
uint64_t range = ((uint64_t)1) << bits | rangebits;
|
|
uint64_t rand = ctx2.randrange(range);
|
|
BOOST_CHECK(rand < range);
|
|
}
|
|
}
|
|
}
|
|
|
|
BOOST_AUTO_TEST_SUITE_END()
|