diff options
Diffstat (limited to 'scripts/smtbmc/.gitignore')
-rw-r--r-- | scripts/smtbmc/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/smtbmc/.gitignore b/scripts/smtbmc/.gitignore index 24ce85b..39f1e56 100644 --- a/scripts/smtbmc/.gitignore +++ b/scripts/smtbmc/.gitignore @@ -2,6 +2,8 @@ tracecmp.smt2 tracecmp.yslog tracecmp2.smt2 tracecmp2.yslog +axicheck.smt2 +axicheck.yslog notrap_validop.smt2 notrap_validop.yslog mulcmp.smt2 |