Gradle plugin to use the Checker Framework for Java
Primary LanguageGroovyApache License 2.0Apache-2.0