23 lines
305 B
Plaintext
23 lines
305 B
Plaintext
# Emitted when running CBMC proofs
|
|
proofs/**/logs
|
|
proofs/**/gotos
|
|
proofs/**/report
|
|
proofs/**/html
|
|
proofs/**/jobs.c
|
|
proofs/output
|
|
|
|
# Emitted by CBMC Viewer
|
|
TAGS-*
|
|
|
|
# Emitted by Arpa
|
|
arpa_cmake/
|
|
arpa-validation-logs/
|
|
Makefile.arpa
|
|
|
|
# Emitted by litani
|
|
.ninja_deps
|
|
.ninja_log
|
|
.litani_cache_dir
|
|
|
|
__pycache__/
|