| This directory is for temporary tests for the Nullness Checker | |
| The point is that putting them here permits them to be run quickly, rather | |
| than (say) putting them in the main nullness test suite and having to run | |
| that entire suite. | |
| Don't check any files into this directory, just use them in your local | |
| copy. | |
| 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 NullnessTempTest) |