1--TEST--
2GH-9415: Randomizer::getInt(0, 2**32 - 1) with Mt19937 always returns 1
3--FILE--
4<?php
5
6use Random\Randomizer;
7use Random\Engine\Mt19937;
8
9$randomizer = new Randomizer(new Mt19937(1234));
10// Parameters shifted by -2147483648 to be compatible with 32-bit.
11var_dump($randomizer->getInt(-2147483648, 2147483647));
12
13$randomizer = new Randomizer(new Mt19937(4321));
14var_dump($randomizer->getInt(-2147483648, 2147483647));
15
16?>
17--EXPECT--
18int(-1324913873)
19int(-1843387587)
20