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

make test1 only count application statements to avoid library-dependent answer 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1054 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
dolby-oss 2007-05-04 17:14:59 +00:00
parent 5f3bb0aa86
commit d12cabee64
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -44,7 +44,7 @@ import com.ibm.wala.ssa.SSAInstruction;
import com.ibm.wala.ssa.SSAInvokeInstruction;
import com.ibm.wala.ssa.SSANewInstruction;
import com.ibm.wala.ssa.SSAPutInstruction;
import com.ibm.wala.types.Descriptor;
import com.ibm.wala.types.*;
import com.ibm.wala.util.Atom;
import com.ibm.wala.util.debug.Assertions;
import com.ibm.wala.util.intset.IntSet;
@ -70,7 +70,15 @@ public class SlicerTest extends TestCase {
Collection<Statement> slice = Slicer.computeBackwardSlice(s, cg, builder.getPointerAnalysis(), DataDependenceOptions.FULL,
ControlDependenceOptions.NONE);
dumpSlice(slice);
assertEquals(26, slice.size());
int i = 0;
for(Iterator ss = slice.iterator(); ss.hasNext(); ) {
Statement st = (Statement) ss.next();
if (st.getNode().getMethod().getDeclaringClass().getClassLoader().getReference().equals(ClassLoaderReference.Application)) {
i++;
}
}
assertEquals(14, i);
}
public void testSlice2() throws ClassHierarchyException {