Package net.jqwik.api

Annotation Type Report

  • @Target({METHOD,ANNOTATION_TYPE})
@Retention(RUNTIME)
@Documented
@API(status=MAINTAINED,
     since="1.0")
public @interface Report
    Use @Report to specify what additional things should be reported when running a property.
    See Also:
    Property

    • Required Element Summary

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