2. more accurate model of array copy 3. bug fix in subtype test for class hierarchy 4. bug fix in OTF call graph fix point iteration 5. bug fix for RTA and ClassNotFoundException. also misc. minor cleanups git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2073 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
24 lines
2.1 KiB
XML
24 lines
2.1 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<launchConfiguration type="org.eclipse.jdt.junit.launchconfig">
|
|
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
|
|
<listEntry value="/com.ibm.wala.core.tests"/>
|
|
</listAttribute>
|
|
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
|
|
<listEntry value="4"/>
|
|
</listAttribute>
|
|
<booleanAttribute key="org.eclipse.debug.core.appendEnvironmentVariables" value="true"/>
|
|
<stringAttribute key="org.eclipse.jdt.junit.CONTAINER" value="=com.ibm.wala.core.tests"/>
|
|
<booleanAttribute key="org.eclipse.jdt.junit.KEEPRUNNING_ATTR" value="false"/>
|
|
<stringAttribute key="org.eclipse.jdt.junit.TESTNAME" value=""/>
|
|
<stringAttribute key="org.eclipse.jdt.junit.TEST_KIND" value="org.eclipse.jdt.junit.loader.junit3"/>
|
|
<listAttribute key="org.eclipse.jdt.launching.CLASSPATH">
|
|
<listEntry value="<?xml version="1.0" encoding="UTF-8"?> <runtimeClasspathEntry containerPath="org.eclipse.jdt.launching.JRE_CONTAINER" javaProject="com.ibm.wala.core.tests" path="1" type="4"/> "/>
|
|
<listEntry value="<?xml version="1.0" encoding="UTF-8"?> <runtimeClasspathEntry id="org.eclipse.jdt.launching.classpathentry.defaultClasspath"> <memento exportedEntriesOnly="false" project="com.ibm.wala.core.tests"/> </runtimeClasspathEntry> "/>
|
|
<listEntry value="<?xml version="1.0" encoding="UTF-8"?> <runtimeClasspathEntry path="3" projectName="com.ibm.wala.core.testdata" type="1"/> "/>
|
|
</listAttribute>
|
|
<booleanAttribute key="org.eclipse.jdt.launching.DEFAULT_CLASSPATH" value="false"/>
|
|
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value=""/>
|
|
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="com.ibm.wala.core.tests"/>
|
|
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx800M -verbose:gc -Dcom.ibm.wala.util.fixedpoint.impl.verbose=true"/>
|
|
</launchConfiguration>
|