Package com.code_intelligence.jazzer.mutation.utils

Annotation Interface ValidateContainerDimensions

@Target(ANNOTATION_TYPE)
@Retention(RUNTIME)
public @interface ValidateContainerDimensions

Meta-annotation intended to be used internally by Jazzer for container annotations with min and max fields. Annotations annotated with @ValidateContainerDimensions will be validated to ensure that min and max are both >= 0, and that min <= max.