Added entries to gitignore

ftsrg · Jan 7, 2024 · 139edf5 · 139edf5
1 parent c5677d6
commit 139edf5
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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