Package net.jqwik.engine

Interface JqwikConfiguration

All Known Implementing Classes:
DefaultJqwikConfiguration
public interface JqwikConfiguration

  • Method Details

    • propertyDefaultValues

      PropertyAttributesDefaults propertyDefaultValues()

    • testEngineConfiguration

      TestEngineConfiguration testEngineConfiguration()

    • useJunitPlatformReporter

      boolean useJunitPlatformReporter()

    • reportOnlyFailures

      boolean reportOnlyFailures()