Package com.code_intelligence.jazzer.mutation.utils

Annotation Interface ValidateMinMax

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

Meta-annotation intended to be used internally by Jazzer for annotations that have min and max fields. For all such annotations, Jazzer will assert that min <= max.