blob: 27f88165bcf5047b60f1b8e42b9ce71ba0d942a0 [file] [log] [blame]
Howard Hinnant3e519522010-05-11 19:42:16 +00001//===----------------------------------------------------------------------===//
2//
Howard Hinnant5b08a8a2010-05-11 21:36:01 +00003// The LLVM Compiler Infrastructure
Howard Hinnant3e519522010-05-11 19:42:16 +00004//
Howard Hinnant412dbeb2010-11-16 22:09:02 +00005// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
Howard Hinnant3e519522010-05-11 19:42:16 +00007//
8//===----------------------------------------------------------------------===//
9
10// <random>
11
12// template<class UIntType, size_t w, size_t s, size_t r>
13// class subtract_with_carry_engine;
14
15// subtract_with_carry_engine(const subtract_with_carry_engine&);
16
17#include <random>
18#include <cassert>
19
20void
21test1()
22{
23 typedef std::ranlux24_base E;
24 E e1;
25 e1();
26 E e2 = e1;
27 assert(e1 == e2);
28 assert(e1() == e2());
29 E::result_type k = e1();
30 assert(e1 != e2);
31 assert(e2() == k);
32 assert(e1 == e2);
33}
34
35void
36test2()
37{
38 typedef std::ranlux48_base E;
39 E e1;
40 e1();
Howard Hinnanta23551c2011-04-11 18:22:12 +000041 E e2(e1);
Howard Hinnant3e519522010-05-11 19:42:16 +000042 assert(e1 == e2);
43 assert(e1() == e2());
44 E::result_type k = e1();
45 assert(e1 != e2);
46 assert(e2() == k);
47 assert(e1 == e2);
48}
49
50int main()
51{
52 test1();
53 test2();
54}