Package edu.berkeley.cs.jqf.fuzz

Annotation Type Fuzz

@Target(METHOD) @Retention(RUNTIME) public @interface Fuzz
The Fuzz annotation marks a method as an entry-point for coverage-guided fuzz testing.

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    String
    repro
    The path of an input file to replay.

  • Element Details

    • repro

      String repro
      The path of an input file to replay.

      This element is optional, and is an empty string by default, indicating that no replay is intended.

      If this element is non-empty, then running a JQF test using JUnit (e.g. via an IDE or via Maven) will cause a saved test to be replayed instead of random inputs being generated.

      Returns:
      the path of the input file to replay
      Default:
      ""