Package net.jqwik.api.statistics

Annotation Interface StatisticsReportList

@Target({METHOD,ANNOTATION_TYPE}) @Retention(RUNTIME) @Documented @API(status=MAINTAINED, since="1.5.1") public @interface StatisticsReportList

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    StatisticsReport[]
    value