forked from sosy-lab/cpachecker
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path.classpath
More file actions
66 lines (66 loc) · 5.53 KB
/
.classpath
File metadata and controls
66 lines (66 loc) · 5.53 KB
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry 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 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" sourcepath="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/runtime/spotbugs-annotations.jar" sourcepath="lib/java-contrib/spotbugs-annotations-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/jsr305.jar" sourcepath="lib/java-contrib/jsr305-sources.jar"/>
<classpathentry kind="lib" path="lib/java/test/truth.jar" sourcepath="lib/java-contrib/truth-sources.jar"/>
<classpathentry kind="lib" path="lib/java/build/error_prone_annotations.jar" sourcepath="lib/java-contrib/error_prone_annotations-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/lasso-ranker.jar" sourcepath="lib/java-contrib/lasso-ranker-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/ultimate-model-checker-utils.jar" sourcepath="lib/java-contrib/ultimate-model-checker-utils-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/ultimate-model.jar" sourcepath="lib/java-contrib/ultimate-model-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/ultimate-core-rcp.jar" sourcepath="lib/java-contrib/ultimate-core-rcp-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/ultimate-util.jar" sourcepath="lib/java-contrib/ultimate-util-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/ultimate-smt-solver-bridge.jar" sourcepath="lib/java-contrib/ultimate-smt-solver-bridge-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/ultimate-core.jar" sourcepath="lib/java-contrib/ultimate-core-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/smtinterpol.jar" sourcepath="lib/java-contrib/smtinterpol-sources.jar"/>
<classpathentry kind="lib" path="lib/java/test/truth-java8-extension.jar" sourcepath="lib/java-contrib/truth-java8-extension-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/checker-compat-qual.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/jhoafparser.jar"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
<classpathentry kind="lib" path="lib/java/test/objenesis.jar"/>
<classpathentry kind="lib" path="lib/java/test/byte-buddy.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/javasmt.jar" sourcepath="lib/java-contrib/javasmt-sources.jar"/>
<classpathentry kind="src" path=".apt-generated">
<attributes>
<attribute name="optional" value="true"/>
</attributes>
</classpathentry>
<classpathentry kind="lib" path="lib/jna.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/llvm-j.jar" sourcepath="lib/java-contrib/llvm-j-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/batik-awt-util.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/batik-constants.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/batik-dom.jar" sourcepath="lib/java-contrib/batik-dom-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/batik-ext.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/batik-i18n.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/batik-svggen.jar" sourcepath="lib/java-contrib/batik-svggen-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/batik-util.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/batik-xml.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/princess_2.12.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/antlr4-runtime.jar"/>
<classpathentry kind="output" path="bin"/>
</classpath>