| 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) |