Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-controller / .classpath

diff --git a/JMCR-Stable/mcr-controller/.classpath b/JMCR-Stable/mcr-controller/.classpath
new file mode 100644 (file)
index 0000000..386f40f
--- /dev/null
+++ b/JMCR-Stable/mcr-controller/.classpath
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+       <classpathentry excluding="edu/tamu/aser/rvinstrumentation/PORVectorClock.java|org/objectweb/asm/tools/" kind="src" path="src"/>
+       <classpathentry kind="lib" path="lib/junit.jar" sourcepath="lib/junit.jar"/>
+       <classpathentry kind="lib" path="lib/org.hamcrest.core.jar"/>
+       <classpathentry kind="lib" path="lib/imunit.jar"/>
+       <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
+       <classpathentry kind="lib" path="lib/guava-21.0.jar"/>
+       <classpathentry combineaccessrules="false" kind="src" path="/mcr-engine"/>
+       <classpathentry kind="lib" path="lib/asm.jar"/>
+       <classpathentry kind="output" path="bin"/>
+</classpath>