diff options
Diffstat (limited to 'scripts/smtbmc/.gitignore')
-rw-r--r-- | scripts/smtbmc/.gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/smtbmc/.gitignore b/scripts/smtbmc/.gitignore index 5d927c4..1ce906e 100644 --- a/scripts/smtbmc/.gitignore +++ b/scripts/smtbmc/.gitignore @@ -2,6 +2,10 @@ tracecmp.smt2 tracecmp.yslog tracecmp2.smt2 tracecmp2.yslog +tracecmp3.blif +tracecmp3.cex +tracecmp3.smt2 +tracecmp3.yslog axicheck.smt2 axicheck.yslog axicheck2.smt2 |