[Checkers] Crashes when checking Daikon

Michael Ernst mernst at csail.mit.edu
Tue Jul 8 01:06:03 EDT 2008

All of the following commands crash.  I am running them from
~mernst/research/invariants/java/, but you can do so from your own

  make check-nullness-all
  make check-igj-all
  make check-javari-all

I can provide the exact backtraces if these do not crash for you.


More information about the checkers mailing list