diff --git a/build.gradle b/build.gradle index 79b8851..33fbae3 100644 --- a/build.gradle +++ b/build.gradle @@ -74,6 +74,12 @@ tasks.withType(JavaCompile).configureEach { apply plugin: 'org.checkerframework' +dependencies { + compileOnly 'io.github.eisop:checker-qual:3.28.0-eisop1' + testCompileOnly 'io.github.eisop:checker-qual:3.28.0-eisop1' + checkerFramework 'io.github.eisop:checker:3.28.0-eisop1' +} + checkerFramework { checkers = [ // No need to run CalledMethodsChecker, because ResourceLeakChecker does so.