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

added a bit more testing of int sets 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@556 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
dolby-oss 2007-01-11 14:06:48 +00:00
parent e5cda3391c
commit 165be7d5ac
1 changed files with 6 additions and 0 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/basic/PrimitivesTest.java
View File

@ -124,6 +124,12 @@ public class PrimitivesTest extends WalaTestCase {
assertFalse(f.sameValue(b));
assertTrue(f.isSubset(b));
IntSet tmp = factory.parse("{2,4,6,8,10,12,14,16,18,20,22,24,26,28,30,32,34,36,38,40,42,44,46,48,50,51,53,55,57,59,61,63}");
f = IntSetUtil.diff(b, tmp, factory);
Trace.println(f);
assertFalse(f.sameValue(b));
assertTrue(f.isSubset(b));
b = factory.makeCopy(a);
assertTrue(a.sameValue(b));
b.remove(1);