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