Mark Roberts

Thanks for submitting an issue. We hope to investigate shortly.

Thanks for submitting an issue. We hope to investigate shortly.

As you noted, the documentation is out of date. The next version of daikon will both document and expose the use_identity_optimization switch.

Additional notes from an email dated 4/21/2015: I've looked at several of the daikon-tests and they all fail with null pointer asserts. In every case it was the VarInfo.enclosing_var field...