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

tweak expected points-to set sizes 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2658 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-03-04 03:36:22 +00:00
parent 5ffba4b4b0
commit 511afd1dec
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 { public void testHashSet() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {
doPointsToSizeTest(TestInfo.SCOPE_FILE, TestInfo.TEST_HASH_SET, 5, 5, 4); doPointsToSizeTest(TestInfo.SCOPE_FILE, TestInfo.TEST_HASH_SET, 5, 5, 7);
} }
public void testMethodRecursion() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException { 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 { public void testArrays() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {
doPointsToSizeTest(TestInfo.SCOPE_FILE, TestInfo.TEST_ARRAYS, 3); doPointsToSizeTest(TestInfo.SCOPE_FILE, TestInfo.TEST_ARRAYS, 4);
} }
public void testFields() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException { 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 { public void testMultiDim() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {
doPointsToSizeTest(TestInfo.SCOPE_FILE, TestInfo.TEST_MULTI_DIM, 5); doPointsToSizeTest(TestInfo.SCOPE_FILE, TestInfo.TEST_MULTI_DIM, 6);
} }
public void testGlobal() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException { public void testGlobal() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {