Package net.jqwik.engine
Klasse DefaultJqwikConfiguration
java.lang.Object
net.jqwik.engine.DefaultJqwikConfiguration
- Alle implementierten Schnittstellen:
JqwikConfiguration
-
Methodenübersicht
Modifizierer und TypMethodeBeschreibungbooleanboolean
-
Methodendetails
-
propertyDefaultValues
- Angegeben von:
propertyDefaultValuesin SchnittstelleJqwikConfiguration
-
testEngineConfiguration
- Angegeben von:
testEngineConfigurationin SchnittstelleJqwikConfiguration
-
useJunitPlatformReporter
public boolean useJunitPlatformReporter()- Angegeben von:
useJunitPlatformReporterin SchnittstelleJqwikConfiguration
-
reportOnlyFailures
public boolean reportOnlyFailures()- Angegeben von:
reportOnlyFailuresin SchnittstelleJqwikConfiguration
-