TAGS
tags
config.log
config.status
*.swp
*.exe
a.out
obj
goblint
goblint.byte
goblint.json
goblint.domaintest
goblint_http.exe
src/config*.ml
tests/bench.txt
.DS_Store
.tm_properties
_build
*.native
*.byte
doc
doclist.odocl
autom4te.cache
mytests
result/*
pml-result/*
tests/regression/*/goblint_temp
linux-headers

.goblint*/
goblint_temp_*/

.vagrant

g2html.jar

gmon.out
ocamlprof.dump
arinc

.vscode
.idea
_opam/
cfgs/
cfg.dot
cilcfg.*.dot
arg.dot

*.graphml
goblint.bc.js

# Files generated by merge tools after conflicts
*.orig
*.rej

sv-comp/goblint.zip
scripts/sv-comp/goblint.zip

privPrecCompare
privPrecCompare-creduce
privPrecCompareRes
apronPrecCompare
messagesCompare
tests/regression/*/run
tests/suite_result

# csmith
runtime/*

# perf
perf.data*

# incremental analysis
incremental_data/

# test-incremental.sh
*.log

# make relocatable
relocatable/

*.sarif

dune-workspace

# gobview
run/
gobview_out/*

# witnesses
witness.yml
witness.certificate.yml

# checks
checks.json

# transformations
transformed.c

# docs
site/

# coverage

# bisect_ppx
*.coverage
# bisect-ppx-report
_coverage/*
