| commit | c372d3e44f3416b817c0584ef1b62bf027146687 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Aug 15 21:54:33 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Aug 15 21:54:33 2011 +0000 |
| tree | 409ce82c48aa23cc2201a922c78dc4e4f61d715c | |
| parent | 749178b68a74c939a3653f82516ddbc2152d0f34 [diff] |
cross-test on top of the OTDT showed that calling bindArguments() early has unintended side-effects. Here we minimize the side-effect so that all OTJLD tests pass with the nullity plugin activated.