Ignore proof output files

FreeRTOS · Sep 1, 2022 · 3672860 · 3672860
1 parent ebb87c9
commit 3672860
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/FreeRTOS/Test/CBMC/proofs/.gitignore b/FreeRTOS/Test/CBMC/proofs/.gitignore
@@ -7,4 +7,7 @@ cbmc-batch.yaml
 **/*.txt
 **/*.goto
 
+.litani_cache_dir
+Makefile.json
+
 !CMakeLists.txt
diff --git a/FreeRTOS/Test/VeriFast/.gitignore b/FreeRTOS/Test/VeriFast/.gitignore
@@ -0,0 +1 @@
+out