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