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
Execute infer-and-annotate.sh with the following command, adjust paths as necessary (e.g., replace PATH_TO_MULTI_VERSION_CONTROL the path on your own machine)
The script should finish with no errors with loading Checker Framework annotations, since the classpath includes them ( $CHECKERFRAMEWORK/checker/dist/checker-qual.jar).
Running
infer-and-annotate.sh
onmulti-version-control
yields the following error(s): https://gist.github.com/jyoo980/ea9cd174057ec9aa0bdc122b4b4587ccSpecifically, the script complains about not being able to load the
@Nullable
class:Steps to Reproduce
multi-version-control
and build it, run:./gradlew assemble
.infer-and-annotate.sh
with the following command, adjust paths as necessary (e.g., replacePATH_TO_MULTI_VERSION_CONTROL
the path on your own machine)The script should finish with no errors with loading Checker Framework annotations, since the classpath includes them (
$CHECKERFRAMEWORK/checker/dist/checker-qual.jar
).Relevant portion of the Checker Framework manual: https://checkerframework.org/manual/#wpi-insert
The text was updated successfully, but these errors were encountered: