https://github.com/dwtj/checker-mvn-example
A stub Java project that uses the Checker Framework when invoked from Maven.
https://github.com/dwtj/checker-mvn-example
Last synced: about 2 months ago
JSON representation
A stub Java project that uses the Checker Framework when invoked from Maven.
- Host: GitHub
- URL: https://github.com/dwtj/checker-mvn-example
- Owner: dwtj
- Created: 2015-06-01T23:06:47.000Z (about 11 years ago)
- Default Branch: master
- Last Pushed: 2015-06-01T23:09:41.000Z (about 11 years ago)
- Last Synced: 2025-03-05T02:35:20.822Z (over 1 year ago)
- Language: Java
- Size: 113 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Checker Framework Maven Example
===============================
The `CHECKER_FRAMEWORK_HOME` environment variable should be set to the location of the root of the `checker-framework` distribution. For example, on my system the `checker-framework` of `javac` is currently located at `~/Software/checker-framework/1.9.1/checker/bin/javac`, so in my shell profile I have included the following line:
``` {.bash}
export CHECKER_FRAMEWORK_HOME="$HOME/Software/checker-framework/1.9.1"
```