Merged in yanniss/doop-nexgen (pull request #37)
Simplify code.
Refactor light-reflection-glue, fix standalone mode.
WALA: More changes in writeInvokeHelper, currently disabled.
WALA: Fix in exception handlers and a change in main/reference.dl to work for WALA facts.
add method removal formatting code
Summary:
Test Plan:
Reviewers:
Subscribers:
Tasks:
Tags:
Simplify code.
Refactor light-reflection-glue, fix standalone mode.
WALA: More changes in writeInvokeHelper, currently disabled.
WALA: Fix in exception handlers and a change in main/reference.dl to work for WALA facts.
add method removal formatting code
Summary:
Test Plan:
Reviewers:
Subscribers:
Tasks:
Tags: