Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / .metadata / .plugins / org.eclipse.debug.core / .launches / MTListTest.launch

diff --git a/JMCR-Stable/.metadata/.plugins/org.eclipse.debug.core/.launches/MTListTest.launch b/JMCR-Stable/.metadata/.plugins/org.eclipse.debug.core/.launches/MTListTest.launch
new file mode 100644 (file)
index 0000000..b647deb
--- /dev/null
+++ b/JMCR-Stable/.metadata/.plugins/org.eclipse.debug.core/.launches/MTListTest.launch
@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<launchConfiguration type="org.eclipse.jdt.junit.launchconfig">
+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
+<listEntry value="/mcr-test/src/edu/tamu/aser/rvtest_simple_tests/MTListTest.java"/>
+</listAttribute>
+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
+<listEntry value="1"/>
+</listAttribute>
+<stringAttribute key="org.eclipse.jdt.junit.CONTAINER" value=""/>
+<booleanAttribute key="org.eclipse.jdt.junit.KEEPRUNNING_ATTR" value="false"/>
+<stringAttribute key="org.eclipse.jdt.junit.TESTNAME" value=""/>
+<stringAttribute key="org.eclipse.jdt.junit.TEST_KIND" value="org.eclipse.jdt.junit.loader.junit4"/>
+<booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/>
+<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="edu.tamu.aser.rvtest_simple_tests.MTListTest"/>
+<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="mcr-test"/>
+<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx1g -javaagent:lib/iagent.jar"/>
+</launchConfiguration>