framework-test

Framework-Test is a collection of utility classes for testing checkers that use the Checker Framework.