From 4334792d0c7811e36a12c71fb0ca104882f2a36f Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Thu, 10 Oct 2024 13:34:05 -0700
Subject: [PATCH] Update gitignore

---
 tests/various/.gitignore | 1 +
 1 file changed, 1 insertion(+)

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