kelloggm / checkerframework-gradle-plugin

Gradle plugin to use the Checker Framework for Java
Apache License 2.0
66 stars 15 forks source link

Update to CF version 3.10.0 #141

Closed smillst closed 3 years ago

smillst commented 3 years ago

The util classes, such as UnitsTools, have been moved from checker-qual to checker-util. This causes a test to fail. I'm not sure how to fix this. I don't think the plugin should add checker-util to the users classpath by default, so maybe the test should be removed?