From fe2f270614e6724bc8df144482856cc66771bfb3 Mon Sep 17 00:00:00 2001
From: Kia <kia@special-circumstanc.es>
Date: Fri, 2 Apr 2021 20:48:36 -0600
Subject: [PATCH] gitignore for sby work

---
 .gitignore | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/.gitignore b/.gitignore
index b54ddae..c0a530d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,18 @@
 __pycache__/
 *.vcd
+*.il
+*.ys
+logfile.txt
+design.log
+design_smt2.log
+design_smt2.smt2
+status
+*.xml
+PASS
+FAIL
+config.sby
+logfile_basecase.txt
+logfile_induction.txt
 build/
 *.gtkw
 *.sublime-workspace
-- 
GitLab