[Checkers] Problems with NonNull checker

Michael Ernst mernst at csail.mit.edu
Tue Apr 22 01:21:41 EDT 2008


I have re-run the JastAdd non-null inference and put it in the same place,
~mernst/tmp/nninfer .  In particular, this new version of Daikon has the
current type qualifiers.  The inference results are also somewhat
different.  That directory also still contains the older version that you
were using; I didn't delete it.


More information about the checkers mailing list