Revision 322:87720643c082 misc/eclipse/GenerateRTInstance.launch

View differences:

misc/eclipse/GenerateRTInstance.launch
8 8
</listAttribute>
9 9
<stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.m2e.launchconfig.classpathProvider"/>
10 10
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="tt.jointeuclid2ni.probleminstance.generator.GenerateRTInstance"/>
11
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-env map/d-environments/ubremen-r27-docks.xml -nagents 38 -ngoals 2 -radius 25 -seed 3 -maxspeed 0.05 -showvis -verbose -outfile map/temp/temp.xml"/>
11
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-env map/d-environments/ubremen-r27-docks.xml -nagents 2  -radius 25 -seed 3 -maxspeed 0.05 -showvis -verbose -outfile map/temp/temp.xml"/>
12 12
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="deconflictiontools"/>
13 13
<stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.m2e.launchconfig.sourcepathProvider"/>
14 14
<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${workspace_loc:deconflictiontools}"/>

Also available in: Unified diff