Package edu.berkeley.cs.jqf.fuzz.difffuzz

Interface DiffFuzzGuidance

All Superinterfaces:

Guidance

All Known Implementing Classes:

DiffFuzzNoGuidance, DiffFuzzReproGuidance

public interface DiffFuzzGuidance
extends Guidance

Method Summary

Modifier and Type	Method	Description
default void	acceptOutcome(Outcome outcome)	Accepts the outcome of one trial captured by DiffTrialExecutor.
void	setCompare(Method m)

Methods inherited from interface edu.berkeley.cs.jqf.fuzz.guidance.Guidance

beforeRun, generateCallBack, getInput, handleResult, hasInput, observeGeneratedArgs, observeGuidance

Method Details

setCompare

void setCompare(Method m)

acceptOutcome

default void acceptOutcome(Outcome outcome)
                    throws Throwable

Accepts the outcome of one trial captured by DiffTrialExecutor.

The default rethrows whatever the trial threw, so an exception counts as a failure. DiffFuzzReproGuidance overrides this to compare the outcome against a reference run instead.

Parameters:

outcome - the captured return value or thrown error

Throws:

Throwable - to fail the trial: a rethrown error or a DiffException