From 169b9994dcdd23dd19fb6fad361ab5fb057af299 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Tue, 10 Mar 2026 11:05:47 +0100
Subject: [PATCH] Ignore some generated files

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

diff --git a/tests/various/.gitignore b/tests/various/.gitignore
index 9296a04c0..1431c4096 100644
--- a/tests/various/.gitignore
+++ b/tests/various/.gitignore
@@ -9,3 +9,4 @@
 /temp
 /smtlib2_module.smt2
 /smtlib2_module-filtered.smt2
+/*.aig