Package net.jqwik.engine

Schnittstelle JqwikConfiguration

Alle bekannten Implementierungsklassen:
DefaultJqwikConfiguration
public interface JqwikConfiguration

  • Methodendetails

    • propertyDefaultValues

      PropertyAttributesDefaults propertyDefaultValues()

    • testEngineConfiguration

      TestEngineConfiguration testEngineConfiguration()

    • useJunitPlatformReporter

      boolean useJunitPlatformReporter()

    • reportOnlyFailures

      boolean reportOnlyFailures()

    • hideAntiAiClause

      boolean hideAntiAiClause()