Use EISOP Framework 3.28.0-eisop1

eisop-plume-lib · Dec 8, 2022 · 5c1b480 · 5c1b480
1 parent 8e25638
commit 5c1b480
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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.