| This directory, "checker/bin", contains scripts to run the Checker Framework. |
| Before using them, you must run `./gradlew assemble` in the parent directory. |
| |
| javac - Is a shell script that runs the Checker Framework in Unix systems |
| including Mac OS X. This script is a drop-in replacement for the script |
| javac provided by the OpenJDK. |
| |
| javac.bat - Is the equivalent of the javac script for Windows systems. |
| |
| The other scripts are used for whole-program inference: |
| infer-and-annotate.sh |
| query-github.sh |
| wpi.sh |
| wpi-many.sh |
| wpi-summary.sh |