1b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===//
2b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
3b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//                     The LLVM Compiler Infrastructure
4b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
5b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// This file is dual licensed under the MIT and the University of Illinois Open
6b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// Source Licenses. See LICENSE.TXT for details.
7b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
8b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===//
9b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
10b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// <random>
11b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
12b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// template<class UIntType, size_t w, size_t s, size_t r>
13b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// class subtract_with_carry_engine;
14b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
15b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// explicit subtract_with_carry_engine();
16b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
17b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <random>
18b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <cassert>
19b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
20b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnervoid
21b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnertest1()
22b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{
23b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    std::ranlux24_base e1;
24b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    std::ranlux24_base e2(std::ranlux24_base::default_seed);
25b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    assert(e1 == e2);
26b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    assert(e1() == 15039276);
27b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}
28b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
29b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnervoid
30b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnertest2()
31b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{
32b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    std::ranlux48_base e1;
33b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    std::ranlux48_base e2(std::ranlux48_base::default_seed);
34b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    assert(e1 == e2);
35b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    assert(e1() == 23459059301164ull);
36b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}
37b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
38b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerint main()
39b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{
40b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    test1();
41b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    test2();
42b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}
43