net.jqwik.engine

Class JqwikProperties

java.lang.Object

net.jqwik.engine.JqwikProperties

public class JqwikProperties
extends java.lang.Object

Method Summary

Modifier and Type	Method and Description
java.lang.String	databasePath()
net.jqwik.api.AfterFailureMode	defaultAfterFailure()
net.jqwik.api.GenerationMode	defaultGeneration()
int	defaultMaxDiscardRatio()
int	defaultTries()
boolean	reportOnlyFailures()
boolean	runFailuresFirst()
boolean	useJunitPlatformReporter()

Methods inherited from class java.lang.Object

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

Method Detail

databasePath

public java.lang.String databasePath()

runFailuresFirst

public boolean runFailuresFirst()

defaultTries

public int defaultTries()

defaultMaxDiscardRatio

public int defaultMaxDiscardRatio()

useJunitPlatformReporter

public boolean useJunitPlatformReporter()

defaultAfterFailure

public net.jqwik.api.AfterFailureMode defaultAfterFailure()

reportOnlyFailures

public boolean reportOnlyFailures()

defaultGeneration

public net.jqwik.api.GenerationMode defaultGeneration()