How to use the EISOP Framework; fixes #275.

kelloggm / checkerframework-gradle-plugin

Gradle plugin to use the Checker Framework for Java

Apache License 2.0

64 stars 15 forks source link

How to use the EISOP Framework; fixes #275. #277

Closed mernst closed 2 weeks ago

kelloggm commented 2 weeks ago

@mernst thanks! I made an edit to make clear that the same setup that works for EISOP also works for other forks of the Checker Framework, too. If you're okay with my edit, this can be merged.

mernst commented 2 weeks ago

@kelloggm That looks great. Thanks.