diff --git a/tests/various/.gitignore b/tests/various/.gitignore
index 83e634820..b9eb7edf0 100644
--- a/tests/various/.gitignore
+++ b/tests/various/.gitignore
@@ -1,5 +1,6 @@
 /*.log
 /*.out
+/aiger2*.aig
 /write_gzip.v
 /write_gzip.v.gz
 /run-test.mk