| 123456789101112131415161718192021222324 |
- # Emitted when running CBMC proofs
- proofs/**/logs
- proofs/**/gotos
- proofs/**/report
- proofs/**/html
- 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
- # These files should be overwritten whenever prepare.py runs
- cbmc-batch.yaml
- __pycache__/
|
