1 |
/** |
2 |
* @test %I% %E% |
3 |
* @bug 4949279 |
4 |
* @summary Independent instantiations of Random() have distinct seeds. |
5 |
*/ |
6 |
|
7 |
import java.util.Random; |
8 |
|
9 |
public class DistinctSeeds { |
10 |
public static void main(String[] args) throws Exception { |
11 |
// Strictly speaking, it is possible for these to randomly fail, |
12 |
// but the probability should be *extremely* small (< 2**-63). |
13 |
if (new Random().nextLong() == new Random().nextLong() || |
14 |
new Random().nextLong() == new Random().nextLong()) |
15 |
throw new RuntimeException("Random() seeds not unique."); |
16 |
} |
17 |
} |