diff --git a/.gitignore b/.gitignore
index 507ff2a3d3..490f179376 100644
--- a/.gitignore
+++ b/.gitignore
@@ -20,3 +20,9 @@ dest/
 # Other
 wdl-output.json
 witness.graphml
+arg-false.dot
+arg-true.dot
+trace.dot
+xcfa.c
+xcfa.dot
+xcfa.json
\ No newline at end of file