This directory contains tests for the Nullness Checker, with the | |
-AskipUses=SkipMe flag. | |
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 this: | |
(cd $CHECKERFRAMEWORK && ./gradlew NullnessSkipUsesTest) |