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

bug fixes with InducedCFGs and context-sensitive slicing 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2306 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-01-07 20:31:17 +00:00
parent eec4940c52
commit 3f623ac0a7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -107,7 +107,7 @@ public class SlicerTest extends TestCase {
ControlDependenceOptions.NONE);
Collection<Statement> slice = computeBackwardSlice;
dumpSlice(slice);
assertEquals(22, slice.size());
assertEquals(30, slice.size());
}
public void testSlice3() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {