Add .gitignore for CBMC proofs (aws#678)

Co-authored-by: Adrian Palacios <[email protected]>
robin-aws · May 4, 2021 · b603d1c · b603d1c
1 parent 9fd2558
commit b603d1c
Showing 1 changed file with 18 additions and 3 deletions.
diff --git a/verification/cbmc/.gitignore b/verification/cbmc/.gitignore
@@ -1,5 +1,20 @@
-jobs/*/link-farm
-jobs/*/html
+# Emitted when running CBMC proofs
+proofs/**/logs
+proofs/**/gotos
+proofs/**/report
+proofs/**/html
 
-# Written by litani on each proof run
+# 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__/