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

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

These cannot be in the same directory as subtyping-tests because some of the
expected errors in that directory are specific to the Encrypted type system.
