Package org.checkerframework.checker.testchecker.lubglb
package org.checkerframework.checker.testchecker.lubglb
-
ClassesClassDescriptionThis class tests the implementation of GLB computation in the Formatter Checker, but it does not test for the crash described in issue 691.This class tests the implementation of GLB computation in the I18n Format String Checker (see issue 723), but it does not test for the crash that occurs if I18nFormatterAnnotatedTypeFactory does not override greatestLowerBound.