search

barry-m / checker-framework

Automatically exported from code.google.com/p/checker-framework
Other
0 stars 0 forks source link

More extensive test suites #423

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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