You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
$ checker-framework-3.23.0/checker/bin/javac cf/CFRepro.java
Exception in thread "main" java.lang.RuntimeException: The following files could not be located: /home/amalloy/src/java/checker-framework-3.23.0/checker/dist/checker-qual.jar, /home/amalloy/src/java/checker-framework-3.23.0/checker/dist/checker-util.jar
at org.checkerframework.framework.util.CheckerMain.assertFilesExist(CheckerMain.java:759)
at org.checkerframework.framework.util.CheckerMain.assertValidState(CheckerMain.java:161)
at org.checkerframework.framework.util.CheckerMain.<init>(CheckerMain.java:153)
at org.checkerframework.framework.util.CheckerMain.main(CheckerMain.java:61)
Indeed, when I look in the checker/dist directory, I do not see these jars:
$ ls checker-framework-3.23.0/checker/dist/
checker.jar checker-javadoc.jar checker-source.jar
The text was updated successfully, but these errors were encountered:
I just noticed this as well, it seems like a regression since 3.22.0:
$ ./checker-framework-3.22.0/checker/bin/javac -processor Nullness T.java
....
OK
$ ./checker-framework-3.23.0/checker/bin/javac -processor Nullness T.java
Exception in thread "main" java.lang.RuntimeException: The following files could not be located: /tmp/tmp.vxHJGsXh3h/checker-framework-3.23.0/checker/dist/checker-qual.jar, /tmp/tmp.vxHJGsXh3h/checker-framework-3.23.0/checker/dist/checker-util.jar
at org.checkerframework.framework.util.CheckerMain.assertFilesExist(CheckerMain.java:759)
at org.checkerframework.framework.util.CheckerMain.assertValidState(CheckerMain.java:161)
at org.checkerframework.framework.util.CheckerMain.<init>(CheckerMain.java:153)
at org.checkerframework.framework.util.CheckerMain.main(CheckerMain.java:61)
After unzipping the release (https://github.com/typetools/checker-framework/releases/download/checker-framework-3.23.0/checker-framework-3.23.0.zip), I find a javac replacement as expected, in
checker/bin/javac
. But when I run that binary, it crashes regardless of inputs:Indeed, when I look in the
checker/dist
directory, I do not see these jars:The text was updated successfully, but these errors were encountered: