]> git.ipfire.org Git - thirdparty/gcc.git/blame - libstdc++-v3/testsuite/ext/random/beta_distribution/cons/default.cc
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / testsuite / ext / random / beta_distribution / cons / default.cc
CommitLineData
d5ffd10b 1// { dg-options "-std=gnu++11" }
d4d348a9
UD
2// { dg-require-cstdint "" }
3//
4// 2008-11-24 Edward M. Smith-Rowland <3dw4rd@verizon.net>
5// 2012-09-04 Ulrich Drepper <drepper@gmail.com>
6//
818ab71a 7// Copyright (C) 2012-2016 Free Software Foundation, Inc.
d4d348a9
UD
8//
9// This file is part of the GNU ISO C++ Library. This library is free
10// software; you can redistribute it and/or modify it under the
11// terms of the GNU General Public License as published by the
12// Free Software Foundation; either version 3, or (at your option)
13// any later version.
14//
15// This library is distributed in the hope that it will be useful,
16// but WITHOUT ANY WARRANTY; without even the implied warranty of
17// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18// GNU General Public License for more details.
19//
20// You should have received a copy of the GNU General Public License along
21// with this library; see the file COPYING3. If not see
22// <http://www.gnu.org/licenses/>.
23
24#include <ext/random>
25#include <testsuite_hooks.h>
26
27void
28test01()
29{
30 bool test __attribute__((unused)) = true;
31
32 __gnu_cxx::beta_distribution<> u;
33 VERIFY( u.alpha() == 1.0 );
34 VERIFY( u.beta() == 1.0 );
35 VERIFY( u.min() == 0.0 );
36 VERIFY( u.max() == 1.0 );
37}
38
39int main()
40{
41 test01();
42 return 0;
43}