org.checkerframework.framework.test

Annotation Type TestSuite.Name

@Retention(value=RUNTIME)
 @Target(value=METHOD)
public static @interface TestSuite.Name