Add .gitignore for CBMC proofs (#678)

Co-authored-by: Adrian Palacios <[email protected]>
aws · Jan 7, 2021 · 3db1aee · 3db1aee
1 parent be4d506
commit 3db1aee
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__/