Package smallcheck.annotations

Annotation Type Property

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

Optional Element Summary

Optional Elements

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

Element Detail

maxDepth

int maxDepth

Default:

5

maxInvocations

int maxInvocations

Default:

100000

minExamples

long minExamples

Default:

20L