Package net.jqwik.api

Annotation Interface 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:

  • Required Element Summary

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