com.ibm.wala.cast.java.test/.launchConfigurations/com.ibm.wala.cast.java.test-JUnit.launch

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <launchConfiguration type="org.eclipse.jdt.junit.launchconfig">
   3 <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
   4 <listEntry value="/com.ibm.wala.cast.java.test"/>
   5 </listAttribute>
   6 <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
   7 <listEntry value="4"/>
   8 </listAttribute>
   9 <booleanAttribute key="org.eclipse.debug.core.appendEnvironmentVariables" value="true"/>
  10 <stringAttribute key="org.eclipse.jdt.junit.CONTAINER" value="=com.ibm.wala.cast.java.test"/>
  11 <booleanAttribute key="org.eclipse.jdt.junit.KEEPRUNNING_ATTR" value="false"/>
  12 <stringAttribute key="org.eclipse.jdt.junit.TESTNAME" value=""/>
  13 <stringAttribute key="org.eclipse.jdt.junit.TEST_KIND" value="org.eclipse.jdt.junit.loader.junit3"/>
  14 <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value=""/>
  15 <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="com.ibm.wala.cast.java.test"/>
  16 <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx800M"/>
  17 </launchConfiguration>