To add a new file to the test suite, see
  ../README.md

To run the tests, do
 (cd $CHECKERFRAMEWORK && ./gradlew FlowTest)
