Package net.jqwik.engine
Interface JqwikConfiguration
-
- All Known Implementing Classes:
DefaultJqwikConfiguration
public interface JqwikConfiguration
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description PropertyAttributesDefaultspropertyDefaultValues()booleanreportOnlyFailures()TestEngineConfigurationtestEngineConfiguration()booleanuseJunitPlatformReporter()
-
-
-
Method Detail
-
propertyDefaultValues
PropertyAttributesDefaults propertyDefaultValues()
-
testEngineConfiguration
TestEngineConfiguration testEngineConfiguration()
-
useJunitPlatformReporter
boolean useJunitPlatformReporter()
-
reportOnlyFailures
boolean reportOnlyFailures()
-
-