-
Notifications
You must be signed in to change notification settings - Fork 90
/
.gitignore
92 lines (78 loc) · 2.13 KB
/
.gitignore
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
# This file is part of CPAchecker,
# a tool for configurable software verification:
# https://cpachecker.sosy-lab.org
#
# SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
#
# SPDX-License-Identifier: Apache-2.0
# /
*.swp
*.pyc
*~
__pycache__
a.out
# /
/bin/org
/build.properties
/classes
/output
/Checkstyle.html
/Checkstyle.xml
/Checkstyle.Test.html
/Checkstyle.Test.xml
/ConfigurationChecks.html
/cpachecker.jar
/CPAchecker-*.zip
/CPAchecker-*.tar.*
/error-prone.patch
/SpotBugs.html
/SpotBugs.xml
/SpotBugs.diff.html
/SpotBugs.diff.xml
/JUnit.html
/.apt-generated
/.factorypath
# /lib/
/lib/java
/lib/java-contrib
/lib/java-benchmark
# /lib/native/source/
/lib/native/source/*/*.log
/lib/native/source/*/*.o
/lib/native/source/*/*.so
# /lib/native/
/lib/native/*/libfoci.so
# /scripts/
/scripts/witness_validation_web_cloud.pyz
# /src/org/sosy_lab/cpachecker/cpa/automaton/
/src/org/sosy_lab/cpachecker/cpa/automaton/AutomatonParser.java
/src/org/sosy_lab/cpachecker/cpa/automaton/AutomatonScanner.java
/src/org/sosy_lab/cpachecker/cpa/automaton/AutomatonSym.java
# /src/org/sosy_lab/cpachecker/core/algorithm/acsl/
src/org/sosy_lab/cpachecker/cfa/ast/acsl/ACSLScanner.java
src/org/sosy_lab/cpachecker/cfa/ast/acsl/ACSLParser.java
src/org/sosy_lab/cpachecker/cfa/ast/acsl/ACSLSymbols.java
# /src/org/sosy_lab/cpachecker/util/predicates/precisionConverter/
/src/org/sosy_lab/cpachecker/util/predicates/precisionConverter/FormulaParser.java
/src/org/sosy_lab/cpachecker/util/predicates/precisionConverter/FormulaScanner.java
/src/org/sosy_lab/cpachecker/util/predicates/precisionConverter/FormulaSymbols.java
# /src/org/sosy_lab/cpachecker/util/ltl/generated/
/src/org/sosy_lab/cpachecker/util/ltl/generated/
# /test/programs/
/test/programs/benchmarks
/test/programs/java-benchmarks
/test/programs/ldv-benchmarks
/test/programs/ldv-klever-benchmarks
# /test/results/
/test/results/*
# /.idea/
.idea/workspace.xml
.idea/uiDesigner.xml
.idea/dictionaries
.idea/findbugs-idea.xml
.idea/junitgenerator-prj-settings.xml
.idea/vcs.xml
/src/org/sosy_lab/cpachecker/core/counterexample/build_tmp/*
node_modules/
/.idea/sonarlint.xml
/.idea/sonarlint/