public interface PropertyDefaultValues
| Modifier and Type | Method and Description |
|---|---|
net.jqwik.api.AfterFailureMode |
afterFailure() |
net.jqwik.api.GenerationMode |
generation() |
int |
maxDiscardRatio() |
int |
tries() |
static PropertyDefaultValues |
with(int tries,
int maxDiscardRatio,
net.jqwik.api.AfterFailureMode afterFailureMode,
net.jqwik.api.GenerationMode generationMode) |
int tries()
int maxDiscardRatio()
net.jqwik.api.AfterFailureMode afterFailure()
net.jqwik.api.GenerationMode generation()
static PropertyDefaultValues with(int tries, int maxDiscardRatio, net.jqwik.api.AfterFailureMode afterFailureMode, net.jqwik.api.GenerationMode generationMode)