net.jqwik.api.AfterFailureMode Maven / Gradle / Ivy
package net.jqwik.api;
import org.apiguardian.api.*;
import static org.apiguardian.api.API.Status.*;
/**
* The after-failure mode determines how a property behaves after it has been falsified.
* It can be set in {@linkplain Property#afterFailure()} for any property method; default is {@linkplain #PREVIOUS_SEED}.
*
* @see Property
*/
@API(status = MAINTAINED, since = "1.0")
public enum AfterFailureMode {
/**
* Use new random seed.
*/
RANDOM_SEED,
/**
* Use the previous random seed that already detected a failure.
*/
PREVIOUS_SEED,
/**
* Run the property with just the previous falsified and shrunk sample.
*
* Only works if sample data could be serialized.
* Will use previous seed otherwise.
*/
SAMPLE_ONLY,
/**
* Run the property with just the previous falsified and shrunk sample first,
* if that succeeds run property default behaviour, i.e. data-driven or random seed.
*
* Only works if sample data could be serialized.
* Will use previous seed otherwise.
*/
SAMPLE_FIRST,
@API(status = INTERNAL)
NOT_SET
}