| semiAttempt() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| name() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| tooManyDiscards() |  | 94% | | 90% | 1 | 6 | 0 | 5 | 0 | 1 |
| magnitude(Object) | | 92% | | 50% | 1 | 2 | 0 | 2 | 0 | 1 |
| evaluate(Object) | | 100% | | 100% | 0 | 3 | 0 | 8 | 0 | 1 |
| PropertyParameterGenerationContext(PropertyParameterContext, GeneratorRepository, GeometricDistribution, SourceOfRandomness, ParameterSampler) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| generate() | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| shrink(Object) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| attempts() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| initializeRandomness(PropertyParameterContext, SourceOfRandomness) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| size() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| effectiveSeed() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| sampleSize() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |