DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

bug fix for new clinit processing 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@613 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-01-30 17:34:44 +00:00
parent bec1dcd0c5
commit 3157c4e897
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/slicer/SlicerTest.java
View File

@ -70,7 +70,7 @@ public class SlicerTest extends TestCase {
Collection<Statement> slice = Slicer.computeBackwardSlice(s, cg, builder.getPointerAnalysis(), DataDependenceOptions.FULL,
ControlDependenceOptions.NONE);
dumpSlice(slice);
assertEquals(18, slice.size());
assertEquals(26, slice.size());
}
public void testSlice2() throws ClassHierarchyException {
@ -91,7 +91,7 @@ public class SlicerTest extends TestCase {
Collection<Statement> slice = Slicer.computeBackwardSlice(s, cg, builder.getPointerAnalysis(), DataDependenceOptions.FULL,
ControlDependenceOptions.NONE);
dumpSlice(slice);
assertEquals(22, slice.size());
assertEquals(30, slice.size());
}
public void testSlice3() throws ClassHierarchyException {