[Checkers] Fwd: Re: JSR 308 uncaught exception

Michael Ernst mernst at csail.mit.edu
Thu Aug 14 07:22:06 EDT 2008


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.


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

More information about the checkers mailing list