10Sstevel@tonic-gate// 2006-06-04  Stephen M. Webb <stephen.webb@bregmasoft.com>
20Sstevel@tonic-gate//
30Sstevel@tonic-gate// Copyright (C) 2006, 2009 Free Software Foundation, Inc.
40Sstevel@tonic-gate//
50Sstevel@tonic-gate// This file is part of the GNU ISO C++ Library.  This library is free
60Sstevel@tonic-gate// software; you can redistribute it and/or modify it under the
70Sstevel@tonic-gate// terms of the GNU General Public License as published by the
80Sstevel@tonic-gate// Free Software Foundation; either version 3, or (at your option)
90Sstevel@tonic-gate// any later version.
100Sstevel@tonic-gate//
110Sstevel@tonic-gate// This library is distributed in the hope that it will be useful,
120Sstevel@tonic-gate// but WITHOUT ANY WARRANTY; without even the implied warranty of
130Sstevel@tonic-gate// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
140Sstevel@tonic-gate// GNU General Public License for more details.
150Sstevel@tonic-gate//
160Sstevel@tonic-gate// You should have received a copy of the GNU General Public License along
170Sstevel@tonic-gate// with this library; see the file COPYING3.  If not see
180Sstevel@tonic-gate// <http://www.gnu.org/licenses/>.
190Sstevel@tonic-gate
200Sstevel@tonic-gate// 5.1.4.1 Class template linear_congruential
210Sstevel@tonic-gate// 5.1 [3] Table 16
220Sstevel@tonic-gate
230Sstevel@tonic-gate#include <tr1/random>
240Sstevel@tonic-gate#include <testsuite_hooks.h>
250Sstevel@tonic-gate
260Sstevel@tonic-gatevoid
270Sstevel@tonic-gatetest01()
280Sstevel@tonic-gate{
290Sstevel@tonic-gate  bool test __attribute__((unused)) = true;
300Sstevel@tonic-gate
310Sstevel@tonic-gate  std::tr1::minstd_rand0 a;
320Sstevel@tonic-gate  std::tr1::minstd_rand0 b;
330Sstevel@tonic-gate  std::tr1::minstd_rand0 c(120);
340Sstevel@tonic-gate
350Sstevel@tonic-gate  VERIFY( !(a != b) );
360Sstevel@tonic-gate  VERIFY( a != c );
370Sstevel@tonic-gate}
380Sstevel@tonic-gate
390Sstevel@tonic-gateint main()
400Sstevel@tonic-gate{
410Sstevel@tonic-gate  test01();
420Sstevel@tonic-gate  return 0;
430Sstevel@tonic-gate}
440Sstevel@tonic-gate