[Checkers] Inconsistent numbers in Figure 4 of Checker Framework paper

Michael Ernst mernst at csail.mit.edu
Mon Jun 9 15:08:31 EDT 2008


Matt and others-

I expected the number of annotations in signatures to be the same for the 
NonNull default and the NNEL default.  However, the "Sig" columns in Figure
4 of the Checker Framework paper differ.  Can you explain why?

                     Thanks,

                    -Mike



More information about the checkers mailing list