Package edu.berkeley.cs.jqf.junit5

Class JqfFinding

java.lang.Object

java.lang.Throwable

java.lang.Error

java.lang.AssertionError

edu.berkeley.cs.jqf.junit5.JqfFinding

All Implemented Interfaces:

Serializable

public final class JqfFinding
extends AssertionError

Wraps the first failing input found by a fuzzing campaign so Jupiter reports it as a test failure.

It extends AssertionError (rather than re-throwing the raw cause) so the single @FuzzTest node fails with a clear, fuzzing-specific message while still carrying the original throwable as its cause for the stack trace.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
JqfFinding(Throwable cause)	Creates a finding that wraps the throwable raised by a failing input.

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

JqfFinding

public JqfFinding(Throwable cause)

Creates a finding that wraps the throwable raised by a failing input.

Parameters:

cause - the throwable raised by the failing trial