1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
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)
|
