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

Modifier and Type	Method and Description
PropertyDefaultValues	propertyDefaultValues()
boolean	reportOnlyFailures()
TestEngineConfiguration	testEngineConfiguration()
boolean	useJunitPlatformReporter()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

propertyDefaultValues

public PropertyDefaultValues propertyDefaultValues()

Specified by:

propertyDefaultValues in interface JqwikConfiguration

testEngineConfiguration

public TestEngineConfiguration testEngineConfiguration()

Specified by:

testEngineConfiguration in interface JqwikConfiguration

useJunitPlatformReporter

public boolean useJunitPlatformReporter()

Specified by:

useJunitPlatformReporter in interface JqwikConfiguration

reportOnlyFailures

public boolean reportOnlyFailures()

Specified by:

reportOnlyFailures in interface JqwikConfiguration