1 files changed, 0 insertions, 18 deletions
diff --git a/scripts/smtbmc/.gitignore b/scripts/smtbmc/.gitignore
deleted file mode 100644
index 1ce906e..0000000
--- a/scripts/smtbmc/.gitignore
+++ /dev/null
@@ -1,18 +0,0 @@
-tracecmp.smt2
-tracecmp.yslog
-tracecmp2.smt2
-tracecmp2.yslog
-tracecmp3.blif
-tracecmp3.cex
-tracecmp3.smt2
-tracecmp3.yslog
-axicheck.smt2
-axicheck.yslog
-axicheck2.smt2
-axicheck2.yslog
-notrap_validop.smt2
-notrap_validop.yslog
-mulcmp.smt2
-mulcmp.yslog
-output.vcd
-output.smtc