org.checkerframework:framework-test (maven): framework-test contains utility classes for testing type-checkers that are built on the Checker Framework.
Keywords: java|types|verification