1--TEST--
2Test normal operation of random_int()
3--FILE--
4<?php
5//-=-=-=-
6
7var_dump(is_int(random_int(10, 100)));
8
9$x = random_int(10, 100);
10var_dump($x >= 10 && $x <= 100);
11
12var_dump(random_int(-1000, -1) < 0);
13
14var_dump(random_int(42,42));
15
16?>
17--EXPECT--
18bool(true)
19bool(true)
20bool(true)
21int(42)
22