forked from sosy-lab/cpachecker
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.classpath
40 lines (40 loc) · 3.17 KB
/
.classpath
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry excluding="org/sosy_lab/cpachecker/appengine/" kind="src" path="src"/>
<classpathentry exported="true" kind="lib" path="bin"/>
<classpathentry exported="true" kind="lib" path="lib/java/runtime/common.jar" sourcepath="lib/java-contrib/common-sources.jar"/>
<classpathentry exported="true" kind="lib" path="lib/java/runtime/guava.jar" sourcepath="lib/java-contrib/guava-sources.jar"/>
<classpathentry exported="true" kind="lib" path="lib/java/runtime/smtinterpol-comp.jar" sourcepath="lib/java-contrib/smtinterpol-sources.zip"/>
<classpathentry kind="lib" path="lib/java/runtime/javabdd.jar" sourcepath="lib/java-contrib/javabdd-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/java-cup-runtime.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/icu4j.jar"/>
<classpathentry kind="lib" path="lib/java/test/junit.jar"/>
<classpathentry kind="lib" path="lib/java/test/mockito-core.jar"/>
<classpathentry kind="lib" path="lib/java/test/hamcrest-core.jar"/>
<classpathentry kind="lib" path="lib/edu.cmu.sei.rtss.jldd.jar"/>
<classpathentry kind="lib" path="lib/jpl.jar"/>
<classpathentry kind="lib" path="lib/jsylvan.jar"/>
<classpathentry kind="lib" path="lib/apron.jar"/>
<classpathentry kind="lib" path="lib/gmp.jar"/>
<classpathentry kind="lib" path="lib/java/test/guava-testlib.jar" sourcepath="lib/java-contrib/guava-testlib-sources.jar"/>
<classpathentry kind="lib" path="lib/java/build/annotations.jar"/>
<classpathentry kind="lib" path="lib/java/test/truth.jar" sourcepath="lib/java-contrib/truth-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/smt-parser.jar"/>
<classpathentry kind="lib" path="lib/java/build/error_prone_annotations.jar" sourcepath="lib/java-contrib/error_prone_annotations-sources.jar"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
<classpathentry kind="lib" path="lib/java/test/objenesis.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/org.eclipse.cdt.core.jar" sourcepath="lib/java-contrib/org.eclipse.cdt.core-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/org.eclipse.core.contenttype.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/org.eclipse.core.jobs.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/org.eclipse.core.resources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/org.eclipse.core.runtime.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/org.eclipse.equinox.common.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/org.eclipse.equinox.preferences.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/org.eclipse.jdt.core.jar" sourcepath="lib/java-contrib/org.eclipse.jdt.core-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/org.eclipse.osgi.jar"/>
<classpathentry kind="lib" path="lib/meconsole010.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/princess.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/scala-library.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/scala-actors.jar"/>
<classpathentry kind="output" path="bin"/>
</classpath>