1# Emitted when running CBMC proofs
2proofs/**/logs
3proofs/**/gotos
4proofs/**/report
5proofs/**/html
6proofs/output
7
8# Emitted by CBMC Viewer
9TAGS-*
10
11# Emitted by Arpa
12arpa_cmake/
13arpa-validation-logs/
14Makefile.arpa
15
16# Emitted by litani
17.ninja_deps
18.ninja_log
19.litani_cache_dir
20
21# These files should be overwritten whenever prepare.py runs
22cbmc-batch.yaml
23
24__pycache__/
25