blob: fc6ab1651165e0801313afcfb34b7bf98a798bd6 [file] [log] [blame] [edit]
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