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

print less

This commit is contained in:
Julian Dolby 2013-12-03 18:07:36 -05:00
parent 27fb9151f1
commit ba9aa51429
4 changed files with 6 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
com.ibm.wala.cast.java.test/src/com/ibm/wala/cast/java/test/JavaIRTests.java
View File

@ -604,7 +604,7 @@ public abstract class JavaIRTests extends IRTests {
Set<CGNode> roots = cg.getNodes(sliceRootRef);
Pair<Collection<Statement>, SDG> y = AstJavaSlicer.computeAssertionSlice(cg, pa, roots, false);
Collection<Statement> slice = y.fst;
SlicerTest.dumpSlice(slice);
//SlicerTest.dumpSlice(slice);
Assert.assertEquals(0, SlicerTest.countAllocations(slice));
Assert.assertEquals(1, SlicerTest.countPutfields(slice));
@ -613,7 +613,7 @@ public abstract class JavaIRTests extends IRTests {
roots = cg.getNodes(sliceRootRef);
y = AstJavaSlicer.computeAssertionSlice(cg, pa, roots, false);
slice = y.fst;
SlicerTest.dumpSlice(slice);
// SlicerTest.dumpSlice(slice);
Assert.assertEquals(2, SlicerTest.countAllocations(slice));
Assert.assertEquals(2, SlicerTest.countPutfields(slice));
}

4
com.ibm.wala.ide.jdt.test/source/com/ibm/wala/cast/java/test/JDTJava15IRTests.java
View File

@ -13,10 +13,6 @@ import org.junit.Test;
public class JDTJava15IRTests extends JDTJavaTest {
static {
System.setProperty("wala.jdt.quiet", "true");
}
public JDTJava15IRTests() {
super(JDTJavaIRTests.PROJECT);
}

4
com.ibm.wala.ide.jdt.test/source/com/ibm/wala/cast/java/test/JDTJavaIRTests.java
View File

@ -45,10 +45,6 @@ import com.ibm.wala.client.AbstractAnalysisEngine;
import com.ibm.wala.ide.tests.util.EclipseTestUtil.ZippedProjectData;
public class JDTJavaIRTests extends JavaIRTests {
static {
System.setProperty("wala.jdt.quiet", "true");
}
public static final String PROJECT_NAME = "com.ibm.wala.cast.java.test.data";

4
com.ibm.wala.ide.jdt.test/source/com/ibm/wala/cast/java/test/JDTJavaTest.java
View File

@ -32,6 +32,10 @@ import com.ibm.wala.util.io.TemporaryFile;
public abstract class JDTJavaTest extends IRTests {
static {
System.setProperty("wala.jdt.quiet", "true");
}
private final ZippedProjectData project;
public JDTJavaTest(ZippedProjectData project) {