From 6224fd9055d91ca640b0c099ac376b39266c480f Mon Sep 17 00:00:00 2001
From: Xiretza <xiretza@xiretza.xyz>
Date: Mon, 31 Aug 2020 19:42:10 +0200
Subject: Add missing gitignores for test artifacts

---
 backends/btor/.gitignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 backends/btor/.gitignore

(limited to 'backends/btor')

diff --git a/backends/btor/.gitignore b/backends/btor/.gitignore
new file mode 100644
index 000000000..d23d492d7
--- /dev/null
+++ b/backends/btor/.gitignore
@@ -0,0 +1 @@
+/test_cells.tmp/
-- 
cgit v1.2.3