Serialized Form

Package net.jqwik.engine.execution.pipeline

Class net.jqwik.engine.execution.pipeline.DuplicateExecutionTaskException extends net.jqwik.api.JqwikException implements Serializable

Class net.jqwik.engine.execution.pipeline.PredecessorNotSubmittedException extends net.jqwik.api.JqwikException implements Serializable

Package net.jqwik.engine.properties

Class net.jqwik.engine.properties.IncompatibleDataException extends net.jqwik.api.JqwikException implements Serializable

Package net.jqwik.engine.properties.arbitraries

Class net.jqwik.engine.properties.arbitraries.GenerationError extends java.lang.RuntimeException implements Serializable

Class net.jqwik.engine.properties.arbitraries.NotAFunctionalTypeException extends net.jqwik.api.JqwikException implements Serializable

Class net.jqwik.engine.properties.arbitraries.WildcardArbitrary.WildcardObject extends java.lang.Object implements Serializable

Serialized Fields

index

java.lang.Integer index

Package net.jqwik.engine.recording

Class net.jqwik.engine.recording.TestRun extends java.lang.Object implements Serializable

Serialized Fields

uniqueIdString

java.lang.String uniqueIdString

statusOrdinal

int statusOrdinal

randomSeed

java.lang.String randomSeed

falsifiedSample

java.util.List<E> falsifiedSample