More extensive test suites #423
Description
It would be nice to run the Checker Framework on more extensive test suites
that exercise more of the Java language. This would help us to help discover
crashes due to linguistic corner cases, before users do.
One possibility would be to run the Checker Framework on a test suite for a
compiler, such as javac, eclipsec, or gcj.
Original issue reported on code.google.com by michael.ernst@gmail.com on 29 Mar 2015 at 10:45