1//===----------------------------------------------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9// <random>
10
11// typedef minstd_rand0 default_random_engine;
12
13#include <random>
14#include <cassert>
15
16#include "test_macros.h"
17
18int main(int, char**)
19{
20 std::default_random_engine e;
21 e.discard(z: 9999);
22 LIBCPP_ASSERT(e() == 399268537u);
23
24 return 0;
25}
26

source code of libcxx/test/std/numerics/rand/rand.predef/default_random_engine.pass.cpp