From 14bfd3c5c159626a2b3b8dec3a446e0f7c4c7e0c Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 8 Sep 2016 11:16:12 +0200
Subject: yosys-smtbmc meminit support

---
 examples/smtbmc/.gitignore | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'examples/smtbmc/.gitignore')

diff --git a/examples/smtbmc/.gitignore b/examples/smtbmc/.gitignore
index ba7a1c9c6..a3f4f0f24 100644
--- a/examples/smtbmc/.gitignore
+++ b/examples/smtbmc/.gitignore
@@ -18,3 +18,5 @@ demo5.vcd
 demo5.yslog
 demo6.smt2
 demo6.yslog
+demo7.smt2
+demo7.yslog
-- 
cgit v1.2.3