blob: fa0e619142794322e3c32ab150831755a8a098e4 [file] [log] [blame]
To add a new file to the test suite, just add it to this directory.
For more details, see
../README
To run the tests, do
(cd $CHECKERFRAMEWORK && ./gradlew NullnessTest)