Revision 2:68288c5a2c72 src/main/resources/eclipse/Solver.launch

View differences:

src/main/resources/eclipse/Solver.launch
1 1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2 2
<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
3 3
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
4
<listEntry value="/deconfliction-common/src/main/java/tt/jointeuclid2ni/Solver.java"/>
4
<listEntry value="/deconflictiontools/src/main/java/tt/jointeuclid2ni/Solver.java"/>
5 5
</listAttribute>
6 6
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
7 7
<listEntry value="1"/>
8 8
</listAttribute>
9
<stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.m2e.launchconfig.classpathProvider"/>
9 10
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="tt.jointeuclid2ni.Solver"/>
10
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-method PP -problemfile src/main/resources/problems/dejvice.xml -timeout 5000 -maxtime 2500 -gridstep 25 -showvis"/>
11
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="deconfliction-common"/>
11
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-method PP -problemfile src/main/resources/problems/dejvice.xml -timeout 5000 -maxtime 2500 -gridstep 25 -showvis -summary"/>
12
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="deconflictiontools"/>
13
<stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.m2e.launchconfig.sourcepathProvider"/>
12 14
</launchConfiguration>

Also available in: Unified diff