Package net.jqwik.api.statistics

Annotation Type 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