Package edu.berkeley.cs.jqf.fuzz

Class FuzzResult

java.lang.Object
edu.berkeley.cs.jqf.fuzz.FuzzResult
public final class FuzzResult extends Object
The outcome of a fuzzing campaign for one test method.

This is the engine-level result returned to command-line drivers and the build-tool plugin. It replaces org.junit.runner.Result on those paths so the engine carries no test-framework dependency.

  • Constructor Details

    • FuzzResult

      public FuzzResult(List<Throwable> failures)
      Creates a result from the failures collected during the campaign.
      Parameters:
      failures - the throwables that failed trials; an empty list means success

  • Method Details

    • wasSuccessful

      public boolean wasSuccessful()
      Reports whether the campaign found no failing inputs.
      Returns:
      true if no failures were recorded

    • getFailures

      public List<Throwable> getFailures()
      Returns the failures collected during the campaign.
      Returns:
      an unmodifiable list of failures, empty on success