public class JqwikProperties
extends java.lang.Object

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`boundedShrinkingSeconds()`
`java.lang.String`	`databasePath()`
`net.jqwik.api.AfterFailureMode`	`defaultAfterFailure()`
`net.jqwik.api.EdgeCasesMode`	`defaultEdgeCases()`
`net.jqwik.api.GenerationMode`	`defaultGeneration()`
`int`	`defaultMaxDiscardRatio()`
`net.jqwik.api.ShrinkingMode`	`defaultShrinking()`
`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

public java.lang.String databasePath()

public boolean useJunitPlatformReporter()

public net.jqwik.api.AfterFailureMode defaultAfterFailure()

public net.jqwik.api.GenerationMode defaultGeneration()

public net.jqwik.api.EdgeCasesMode defaultEdgeCases()

public net.jqwik.api.ShrinkingMode defaultShrinking()

Class JqwikProperties