niko at alum.mit.edu
Fri Jun 19 19:11:34 EDT 2009
Never mind-- trying to produce a reproducible test case for you, I
realized that I had my Eclipse misconfigured! I was compiling with
one version of the framework but executing with an older version
(0.8.6) in the classpath. Argh. Sorry for the false alarm! I was a
bit confused how EVERY test could be broken.... :)
On Jun 20, 2009, at 12:44 AM, Michael Ernst wrote:
>> I just started trying to port some of my work to use jsr308 v0.9.2.
>> However, I find that I immediately get an IllegalStateException
>> from Context.checkState().
> Oops, sorry about that. I was not aware of the problem, but we'll
> fix it.
> Can you send your code to either JSR 308 Bugs
> jsr308-bugs at lists.csail.mit.edu or checkers at lists.csail.mit.edu?
> That will
> help in reproducing it.
More information about the JSR308