From 0d06cae2f7beefb4e4d171616495a35a6ea4e322 Mon Sep 17 00:00:00 2001 From: Michael Ernst Date: Sun, 21 Mar 2021 08:06:07 -0700 Subject: [PATCH] Use Checker Framework version 3.11.0 --- engines/checkerframework/Dockerfile | 4 ++-- engines/checkerframework/tests/run_tests.sh | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/engines/checkerframework/Dockerfile b/engines/checkerframework/Dockerfile index c07f8cc..0362dc3 100644 --- a/engines/checkerframework/Dockerfile +++ b/engines/checkerframework/Dockerfile @@ -1,4 +1,4 @@ FROM linterhub/image-java LABEL maintainer="linterhub@repometric.com" -RUN wget https://checkerframework.org/checker-framework-2.3.1.zip && \ - unzip checker-framework-2.3.1.zip +RUN wget https://checkerframework.org/checker-framework-3.11.0.zip && \ + unzip checker-framework-3.11.0.zip diff --git a/engines/checkerframework/tests/run_tests.sh b/engines/checkerframework/tests/run_tests.sh index f339d55..a6cfcc4 100755 --- a/engines/checkerframework/tests/run_tests.sh +++ b/engines/checkerframework/tests/run_tests.sh @@ -1,2 +1,2 @@ -alias javacheck='../checker-framework-2.3.1/checker/bin/javac' +alias javacheck='../checker-framework-3.11.0/checker/bin/javac' javacheck -processor org.checkerframework.checker.nullness.NullnessChecker Test.java