| toJDKRandom() |   | 66% | | n/a | 0 | 1 | 6 | 13 | 0 | 1 |
| nextSecondsAndNanos(long, long, long, long) | | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |
| nextInstant(Instant, Instant) | | 100% | | 100% | 0 | 2 | 0 | 9 | 0 | 1 |
| nextDuration(Duration, Duration) | | 100% | | 100% | 0 | 2 | 0 | 9 | 0 | 1 |
| nextDouble(double, double) | | 100% | | 100% | 0 | 2 | 0 | 2 | 0 | 1 |
| nextFloat(float, float) | | 100% | | 100% | 0 | 2 | 0 | 2 | 0 | 1 |
| nextChar(char, char) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| nextLong(long, long) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| SourceOfRandomness(Random) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| nextBytes(int) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| nextByte(byte, byte) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nextShort(short, short) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| setSeed(long) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| nextInt(int, int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nextBigInteger(int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| choose(Object[]) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| nextBytes(byte[]) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| nextInt(int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nextBoolean() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nextDouble() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nextFloat() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nextGaussian() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nextInt() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nextLong() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| choose(Collection) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| seed() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |