Java files in this directory are allowed to contain Java errors
(that is, to cause javac without a processor to issue an error).
This is an exception to the rules in ../../../checker/tests/README .

To run the tests, do
  cd $CHECKERFRAMEWORK/framework
  ../gradlew FrameworkTest

To run a single test, do something like:
  cd $CHECKERFRAMEWORK/framework/tests/framework
  (cd $CHECKERFRAMEWORK && ./gradle assemble :framework:compileTestJava) && javacheck -processor org.checkerframework.framework.testchecker.util.H1H2Checker -cp $CHECKERFRAMEWORK/framework/build/classes/java/test/