source: proto/pabloj/trunk/runConfigurations/PabloSAST.launch @ 3203

Last change on this file since 3203 was 3078, checked in by ksherdy, 6 years ago

Updated launcher to point to test.pablos.

File size: 798 bytes
Line 
1<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
3<stringAttribute key="bad_container_name" value="/pabloj/runConfigurations/testPabloSAST"/>
4<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
5<listEntry value="/pabloj/src/test/pabloS/PabloSAST.java"/>
6</listAttribute>
7<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
8<listEntry value="1"/>
9</listAttribute>
10<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="test.pabloS.PabloSAST"/>
11<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="${workspace_loc}/pabloj/input/test/pabloS/test.pablos"/>
12<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="pabloj"/>
13</launchConfiguration>
Note: See TracBrowser for help on using the repository browser.