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

more reflection support 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2672 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-03-04 19:48:37 +00:00
parent 2639595789
commit 3085b16ae6
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/demandpa/NoRefinePtrTest.java
View File

@ -63,7 +63,7 @@ public class NoRefinePtrTest extends AbstractPtrTest {
}
public void testHashSet() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {
doPointsToSizeTest(TestInfo.SCOPE_FILE, TestInfo.TEST_HASH_SET, 3, 3, 5);
doPointsToSizeTest(TestInfo.SCOPE_FILE, TestInfo.TEST_HASH_SET, 3, 3, 2);
}
public void testMethodRecursion() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {
@ -79,7 +79,7 @@ public class NoRefinePtrTest extends AbstractPtrTest {
}
public void testArrays() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {
doPointsToSizeTest(TestInfo.SCOPE_FILE, TestInfo.TEST_ARRAYS, 3, 3, 4);
doPointsToSizeTest(TestInfo.SCOPE_FILE, TestInfo.TEST_ARRAYS, 3, 3, 3);
}
public void testFields() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {
@ -99,7 +99,7 @@ public class NoRefinePtrTest extends AbstractPtrTest {
}
public void testMultiDim() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {
doPointsToSizeTest(TestInfo.SCOPE_FILE, TestInfo.TEST_MULTI_DIM, 5, 5, 6);
doPointsToSizeTest(TestInfo.SCOPE_FILE, TestInfo.TEST_MULTI_DIM, 5, 5, 5);
}
public void testGlobal() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {