This directory contains tests that use the jtreg testing framework.

In general it is preferred to add test cases to
checker-framework/checker/tests

There are a few cases when jtreg is appropriate:
 * The jtreg approach makes it easier to pass options to the compiler
   in the test file itself.
 * The jtreg approach makes it possible to check that an error message
   was output two times.