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