net.jqwik.api.statistics

Annotation Type StatisticsReportList

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

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
StatisticsReport[]	value

Element Detail

value

public abstract StatisticsReport[] value