smallcheck.annotations

Annotation Type Property

@Target(value=METHOD)
 @Retention(value=RUNTIME)
public @interface Property

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
int	maxDepth
int	maxInvocations
long	minExamples

Element Detail

maxDepth

public abstract int maxDepth

Default:

5

maxInvocations

public abstract int maxInvocations

Default:

100000

minExamples

public abstract long minExamples

Default:

20L