[Checkers] Fwd: Re: JSR 308 uncaught exception

[Michael Ernst]

Mahmood-

Here is an exception in the Checker Framework that still occurs for me.

In the build.xml file, I had to change two lines that contain "/scratch",
then I was able to run "ant check-nullness" and I got the crash.

Andrzej remarked that running a checker on just the one file where the
crash manifests itself does not cause the crash, so there is some
interaction happening.

                    -Mike

-------------- next part --------------
An embedded message was scrubbed...
From: Andrzej Wasylkowski <wasylkowski at st.cs.uni-sb.de>
Subject: Re: JSR 308 uncaught exception
Date: Wed, 2 Jul 2008 14:36:07 +0200
Size: 344174
Url: https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080814/ec840d0a/attachment-0001.eml