blob: d1199887d8e5fd371a52f44ed5cf81a53e8f526f [file] [log] [blame]
To add a new file to the test suite, see
../README
To run the tests, do
(cd $CHECKERFRAMEWORK && ./gradlew Flow2Test)