smtfuzz/.gitignore at main · rainoftime/smtfuzz · GitHub

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
tmp.py
smtfuzz.egg-info/
black_list*
clean.sh
*.ini
.DS_Store
venv
core*
*.sl
*.sy
stdout*
core
ctest/status
*.dot
*.dat
.externalToolBuilders
.settings
.project


*.wcnf
*.dimacs
*.backup
*.backup*
*.trace
*.swp
*.smt2


# produced by ddSMT

*.log
*~
*.pyc
*.pyo
# Ignore callgrind files
callgrind.out.*
# .hpp files are automatically generated
*.hpp
.z3-trace
# OCaml generated files
*.a
*.cma
*.cmo
*.cmi
*.cmxa
ocamlz3
# Java generated files
*.class
# Emacs temp files
\#*\#
# Directories with generated code and documentation
release/*
build/*
build-dist/*
dist/*
doc/html/*
# GTAGS generated files
# CEDET files
.cproject
.project
# Commonly used directories for code
bld_dbg/*
bld_rel/*
bld_dbg_x64/*
bld_rel_x64/*
# Auto generated files.
config.log
config.status
.idea/
.idea/*.xml
black_lists