public interface ExtendedPropertyExecutionResult
extends net.jqwik.api.lifecycle.PropertyExecutionResult
| Modifier and Type | Method and Description |
|---|---|
net.jqwik.api.GenerationMode |
generation() |
boolean |
isExtended() |
java.util.Optional<java.util.List<java.lang.Object>> |
originalSample() |
java.lang.String |
randomSeed() |