/
.classpath
94 lines (90 loc) · 7.25 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
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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
<?xml version="1.0" encoding="UTF-8"?>
<!--
This file is part of CPAchecker,
a tool for configurable software verification:
https://cpachecker.sosy-lab.org
SPDX-FileCopyrightText: 2021 Dirk Beyer <https://www.sosy-lab.org>
SPDX-License-Identifier: Apache-2.0
-->
<classpath>
<classpathentry kind="src" path="src"/>
<classpathentry kind="src" path=".apt-generated">
<attributes>
<attribute name="optional" value="true"/>
</attributes>
</classpathentry>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17">
<attributes>
<attribute name="module" value="true"/>
<attribute name="limit-modules" value="java.compiler,java.desktop,java.instrument,java.logging,jdk.management,jdk.xml.dom,jdk.unsupported"/>
</attributes>
</classpathentry>
<classpathentry kind="lib" path="lib/java/runtime/common.jar" sourcepath="lib/java-contrib/common-sources.jar"/>
<classpathentry 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" sourcepath="lib/java-contrib/junit-sources.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/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/runtime/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/ultimate-icfg-transformer.jar" sourcepath="lib/java-contrib/ultimate-icfg-transformer-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/ultimate-java-cup.jar" sourcepath="lib/java-contrib/ultimate-java-cup-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/ultimate-library-smtlib.jar" sourcepath="lib/java-contrib/ultimate-library-smtlib-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/ultimate-library-smtlib-utils.jar" sourcepath="lib/java-contrib/ultimate-library-smtlib-utils-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/smtinterpol.jar" sourcepath="lib/java-contrib/smtinterpol-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/commons-io.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/checker-qual.jar" sourcepath="lib/java-contrib/checker-qual-sources.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/jhoafparser.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/pjbdd.jar" sourcepath="lib/java-contrib/pjbdd-sources.jar"/>
<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/java/runtime/java-smt.jar" sourcepath="lib/java-contrib/java-smt-sources.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/antlr4-runtime.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/com.microsoft.z3.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/CVC4.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/cvc5.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/princess_2.13.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/scala-library.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/jackson-annotations.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/jackson-core.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/jackson-databind.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/jackson-dataformat-yaml.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/snakeyaml.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/org.eclipse.jdt.core.compiler.batch.jar"/>
<classpathentry kind="lib" path="lib/java/runtime/org.osgi.service.prefs.jar"/>
<classpathentry kind="output" path="bin"/>
</classpath>