Writing Unit tests for something like this is tricky because analysis output changes slightly with updates to java/soot. Nevertheless the project is at a point now where we should not proceed without tests. For a start, a test could check that the analysis output matches the expected analysis output of some minimal benchmark (GCD?)
Writing Unit tests for something like this is tricky because analysis output changes slightly with updates to java/soot. Nevertheless the project is at a point now where we should not proceed without tests. For a start, a test could check that the analysis output matches the expected analysis output of some minimal benchmark (GCD?)