Setting up environment variable for checker framework

I want to use checker framework for java and I am setting environment variable for it but when I am checking version of it in PowerShell in windows. It is showing that it is not able to access checker framework.

java -Xbootclasspath/p:%CHECKERS%/binary/jsr308-all.jar -jar %CHECKERS%/binary/jsr308-all.jar -version 

Here is the error

Error: Unable to access jarfile %CHECKERS%/binary/jsr308-all.jar

I have unzipped the downloaded file in C drive. And for the environment variable here is the paths that i have tried.

  • 1


  • 2


  • 3


  • 4