diff --git a/build.gradle b/build.gradle index 6232a1c..30f1065 100644 --- a/build.gradle +++ b/build.gradle @@ -77,6 +77,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.