| 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/ |