public interface JqwikConfiguration
| Modifier and Type | Method and Description |
|---|---|
PropertyDefaultValues |
propertyDefaultValues() |
boolean |
reportOnlyFailures() |
TestEngineConfiguration |
testEngineConfiguration() |
boolean |
useJunitPlatformReporter() |
PropertyDefaultValues propertyDefaultValues()
TestEngineConfiguration testEngineConfiguration()
boolean useJunitPlatformReporter()
boolean reportOnlyFailures()