Package net.jqwik.engine
Class DefaultJqwikConfiguration
- java.lang.Object
-
- net.jqwik.engine.DefaultJqwikConfiguration
-
- All Implemented Interfaces:
JqwikConfiguration
public class DefaultJqwikConfiguration extends java.lang.Object implements JqwikConfiguration
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description PropertyAttributesDefaultspropertyDefaultValues()booleanreportOnlyFailures()TestEngineConfigurationtestEngineConfiguration()booleanuseJunitPlatformReporter()
-
-
-
Method Detail
-
propertyDefaultValues
public PropertyAttributesDefaults propertyDefaultValues()
- Specified by:
propertyDefaultValuesin interfaceJqwikConfiguration
-
testEngineConfiguration
public TestEngineConfiguration testEngineConfiguration()
- Specified by:
testEngineConfigurationin interfaceJqwikConfiguration
-
useJunitPlatformReporter
public boolean useJunitPlatformReporter()
- Specified by:
useJunitPlatformReporterin interfaceJqwikConfiguration
-
reportOnlyFailures
public boolean reportOnlyFailures()
- Specified by:
reportOnlyFailuresin interfaceJqwikConfiguration
-
-