public class DefaultJqwikConfiguration extends java.lang.Object implements JqwikConfiguration
| Modifier and Type | Method and Description |
|---|---|
PropertyDefaultValues |
propertyDefaultValues() |
boolean |
reportOnlyFailures() |
TestEngineConfiguration |
testEngineConfiguration() |
boolean |
useJunitPlatformReporter() |
public PropertyDefaultValues propertyDefaultValues()
propertyDefaultValues in interface JqwikConfigurationpublic TestEngineConfiguration testEngineConfiguration()
testEngineConfiguration in interface JqwikConfigurationpublic boolean useJunitPlatformReporter()
useJunitPlatformReporter in interface JqwikConfigurationpublic boolean reportOnlyFailures()
reportOnlyFailures in interface JqwikConfiguration