minor change to demand points-to interface
[wala.git] / com.ibm.wala.cast.java.test / .launchConfigurations / WALA-CAst-Java-Test-Downloads.launch
blobbb18479eb51eef8ee152d5f6aaad7eeb61750def
1 <?xml version="1.0" encoding="UTF-8"?>
2 <launchConfiguration type="org.eclipse.ui.externaltools.ProgramLaunchConfigurationType">
3 <stringAttribute key="org.eclipse.ui.externaltools.ATTR_LOCATION" value="${project_loc}/testSrc/fetch_tests.sh"/>
4 <stringAttribute key="org.eclipse.ui.externaltools.ATTR_WORKING_DIRECTORY" value="${project_loc}/testSrc"/>
5 <booleanAttribute key="org.eclipse.debug.core.appendEnvironmentVariables" value="true"/>
6 </launchConfiguration>