From 511afd1deca70cbc4e56f4b8bab047b6383fb6b4 Mon Sep 17 00:00:00 2001 From: sjfink Date: Tue, 4 Mar 2008 03:36:22 +0000 Subject: [PATCH] tweak expected points-to set sizes git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2658 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 --- .../com/ibm/wala/core/tests/demandpa/NoRefinePtrTest.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/demandpa/NoRefinePtrTest.java b/com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/demandpa/NoRefinePtrTest.java index 4747fa363..e5866e055 100644 --- a/com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/demandpa/NoRefinePtrTest.java +++ b/com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/demandpa/NoRefinePtrTest.java @@ -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, 5, 5, 4); + doPointsToSizeTest(TestInfo.SCOPE_FILE, TestInfo.TEST_HASH_SET, 5, 5, 7); } 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); + doPointsToSizeTest(TestInfo.SCOPE_FILE, TestInfo.TEST_ARRAYS, 4); } 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); + doPointsToSizeTest(TestInfo.SCOPE_FILE, TestInfo.TEST_MULTI_DIM, 6); } public void testGlobal() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {