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.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

falsifiedSample

java.util.List<java.lang.Object> falsifiedSample

randomSeed

java.lang.String randomSeed

statusOrdinal

int statusOrdinal

uniqueIdString

java.lang.String uniqueIdString